| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Louise A. Dennis, Michael Fisher, Matthew P. Webster, Rafael H. Bordini |
Model checking agent programming languages.  |
Autom. Softw. Eng.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Savas Konur, Clare Dixon, Michael Fisher |
Analysing robot swarm behaviour via probabilistic model checking. |
Robotics and Autonomous Systems |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Fisher |
Agent deliberation in an executable temporal framework. |
J. Applied Logic |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jürgen Dix, Michael Fisher |
Where logic and agents meet. |
Ann. Math. Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuela L. Bujorianu, Michael Fisher, Corina S. Pasareanu |
Preface. |
Ann. Math. Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Stocker, Maarten Sierhuis, Louise A. Dennis, Clare Dixon, Michael Fisher |
A Formal Semantics for Brahms. |
CLIMA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Clare Dixon, Alan Winfield, Michael Fisher |
Towards Temporal Verification of Emergent Behaviours in Swarm Robotic Systems. |
TAROS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew P. Webster, Michael Fisher, Neil Cameron, Mike Jump |
Formal Methods for the Certification of Autonomous Unmanned Aircraft Systems. |
SAFECOMP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Savas Konur, Michael Fisher |
Formal Analysis of a VANET Congestion Control Protocol through Probabilistic Verification. |
VTC Spring |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Louise A. Dennis, Michael Fisher, Alexei Lisitsa, Nicholas Lincoln, Sandor M. Veres |
Satellite Control Using Rational Agent Programming. |
IEEE Intelligent Systems |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Fisher, Chiara Ghidini |
Executable specifications of resource-bounded agents. |
Autonomous Agents and Multi-Agent Systems |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jürgen Dix, Michael Fisher, Peter Novák (eds.) |
Computational Logic in Multi-Agent Systems - 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers |
CLIMA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Savas Konur, Clare Dixon, Michael Fisher |
Formal Verification of Probabilistic Swarm Behaviours. |
ANTS Conference |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Louise A. Dennis, Michael Fisher, Nicholas Lincoln, Alexei Lisitsa, Sandor M. Veres |
Declarative Abstractions for Agent Based Hybrid Control Systems. |
DALT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Myrto Arapinis, Muffy Calder, Louise A. Dennis, Michael Fisher, Philip D. Gray, Savas Konur, Alice Miller, Eike Ritter, Mark Ryan, Sven Schewe, Chris Unsworth, Rehana Yasmin |
Towards the Verification of Pervasive Systems. |
ECEASST |
2009 |
DBLP BibTeX RDF |
|
| 1 | Rafael H. Bordini, Michael Fisher, Michael Wooldridge, Willem Visser |
Property-based Slicing for Agent Verification. |
J. Log. Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Fisher, Chiara Ghidini |
Exploring the Future with Resource-Bounded Agents. |
Journal of Logic, Language and Information |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Louise A. Dennis, Michael Fisher, Nicholas Lincoln, Alexei Lisitsa, Sandor M. Veres |
Agent Based Approaches to Engineering Autonomous Space Software |
FMA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuela L. Bujorianu, Michael Fisher (eds.) |
Proceedings FM-09 Workshop on Formal Methods for Aerospace |
FMA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Fisher, Boris Konev, Alexei Lisitsa |
Temporal Verification of Fault-Tolerant Protocols. |
Methods, Models and Tools for Fault Tolerance |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Fisher, Fariba Sadri, Michael Thielscher (eds.) |
Computational Logic in Multi-Agent Systems, 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers |
CLIMA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Clare Dixon, Michael Fisher, Boris Konev |
Taming the Complexity of Temporal Epistemic Reasoning. |
FroCos |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael H. Bordini, Michael Fisher, Maarten Sierhuis |
Formal verification of human-robot teamwork. |
HRI |
2009 |
DBLP DOI BibTeX RDF |
verification, teamwork, agent-based modelling |
| 1 | Nivea de Carvalho Ferreira, Michael Fisher, Wiebe van der Hoek |
Specifying and reasoning about uncertain agents. |
Int. J. Approx. Reasoning |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Clare Dixon, Michael Fisher, Boris Konev, Alexei Lisitsa |
Practical First-Order Temporal Reasoning. |
TIME |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael H. Bordini, Louise A. Dennis, Berndt Farwer, Michael Fisher |
Automated Verification of Multi-Agent Programs. |
ASE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Louise A. Dennis, Michael Fisher |
Programming Verifiable Heterogeneous Agent Systems. |
ProMAS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Louise A. Dennis, Berndt Farwer, Rafael H. Bordini, Michael Fisher |
A flexible framework for verifying agent programs. |
AAMAS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Fisher, Munindar P. Singh, Diana F. Spears, Michael Wooldridge |
Logic-Based Agent Verification. |
J. Applied Logic |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Clare Dixon, Michael Fisher, Boris Konev, Alexei Lisitsa |
Efficient First-Order Temporal Logic for Infinite-State Systems |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Michael Fisher, Rafael H. Bordini, Benjamin Hirsch, Paolo Torroni |
Computational Logics and Agents: A Road Map of Current Technologies and Future Trends. |
Computational Intelligence |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Fisher, Wiebe van der Hoek |
Logics in AI: post-proceedings JELIA06 (Editorial). |
Ann. Math. Artif. Intell. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Louise A. Dennis, Michael Fisher, Anthony Hepple |
Language Constructs for Multi-agent Programming. |
CLIMA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Clare Dixon, Michael Fisher, Boris Konev |
Tractable Temporal Reasoning. |
IJCAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Clare Dixon, Michael Fisher, Boris Konev |
Temporal Logic with Capacity Constraints. |
FroCos |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Louise A. Dennis, Berndt Farwer, Rafael H. Bordini, Michael Fisher, Michael Wooldridge |
A Common Semantic Basis for BDI Languages. |
PROMAS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Anthony Hepple, Louise A. Dennis, Michael Fisher |
A Common Basis for Agent Organisation in BDI Languages. |
LADS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Ballarini, Michael Fisher, Michael Wooldridge |
Automated Game Analysis via Probabilistic Model Checking: a case study. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Anatoli Degtyarev, Michael Fisher, Boris Konev |
Monodic temporal resolution. |
ACM Trans. Comput. Log. |
2006 |
DBLP DOI BibTeX RDF |
Temporal logic, resolution, automated theorem proving |
| 1 | Maroua Bouzid, Carlo Combi, Michael Fisher, Gérard Ligozat |
Guest editorial: Temporal representation and reasoning. |
Ann. Math. Artif. Intell. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael H. Bordini, Michael Fisher, Willem Visser, Michael Wooldridge |
Verifying Multi-agent Programs by Model Checking. |
Autonomous Agents and Multi-Agent Systems |
2006 |
DBLP DOI BibTeX RDF |
AgentSpeak, JPF, Model checking, Spin, Agent-oriented programming |
| 1 | Clare Dixon, Michael Fisher, Boris Konev |
Is There a Future for Deductive Temporal Verification? |
TIME |
2006 |
DBLP DOI BibTeX RDF |
fragments of PTL, deductive verification, clausal temporal resolution, complexity |
| 1 | Michael Fisher, Wiebe van der Hoek, Boris Konev, Alexei Lisitsa (eds.) |
Logics in Artificial Intelligence, 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings |
JELIA |
2006 |
DBLP BibTeX RDF |
|
| 1 | Boris Konev, Anatoli Degtyarev, Clare Dixon, Michael Fisher, Ullrich Hustadt |
Mechanising first-order temporal resolution. |
Inf. Comput. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Clare Dixon, Alexander Bolotov, Michael Fisher |
Alternating automata and temporal logic normal forms. |
Ann. Pure Appl. Logic |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | M. Carmen Fernández Gago, Ullrich Hustadt, Clare Dixon, Michael Fisher, Boris Konev |
First-Order Temporal Verification in Practice. |
J. Autom. Reasoning |
2005 |
DBLP DOI BibTeX RDF |
temporal logics of knowledge, theorem proving, resolution, first-order temporal logic |
| 1 | Michael Fisher |
Implementing Temporal Logics: Tools for Execution and Proof (Tutorial Paper). |
CLIMA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Nivea de Carvalho Ferreira, Michael Fisher, Wiebe van der Hoek |
Logical Implementation of Uncertain Agents. |
EPIA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Fisher |
MetateM: The Story so Far. |
PROMAS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Fisher, Boris Konev, Alexei Lisitsa |
Practical Infinite-State Verification with Temporal Reasoning. |
VISSAS |
2005 |
DBLP BibTeX RDF |
|
| 1 | 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 |
2004 |
DBLP BibTeX RDF |
|
| 1 | Alessandro Artale, Clare Dixon, Michael Fisher, Enrico Franconi |
Editorial. |
J. Log. Comput. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael H. Bordini, Michael Fisher, Willem Visser, Michael Wooldridge |
Model Checking Rational Agents. |
IEEE Intelligent Systems |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jürgen Dix, Michael Fisher, Hector J. Levesque, Leon Sterling |
Introduction. |
Ann. Math. Artif. Intell. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Fisher |
Temporal Development Methods for Agent-Based. |
Autonomous Agents and Multi-Agent Systems |
2004 |
DBLP DOI BibTeX RDF |
temporal and modal logics, formal methods, agent-based systems |
| 1 | Cláudia Nalon, Clare Dixon, Michael Fisher |
Resolution for Synchrony and No Learning. |
Advances in Modal Logic |
2004 |
DBLP BibTeX RDF |
|
| 1 | Benjamin Hirsch, Michael Fisher, Chiara Ghidini, Paolo Busetta |
Organising Software in Active Environments. |
CLIMA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Fisher, Chiara Ghidini, Benjamin Hirsch |
Programming Groups of Rational Agents. |
CLIMA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Nivea de Carvalho Ferreira, Michael Fisher, Wiebe van der Hoek |
Practical Reasoning for Uncertain Agents. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael H. Bordini, Michael Fisher, Willem Visser, Michael Wooldridge |
State-Space Reduction Techniques in Agent Verification. |
AAMAS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Fisher, Alexei Lisitsa |
Monodic ASMs and Temporal Verification. |
Abstract State Machines |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Anatoli Degtyarev, Michael Fisher, Boris Konev |
Monodic temporal resolution |
CoRR |
2003 |
DBLP BibTeX RDF |
|
| 1 | Anatoli Degtyarev, Michael Fisher, Boris Konev |
Monodic Temporal Resolution. |
CADE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Clare Dixon, Cláudia Nalon, Michael Fisher |
Tableaux for Temporal Logics of Knowledge: Synchronous Systems of Perfect Recall or No Learning. (PDF / PS) |
TIME |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Boris Konev, Anatoli Degtyarev, Clare Dixon, Michael Fisher, Ullrich Hustadt |
Towards the Implementation of First-Order Temporal Resolution: the Expanding Domain Case. (PDF / PS) |
TIME |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Boris Konev, Anatoli Degtyarev, Michael Fisher |
Handling Equality in Monodic Temporal Resolution. |
LPAR |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Fisher, Chiara Ghidini, Benjamin Hirsch |
Organising Computation through Dynamic Grouping. |
Objects, Agents, and Features |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael H. Bordini, Michael Fisher, Willem Visser, Michael Wooldridge |
Verifiable Multi-agent Programs. |
PROMAS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael H. Bordini, Michael Fisher, Carmen Pardavila, Willem Visser, Michael Wooldridge |
Model Checking Multi-Agent Programs with CASP. |
CAV |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael H. Bordini, Michael Fisher, Carmen Pardavila, Michael Wooldridge |
Model checking agentspeak. |
AAMAS |
2003 |
DBLP DOI BibTeX RDF |
AgentSpeak, BDI logic programming, model checking, spin |
| 1 | Anatoli Degtyarev, Michael Fisher, Alexei Lisitsa |
Equality and Monodic First-Order Temporal Logic. |
Studia Logica |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Bolotov, Michael Fisher, Clare Dixon |
On the Relationship between [ohgr]-automata and Temporal Logic Normal Forms. |
J. Log. Comput. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Clare Dixon, Michael Fisher, Alexander Bolotov |
Clausal resolution in a logic of rational agency. |
Artif. Intell. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Brandon Bennett, Clare Dixon, Michael Fisher, Ullrich Hustadt, Enrico Franconi, Ian Horrocks, Maarten de Rijke |
Combinations of Modal Logics. |
Artif. Intell. Rev. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark d'Inverno, Michael Luck, Michael Fisher, Chris Preist (eds.) |
Foundations and Applications of Multi-Agent Systems, UKMAS Workshop 1996-2000, Selected Papers |
Foundations and Applications of Multi-Agent Systems |
2002 |
DBLP BibTeX RDF |
|
| 1 | Michael Fisher, Chiara Ghidini |
Agents with Bounded Temporal Resources. |
Foundations and Applications of Multi-Agent Systems |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | James Brotherston, Anatoli Degtyarev, Michael Fisher, Alexei Lisitsa |
Searching for Invariants Using Temporal Resolution. |
LPAR |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Fisher, Chiara Ghidini, Benjamin Hirsch |
Organising Logic-Based Agents. |
FAABS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Anatoli Degtyarev, Michael Fisher, Boris Konev |
A Simplified Clausal Resolution Procedure for Propositional Linear-Time Temporal Logic. |
TABLEAUX |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Wooldridge, Michael Fisher, Marc-Philippe Huget, Simon Parsons |
Model checking multi-agent systems with MABLE. |
AAMAS |
2002 |
DBLP DOI BibTeX RDF |
model checking, verification, agents, programming |
| 1 | Michael Fisher, Chiara Ghidini |
The abc of rational agent modelling. |
AAMAS |
2002 |
DBLP DOI BibTeX RDF |
goal selection & theories, logic motivation, theories of agency |
| 1 | M. Carmen Fernández Gago, Michael Fisher, Clare Dixon |
Algorithms for Guiding Clausal Temporal Resolution. |
KI |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Fisher, Clare Dixon, Martin Peim |
Clausal temporal resolution. |
ACM Trans. Comput. Log. |
2001 |
DBLP DOI BibTeX RDF |
temporal logic, theorem proving, resolution |
| 1 | Ullrich Hustadt, Clare Dixon, Renate A. Schmidt, Michael Fisher, John-Jules Ch. Meyer, Wiebe van der Hoek |
Reasoning about agents in the KARO framework. (PDF / PS) |
TIME |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Anatoli Degtyarev, Michael Fisher |
Towards First-Order Temporal Resolution. |
KI/ÖGAI |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Clare Dixon, Michael Fisher |
Resolution-Based Proof for Multi-Modal Temporal Logics of Knowledge. (PDF / PS) |
TIME |
2000 |
DBLP DOI BibTeX RDF |
temporal and modal logics, non-classical resolution, theorem-proving |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Fisher |
Direct Execution of Agent Specifications. |
FAABS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Ullrich Hustadt, Clare Dixon, Renate A. Schmidt, Michael Fisher |
Normal Forms and Proofs in Combined Modal and Temporal Logics. |
FroCos |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Fisher |
Characterizing Simple Negotiation as Distributed Agent-Based Theorem-Proving - A Preliminary Report. |
ICMAS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Bolotov, Michael Fisher |
A clausal resolution method for CTL branching-time temporal logic. |
J. Exp. Theor. Artif. Intell. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Fisher, Clare Dixon, Martin Peim |
Clausal Temporal Resolution |
CoRR |
1999 |
DBLP BibTeX RDF |
|
| 1 | Michael Fisher, Chiara Ghidini |
Programming Resource-Bounded Deliberative Agents. |
IJCAI |
1999 |
DBLP BibTeX RDF |
|
| 1 | Alexander Bolotov, Clare Dixon, Michael Fisher |
Clausal Resolution for CTL*. |
MFCS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Wooldridge, Clare Dixon, Michael Fisher |
A Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief. |
Journal of Applied Non-Classical Logics |
1998 |
DBLP BibTeX RDF |
|
| 1 | Clare Dixon, Michael Fisher, Michael Wooldridge |
Resolution for Temporal Logics of Knowledge. |
J. Log. Comput. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | R. I. Scott, Michael Fisher, John A. Keane |
Parallel Temporal Tableaux. |
Euro-Par |
1998 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")