 | 2009 |
|---|
| 115 |       | Michael Fisher,
Fariba Sadri,
Michael Thielscher:
Computational Logic in Multi-Agent Systems, 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers
Springer 2009 |
| 114 | | Clare Dixon,
Michael Fisher,
Boris Konev:
Taming the Complexity of Temporal Epistemic Reasoning.
FroCos 2009: 198-213 |
| 113 | | Rafael H. Bordini,
Michael Fisher,
Maarten Sierhuis:
Formal verification of human-robot teamwork.
HRI 2009: 267-268 |
| 112 | | Michael Fisher,
Boris Konev,
Alexei Lisitsa:
Temporal Verification of Fault-Tolerant Protocols.
Methods, Models and Tools for Fault Tolerance 2009: 44-56 |
| 111 | | Michael Fisher,
Chiara Ghidini:
Exploring the Future with Resource-Bounded Agents.
Journal of Logic, Language and Information 18(1): 3-21 (2009) |
| 2008 |
|---|
| 110 | | Louise A. Dennis,
Berndt Farwer,
Rafael H. Bordini,
Michael Fisher:
A flexible framework for verifying agent programs.
AAMAS (3) 2008: 1303-1306 |
| 109 | | Rafael H. Bordini,
Louise A. Dennis,
Berndt Farwer,
Michael Fisher:
Automated Verification of Multi-Agent Programs.
ASE 2008: 69-78 |
| 108 | | Louise A. Dennis,
Michael Fisher:
Programming Verifiable Heterogeneous Agent Systems.
ProMAS 2008: 40-55 |
| 107 | | Clare Dixon,
Michael Fisher,
Boris Konev,
Alexei Lisitsa:
Practical First-Order Temporal Reasoning.
TIME 2008: 156-163 |
| 106 | | Nivea de Carvalho Ferreira,
Michael Fisher,
Wiebe van der Hoek:
Specifying and reasoning about uncertain agents.
Int. J. Approx. Reasoning 49(1): 35-51 (2008) |
| 2007 |
|---|
| 105 | | Louise A. Dennis,
Michael Fisher,
Anthony Hepple:
Language Constructs for Multi-agent Programming.
CLIMA VIII 2007: 137-156 |
| 104 | | Clare Dixon,
Michael Fisher,
Boris Konev:
Temporal Logic with Capacity Constraints.
FroCos 2007: 163-177 |
| 103 | | Clare Dixon,
Michael Fisher,
Boris Konev:
Tractable Temporal Reasoning.
IJCAI 2007: 318-323 |
| 102 | | Anthony Hepple,
Louise A. Dennis,
Michael Fisher:
A Common Basis for Agent Organisation in BDI Languages.
LADS 2007: 71-88 |
| 101 | | Louise A. Dennis,
Berndt Farwer,
Rafael H. Bordini,
Michael Fisher,
Michael Wooldridge:
A Common Semantic Basis for BDI Languages.
PROMAS 2007: 124-139 |
| 100 | | Michael Fisher,
Wiebe van der Hoek:
Logics in AI: post-proceedings JELIA06 (Editorial).
Ann. Math. Artif. Intell. 50(3-4): 227-229 (2007) |
| 99 | | Clare Dixon,
Michael Fisher,
Boris Konev,
Alexei Lisitsa:
Efficient First-Order Temporal Logic for Infinite-State Systems
CoRR abs/cs/0702036: (2007) |
| 98 | | Clare Dixon,
M. Carmen Fernández Gago,
Michael Fisher,
Wiebe van der Hoek:
Temporal Logics of Knowledge and their Applications in Security.
Electr. Notes Theor. Comput. Sci. 186: 27-42 (2007) |
| 97 | | Michael Fisher,
Munindar P. Singh,
Diana F. Spears,
Michael Wooldridge:
Logic-Based Agent Verification.
J. Applied Logic 5(2): 193-195 (2007) |
| 2006 |
|---|
| 96 |  | Michael Fisher,
Wiebe van der Hoek,
Boris Konev,
Alexei Lisitsa:
Logics in Artificial Intelligence, 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings
Springer 2006 |
| 95 | | Clare Dixon,
Michael Fisher,
Boris Konev:
Is There a Future for Deductive Temporal Verification?
TIME 2006: 11-18 |
| 94 | | Anatoli Degtyarev,
Michael Fisher,
Boris Konev:
Monodic temporal resolution.
ACM Trans. Comput. Log. 7(1): 108-150 (2006) |
| 93 | | Maroua Bouzid,
Carlo Combi,
Michael Fisher,
Gérard Ligozat:
Guest editorial: Temporal representation and reasoning.
Ann. Math. Artif. Intell. 46(3): 231-234 (2006) |
| 92 | | Rafael H. Bordini,
Michael Fisher,
Willem Visser,
Michael Wooldridge:
Verifying Multi-agent Programs by Model Checking.
Autonomous Agents and Multi-Agent Systems 12(2): 239-256 (2006) |
| 91 | | Paolo Ballarini,
Michael Fisher,
Michael Wooldridge:
Automated Game Analysis via Probabilistic Model Checking: a case study.
Electr. Notes Theor. Comput. Sci. 149(2): 125-137 (2006) |
| 90 | | Michael Wooldridge,
Marc-Philippe Huget,
Michael Fisher,
Simon Parsons:
Model Checking for Multiagent Systems: the Mable Language and its Applications.
International Journal on Artificial Intelligence Tools 15(2): 195-226 (2006) |
| 2005 |
|---|
| 89 | | Michael Fisher:
Implementing Temporal Logics: Tools for Execution and Proof (Tutorial Paper).
CLIMA VI 2005: 129-142 |
| 88 | | Nivea de Carvalho Ferreira,
Michael Fisher,
Wiebe van der Hoek:
Logical Implementation of Uncertain Agents.
EPIA 2005: 536-547 |
| 87 | | Michael Fisher:
MetateM: The Story so Far.
PROMAS 2005: 3-22 |
| 86 | | Michael Fisher,
Boris Konev,
Alexei Lisitsa:
Practical Infinite-State Verification with Temporal Reasoning.
VISSAS 2005: 91-100 |
| 85 | | Clare Dixon,
Alexander Bolotov,
Michael Fisher:
Alternating automata and temporal logic normal forms.
Ann. Pure Appl. Logic 135(1-3): 263-285 (2005) |
| 84 | | Boris Konev,
Anatoli Degtyarev,
Clare Dixon,
Michael Fisher,
Ullrich Hustadt:
Mechanising first-order temporal resolution.
Inf. Comput. 199(1-2): 55-86 (2005) |
| 83 | | M. Carmen Fernández Gago,
Ullrich Hustadt,
Clare Dixon,
Michael Fisher,
Boris Konev:
First-Order Temporal Verification in Practice.
J. Autom. Reasoning 34(3): 295-321 (2005) |
| 2004 |
|---|
| 82 | | Rafael H. Bordini,
Michael Fisher,
Willem Visser,
Michael Wooldridge:
State-Space Reduction Techniques in Agent Verification.
AAMAS 2004: 896-903 |
| 81 | | Michael Fisher,
Alexei Lisitsa:
Monodic ASMs and Temporal Verification.
Abstract State Machines 2004: 95-110 |
| 80 | | Cláudia Nalon,
Clare Dixon,
Michael Fisher:
Resolution for Synchrony and No Learning.
Advances in Modal Logic 2004: 231-248 |
| 79 | | Michael Fisher,
Chiara Ghidini,
Benjamin Hirsch:
Programming Groups of Rational Agents.
CLIMA IV 2004: 16-33 |
| 78 | | Benjamin Hirsch,
Michael Fisher,
Chiara Ghidini,
Paolo Busetta:
Organising Software in Active Environments.
CLIMA V 2004: 265-280 |
| 77 | | Nivea de Carvalho Ferreira,
Michael Fisher,
Wiebe van der Hoek:
Practical Reasoning for Uncertain Agents.
JELIA 2004: 82-94 |
| 76 | | Clare Dixon,
M. Carmen Fernández Gago,
Michael Fisher,
Wiebe van der Hoek:
Using Temporal Logics of Knowledge in the Formal Verification of Security Protocols.
TIME 2004: 148-151 |
| 75 | | Jürgen Dix,
Michael Fisher,
Hector J. Levesque,
Leon Sterling:
Introduction.
Ann. Math. Artif. Intell. 41(2-4): 131-133 (2004) |
| 74 | | Michael Fisher:
Temporal Development Methods for Agent-Based.
Autonomous Agents and Multi-Agent Systems 10(1): 41-66 (2004) |
| 73 | | Rafael H. Bordini,
Michael Fisher,
Willem Visser,
Michael Wooldridge:
Model Checking Rational Agents.
IEEE Intelligent Systems 19(5): 46-52 (2004) |
| 72 | | Alessandro Artale,
Clare Dixon,
Michael Fisher,
Enrico Franconi:
Editorial.
J. Log. Comput. 14(1): 1 (2004) |
| 71 | | Clare Dixon,
Cláudia Nalon,
Michael Fisher:
Tableaux for Logics of Time and Knowledge with Interactions Relating to Synchrony.
Journal of Applied Non-Classical Logics 14(4): 397-445 (2004) |
| 2003 |
|---|
| 70 | | Rafael H. Bordini,
Michael Fisher,
Carmen Pardavila,
Michael Wooldridge:
Model checking agentspeak.
AAMAS 2003: 409-416 |
| 69 | | Anatoli Degtyarev,
Michael Fisher,
Boris Konev:
Monodic Temporal Resolution.
CADE 2003: 397-411 |
| 68 | | Rafael H. Bordini,
Michael Fisher,
Carmen Pardavila,
Willem Visser,
Michael Wooldridge:
Model Checking Multi-Agent Programs with CASP.
CAV 2003: 110-113 |
| 67 | | Boris Konev,
Anatoli Degtyarev,
Michael Fisher:
Handling Equality in Monodic Temporal Resolution.
LPAR 2003: 214-228 |
| 66 | | Michael Fisher,
Chiara Ghidini,
Benjamin Hirsch:
Organising Computation through Dynamic Grouping.
Objects, Agents, and Features 2003: 117-136 |
| 65 | | Rafael H. Bordini,
Michael Fisher,
Willem Visser,
Michael Wooldridge:
Verifiable Multi-agent Programs.
PROMAS 2003: 72-89 |
| 64 | | Clare Dixon,
Cláudia Nalon,
Michael Fisher:
Tableaux for Temporal Logics of Knowledge: Synchronous Systems of Perfect Recall or No Learning.
TIME 2003: 62-71 |
| 63 | | Boris Konev,
Anatoli Degtyarev,
Clare Dixon,
Michael Fisher,
Ullrich Hustadt:
Towards the Implementation of First-Order Temporal Resolution: the Expanding Domain Case.
TIME 2003: 72-82 |
| 62 | | Anatoli Degtyarev,
Michael Fisher,
Boris Konev:
Monodic temporal resolution
CoRR cs.LO/0306041: (2003) |
| 2002 |
|---|
| 61 | | Mark d'Inverno,
Michael Luck,
Michael Fisher,
Chris Preist:
Foundations and Applications of Multi-Agent Systems, UKMAS Workshop 1996-2000, Selected Papers
Springer 2002 |
| 60 | | Michael Fisher,
Chiara Ghidini:
The abc of rational agent modelling.
AAMAS 2002: 849-856 |
| 59 | | Michael Wooldridge,
Michael Fisher,
Marc-Philippe Huget,
Simon Parsons:
Model checking multi-agent systems with MABLE.
AAMAS 2002: 952-959 |
| 58 | | Michael Fisher,
Chiara Ghidini,
Benjamin Hirsch:
Organising Logic-Based Agents.
FAABS 2002: 15-27 |
| 57 | | Michael Fisher,
Chiara Ghidini:
Agents with Bounded Temporal Resources.
Foundations and Applications of Multi-Agent Systems 2002: 169-184 |
| 56 | | M. Carmen Fernández Gago,
Michael Fisher,
Clare Dixon:
Algorithms for Guiding Clausal Temporal Resolution.
KI 2002: 235-252 |
| 55 | | James Brotherston,
Anatoli Degtyarev,
Michael Fisher,
Alexei Lisitsa:
Searching for Invariants Using Temporal Resolution.
LPAR 2002: 86-101 |
| 54 | | Anatoli Degtyarev,
Michael Fisher,
Boris Konev:
A Simplified Clausal Resolution Procedure for Propositional Linear-Time Temporal Logic.
TABLEAUX 2002: 85-99 |
| 53 | | Clare Dixon,
Michael Fisher,
Alexander Bolotov:
Clausal resolution in a logic of rational agency.
Artif. Intell. 139(1): 47-89 (2002) |
| 52 | | Brandon Bennett,
Clare Dixon,
Michael Fisher,
Ullrich Hustadt,
Enrico Franconi,
Ian Horrocks,
Maarten de Rijke:
Combinations of Modal Logics.
Artif. Intell. Rev. 17(1): 1-20 (2002) |
| 51 | | Alexander Bolotov,
Michael Fisher,
Clare Dixon:
On the Relationship between [ohgr]-automata and Temporal Logic Normal Forms.
J. Log. Comput. 12(4): 561-581 (2002) |
| 50 | | Anatoli Degtyarev,
Michael Fisher,
Alexei Lisitsa:
Equality and Monodic First-Order Temporal Logic.
Studia Logica 72(2): 147-156 (2002) |
| 2001 |
|---|
| 49 | | Anatoli Degtyarev,
Michael Fisher:
Towards First-Order Temporal Resolution.
KI/ÖGAI 2001: 18-32 |
| 48 | | 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 |
| 47 | | Michael Fisher,
Clare Dixon,
Martin Peim:
Clausal temporal resolution.
ACM Trans. Comput. Log. 2(1): 12-56 (2001) |
| 2000 |
|---|
| 46 | | Michael Fisher:
Direct Execution of Agent Specifications.
FAABS 2000: 163 |
| 45 | | 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 |
| 44 | | Ullrich Hustadt,
Clare Dixon,
Renate A. Schmidt,
Michael Fisher:
Normal Forms and Proofs in Combined Modal and Temporal Logics.
FroCos 2000: 73-87 |
| 43 | | Michael Fisher:
Characterizing Simple Negotiation as Distributed Agent-Based Theorem-Proving - A Preliminary Report.
ICMAS 2000: 127-134 |
| 42 | | Clare Dixon,
Michael Fisher:
Resolution-Based Proof for Multi-Modal Temporal Logics of Knowledge.
TIME 2000: 69-78 |
| 1999 |
|---|
| 41 | | Michael Fisher,
Chiara Ghidini:
Programming Resource-Bounded Deliberative Agents.
IJCAI 1999: 200-205 |
| 40 | | Alexander Bolotov,
Clare Dixon,
Michael Fisher:
Clausal Resolution for CTL*.
MFCS 1999: 137-148 |
| 39 | | Michael Fisher,
Clare Dixon,
Martin Peim:
Clausal Temporal Resolution
CoRR cs.LO/9907032: (1999) |
| 38 | | Alexander Bolotov,
Michael Fisher:
A clausal resolution method for CTL branching-time temporal logic.
J. Exp. Theor. Artif. Intell. 11(1): 77-93 (1999) |
| 1998 |
|---|
| 37 | | Michael Fisher:
Representing Abstract Agent Architectures.
ATAL 1998: 227-241 |
| 36 | | R. I. Scott,
Michael Fisher,
John A. Keane:
Parallel Temporal Tableaux.
Euro-Par 1998: 852-861 |
| 35 | | Clare Dixon,
Michael Fisher:
The Set of Support Strategy in Temporal Resolution.
TIME 1998: 113-120 |
| 34 | | Clare Dixon,
Michael Fisher,
Michael Wooldridge:
Resolution for Temporal Logics of Knowledge.
J. Log. Comput. 8(3): 345-372 (1998) |
| 33 | | Michael Wooldridge,
Clare Dixon,
Michael Fisher:
A Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief.
Journal of Applied Non-Classical Logics 8(3): (1998) |
| 1997 |
|---|
| 32 | | Marco Mulder,
Jan Treur,
Michael Fisher:
Agent Modelling in METATEM and DESIRE.
ATAL 1997: 193-207 |
| 31 | | Adam Kellett,
Michael Fisher:
Concurrent METATEM as a Coordination Language.
COORDINATION 1997: 418-421 |
| 30 | | Michael Fisher:
Implementing BDI-like Systems by Direct Execution.
IJCAI (1) 1997: 316-321 |
| 29 | | Michael Fisher,
Michael Wooldridge:
Distributed Problem-Solving as Concurrent Theorem Proving.
MAAMAW 1997: 128-140 |
| 28 | | Clare Dixon,
Michael Fisher:
Tableaux for Synchronous Systems of Knowledge and Time with Interactions.
SCAI 1997: 28-39 |
| 27 | | Adam Kellett,
Michael Fisher:
Automata Representations for Concurrent METATEM.
TIME 1997: 12-19 |
| 26 | | Alexander Bolotov,
Michael Fisher:
A Resolution Method For CTL Branching-Time Temporal Logic.
TIME 1997: 20-27 |
| 25 | | Michael Fisher,
Michael Wooldridge:
On the Formal Specification and Verification of Multi-Agent Systems.
Int. J. Cooperative Inf. Syst. 6(1): 37-66 (1997) |
| 24 | | Michael Fisher:
A Normal Form for Temporal Logics and its Applications in Theorem-Proving and Execution.
J. Log. Comput. 7(4): 429-456 (1997) |
| 1996 |
|---|
| 23 | | Michael Fisher:
If Z Is the Answer, What Could the Question Possibly Be?
ATAL 1996: 65-66 |
| 22 | | Michael Fisher,
Michael Wooldridge,
Clare Dixon:
A Resolution-Based Proof Method for Temporal Logics of Knowledge and Belief.
FAPR 1996: 178-192 |
| 21 | | Michael Fisher:
Temporal Semantics for Concurrent Metatem.
J. Symb. Comput. 22(5/6): 627-648 (1996) |
| 20 | | Howard Barringer,
Graham Gough,
Derek Brough,
Dov M. Gabbay,
Ian M. Hodkinson,
Anthony Hunter,
Richard Owens,
Peter McBrien,
Mark Reynolds,
Michael Fisher:
Languages, Meta-languages and METATEM, A Discussion Paper.
Logic Journal of the IGPL 4(2): 255-272 (1996) |
| 1995 |
|---|
| 19 | | Michael Fisher,
Richard Owens:
Executable Modal and Temporal Logics, IJCAI '93, Workshop, Chambéry, France, August 28, 1993, Proceedings
Springer 1995 |
| 18 | | Michael Fisher,
Robert Johnson,
John A. Keane:
Graph Structure Management in Parallel Symbolic Systems.
Parallel and Distributed Computing and Systems 1995: 210-215 |
| 17 | | Howard Barringer,
Michael Fisher,
Dov M. Gabbay,
Graham Gough,
Richard Owens:
METATEM: An Introduction.
Formal Asp. Comput. 7(5): 533-549 (1995) |
| 1994 |
|---|
| 16 | | Michael Fisher:
Representing and Executing Agent-Based Systems.
ECAI Workshop on Agent Theories, Architectures, and Languages 1994: 307-323 |
| 15 | | Michael Wooldridge,
Michael Fisher:
A Decision Procedure for a Temporal Belief Logic.
ICTL 1994: 317-331 |
| 14 | | Clare Dixon,
Michael Fisher,
Howard Barringer:
A Graph-Based Approach to Resolution in Temporal Logic.
ICTL 1994: 415-429 |
| 13 | | Michael Fisher:
A Survey of Concurrent METATEM - the Language and its Applications.
ICTL 1994: 480-505 |
| 1993 |
|---|
| 12 | | Michael Fisher,
Michael Wooldridge:
Specifying and Verifying Distributed Intelligence Systems.
EPIA 1993: 13-28 |
| 11 | | Michael Fisher,
Richard Owens:
An Introduction to Executable Modal and Temporal Logics.
Executable Modal and Temporal Logics 1993: 1-20 |
| 10 | | Michael Fisher:
Towards a Semantics for Concurrent METATEM.
Executable Modal and Temporal Logics 1993: 86-102 |
| 9 | | Michael Fisher:
Concurrent METATEM - A Language for Modelling Reactive Systems.
PARLE 1993: 185-196 |
| 1992 |
|---|
| 8 | | Michael Fisher:
A Normal Form for First-Order Temporal Formulae.
CADE 1992: 370-384 |
| 7 | | Michael Wooldridge,
Michael Fisher:
A First-Order Branching Time Logic of Multi-Agent System.
ECAI 1992: 234-238 |
| 6 | | Michael Fisher,
Richard Owens:
From the Past to the Future: Executing Temporal Logic Programs.
LPAR 1992: 369-380 |
| 5 | | Michael Fisher:
A Model Checker for Linear Time Temporal Logic.
Formal Asp. Comput. 4(3): 299-319 (1992) |
| 1991 |
|---|
| 4 | | Michael Fisher:
A Resolution Method for Temporal Logic.
IJCAI 1991: 99-104 |
| 3 | | Howard Barringer,
Michael Fisher,
Dov M. Gabbay,
Anthony Hunter:
Meta-Reasoning in Executable Temporal Logic.
KR 1991: 40-49 |
| 1989 |
|---|
| 2 | | Howard Barringer,
Michael Fisher,
Graham Gough:
Fair SMG and Linear Time Model Checking.
Automatic Verification Methods for Finite State Systems 1989: 133-150 |
| 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 |
