Michael Fisher Papers on DiSC'02 Reasoning about agents in the KARO framework Publications Note: Links lead to the DBLP on the Web. Michael Fisher 49 Mark d'Inverno , Michael Luck , Michael Fisher, Chris Preist : Foundations and Applications of Multi-Agent Systems, UKMAS Workshop 1996-2000, Selected Papers. Springer 2002 48 Michael Fisher, Chiara Ghidini : The abc of rational agent modelling. AAMAS 2002 : 849-856 47 Michael Wooldridge , Michael Fisher, Marc-Philippe Huget , Simon Parsons : Model checking multi-agent systems with MABLE. AAMAS 2002 : 952-959 46 Michael Fisher, Chiara Ghidini : Agents with Bounded Temporal Resources. Foundations and Applications of Multi-Agent Systems 2002 : 169-184 45 Anatoli Degtyarev , Michael Fisher, Boris Konev : A Simplified Clausal Resolution Procedure for Propositional Linear-Time Temporal Logic. TABLEAUX 2002 : 85-99 44 Clare Dixon , Michael Fisher, Alexander Bolotov : Clausal resolution in a logic of rational agency. Artificial Intelligence 139 (1): 47-89 (2002) 43 Brandon Bennett , Clare Dixon , Michael Fisher, Ullrich Hustadt , Enrico Franconi , Ian Horrocks , Maarten de Rijke : Combinations of Modal Logics. Artificial Intelligence Review 17 (1): 1-20 (2002) 42 Anatoli Degtyarev , Michael Fisher: Towards First-Order Temporal Resolution. KI/ÖGAI 2001 : 18-32 41 Ullrich Hustadt , Clare Dixon , Renate A. Schmidt , Michael Fisher, John-Jules Ch. Meyer , Wiebe van der Hoek : Reasoning about agents in the KARO framework. TIME 2001 : 206-213 40 Michael Fisher, Clare Dixon , Martin Peim : Clausal temporal resolution. TOCL 2 (1): 12-56 (2001) 39 Michael Fisher: Direct Execution of Agent Specifications. FAABS 2000 : 163 38 Ullrich Hustadt , Clare Dixon , Renate A. Schmidt , Michael Fisher, John-Jules Ch. Meyer , Wiebe van der Hoek : Verification within the KARO Agent Theory. FAABS 2000 : 33-47 37 Ullrich Hustadt , Clare Dixon , Renate A. Schmidt , Michael Fisher: Normal Forms and Proofs in Combined Modal and Temporal Logics. FroCos 2000 : 73-87 36 Clare Dixon , Michael Fisher: Resolution-Based Proof for Multi-Modal Temporal Logics of Knowledge. TIME 2000 : 69-78 35 Michael Fisher, Chiara Ghidini : Programming Resource-Bounded Deliberative Agents. IJCAI 1999 : 200-205 34 Alexander Bolotov , Clare Dixon , Michael Fisher: Clausal Resolution for CTL * . MFCS 1999 : 137-148 33 Alexander Bolotov , Michael Fisher: A clausal resolution method for CTL branching-time temporal logic. JETAI 11 (1): 77-93 (1999) 32 Michael Fisher: Representing Abstract Agent Architectures. ATAL 1998 : 227-241 31 Clare Dixon , Michael Fisher: The Set of Support Strategy in Temporal Resolution. TIME 1998 : 113-120 30 Clare Dixon , Michael Fisher, Michael Wooldridge : Resolution for Temporal Logics of Knowledge. Journal of Logic and Computation 8 (3): 345-372 (1998) 29 Marco Mulder , Jan Treur , Michael Fisher: Agent Modelling in METATEM and DESIRE. ATAL 1997 : 193-207 28 Adam Kellett , Michael Fisher: Concurrent METATEM as a Coordination Language. COORDINATION 1997 : 418-421 27 Michael Fisher: Implementing BDI-like Systems by Direct Execution. IJCAI (1) 1997 : 316-321 26 Michael Fisher, Michael Wooldridge : Distributed Problem-Solving as Concurrent Theorem Proving. MAAMAW 1997 : 128-140 25 Clare Dixon , Michael Fisher: Tableaux for Synchronous Systems of Knowledge and Time with Interactions. SCAI 1997 : 28-39 24 Adam Kellett , Michael Fisher: Automata Representations for Concurrent METATEM. TIME 1997 : 12-19 23 Alexander Bolotov , Michael Fisher: A Resolution Method For CTL Branching-Time Temporal Logic. TIME 1997 : 20-27 22 Michael Fisher, Michael Wooldridge : On the Formal Specification and Verification of Multi-Agent Systems. IJCIS 6 (1): 37-66 (1997) 21 Michael Fisher: A Normal Form for Temporal Logics and its Applications in Theorem-Proving and Execution. Journal of Logic and Computation 7 (4): 429-456 (1997) 20 Michael Fisher: If Z Is the Answer, What Could the Question Possibly Be? ATAL 1996 : 65-66 19 Michael Fisher, Michael Wooldridge , Clare Dixon : A Resolution-Based Proof Method for Temporal Logics of Knowledge and Belief. FAPR 1996 : 178-192 18 Michael Fisher: Temporal Semantics for Concurrent Metatem. JSC 22 (5/6): 627-648 (1996) 17 Michael Fisher, Richard Owens : Executable Modal and Temporal Logics, IJCAI '93, Workshop, Chambéry, France, August 28, 1993, Proceedings. Springer 1995 16 Howard Barringer , Michael Fisher, Dov M. Gabbay , Graham Gough , Richard Owens : METATEM: An Introduction. Formal Aspects of Computing 7 (5): 533-549 (1995) 15 Michael Fisher: Representing and Executing Agent-Based Systems. ECAI Workshop on Agent Theories, Architectures, and Languages 1994 : 307-323 14 Michael Wooldridge , Michael Fisher: A Decision Procedure for a Temporal Belief Logic. ICTL 1994 : 317-331 13 Clare Dixon , Michael Fisher, Howard Barringer : A Graph-Based Approach to Resolution in Temporal Logic. ICTL 1994 : 415-429 12 Michael Fisher: A Survey of Concurrent METATEM - the Language and its Applications. ICTL 1994 : 480-505 11 Michael Fisher, Michael Wooldridge : Specifying and Verifying Distributed Intelligence Systems. EPIA 1993 : 13-28 10 Michael Fisher, Richard Owens : An Introduction to Executable Modal and Temporal Logics. Executable Modal and Temporal Logics 1993 : 1-20 9 Michael Fisher: Towards a Semantics for Concurrent METATEM. Executable Modal and Temporal Logics 1993 : 86-102 8 Michael Fisher: Concurrent METATEM - A Language for Modelling Reactive Systems. PARLE 1993 : 185-196 7 Michael Fisher: A Normal Form for First-Order Temporal Formulae. CADE 1992 : 370-384 6 Michael Wooldridge , Michael Fisher: A First-Order Branching Time Logic of Multi-Agent System. ECAI 1992 : 234-238 5 Michael Fisher, Richard Owens : From the Past to the Future: Executing Temporal Logic Programs. LPAR 1992 : 369-380 4 Michael Fisher: A Model Checker for Linear Time Temporal Logic. Formal Aspects of Computing 4 (3): 299-319 (1992) 3 Michael Fisher: A Resolution Method for Temporal Logic. IJCAI 1991 : 99-104 2 Howard Barringer , Michael Fisher, Dov M. Gabbay , Anthony Hunter : Meta-Reasoning in Executable Temporal Logic. KR 1991 : 40-49 1 Howard Barringer , Michael Fisher, Dov M. Gabbay , Graham Gough , Richard Owens : METATEM: A Framework for Programming in Temporal Logic. REX Workshop 1989 : 94-129 DiSC'02 © 2003 Association for Computing Machinery