| |
 |      |
                                              |
Note: Links lead to the DBLP on the Web. Mark Ryan Hannah Harris , Mark Ryan: Theoretical Foundations of Updating Systems. ASE 2003 : 291-294 Aidan Harding , Mark Ryan, Pierre-Yves Schobbens : Towards Symbolic Strategy Synthesis for \left\langle {\left\langle A \right\rangle } \right\rangle-LTL. TIME 2003 : 137-146 Hannah Harris , Mark Ryan: Feature Integration as an Operation of Theory Change. ECAI 2002 : 546-550 Aidan Harding , Mark Ryan, Pierre-Yves Schobbens : Approximating ATL * in ATL. VMCAI 2002 : 289-301 Nikos Gorogiannis , Mark Ryan: Requirements, specifications, and minimal refinement. Electr. Notes Theor. Comput. Sci. 67 : (2002) Hajnal Andréka , Mark Ryan, Pierre-Yves Schobbens : Operators and Laws for Combining Preference Relations. J. Log. Comput. 12 (1): 13-53 (2002) Nikos Gorogiannis , Mark Ryan: Implementation of Belief Change Operators Using BDDs. Studia Logica 70 (1): 131-156 (2002) Mark Ryan, Pierre-Yves Schobbens : Agents and Roles: Refinement in Alternating-Time Temporal Logic. ATAL 2001 : 100-114 Malte Plath , Mark Ryan: Feature integration using a feature construct. Sci. Comput. Program. 41 (1): 53-84 (2001) Alessio Lomuscio , Ron van der Meyden , Mark Ryan: Knowledge in multiagent systems: initial configurations and broadcast. ACM Trans. Comput. Log. 1 (2): 247-284 (2000) Alessio Lomuscio , Mark Ryan: A Spectrum of Modes of Knowledge Sharing between Agents. ATAL 1999 : 13-26 Christel Baier , Michael Huth , Marta Z. Kwiatkowska , Mark Ryan: Preface. Electr. Notes Theor. Comput. Sci. 22 : (1999) Alessio Lomuscio , Mark Ryan: Ideal Agents Sharing (some!) Knowledge. ECAI 1998 : 557-561 Alessio Lomuscio , Mark Ryan: On the Relation between Interpreted Systems and Kripke Models. Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications 1997 : 46-59 Christel Baier , Edmund M. Clarke , Vassili Hartonas-Garmhausen , Marta Z. Kwiatkowska , Mark Ryan: Symbolic Model Checking for Probabilistic Processes. ICALP 1997 : 430-440 Mark Ryan, Pierre-Yves Schobbens : Counterfactuals and Updates as Inverse Modalities. Journal of Logic, Language and Information 6 (2): 123-146 (1997) Mark Ryan, Pierre-Yves Schobbens : Intertranslating Counterfactuals and Updates. ECAI 1996 : 100-104 Mark Ryan: Belief Revision and Ordered Theory Presentations. Logic, Action, and Information 1996 : 129-151 Mark Ryan, Pierre-Yves Schobbens , Odinaldo Rodrigues : Counterfactuals and Updates as Inverse Modalities. TARK 1996 : 163-173 Riccardo Poli , Mark Ryan, Aaron Sloman : A New Continuous Propositional Logic. EPIA 1995 : 17-28 Mark Ryan, Pierre-Yves Schobbens : Belief Revision and Verisimilitude. Notre Dame Journal of Formal Logic 36 (1): 15-29 (1995) Geoffrey L. Burn , Simon J. Gay , Mark Ryan: Theory and Formal Methods 1993, Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29-31 March 1993 Springer 1993 Mark Ryan: Prioritising Preference Relations. Theory and Formal Methods 1993 : 265-275 Mark Ryan: Towards Specifying Norms. Ann. Math. Artif. Intell. 9 (1-2): 49-68 (1993) Mark Ryan: Representing Defaults as Sentences with Reduced Priority. KR 1992 : 649-660 Mark Ryan: Defaults and Revision in Structured Theories LICS 1991 : 362-373 Mark Ryan, José Luiz Fiadeiro , T. S. E. Maibaum : Sharing Actions and Attributes in Modal Action Logic. TACS 1991 : 569-593 1 [ 22 ] 2 [ 13 ] [ 16 ] 3 [ 6 ] 4 [ 13 ] 5 [ 1 ] 6 [ 6 ] 7 [ 21 ] [ 23 ] 8 [ 24 ] [ 26 ] 9 [ 25 ] [ 27 ] 10 [ 13 ] 11 [ 16 ] 12 [ 13 ] [ 16 ] 13 [ 14 ] [ 15 ] [ 17 ] [ 18 ] 14 [ 1 ] 15 [ 18 ] 16 [ 19 ] 17 [ 8 ] 18 [ 9 ] 19 [ 7 ] [ 9 ] [ 11 ] [ 12 ] [ 20 ] [ 22 ] [ 24 ] [ 26 ] 20 [ 8 ]  ©2004 Association for Computing Machinery |
