| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 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 | 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 | Abdulbasit Ahmed, Alexei Lisitsa, Clare Dixon |
A misuse-based network Intrusion Detection System using Temporal Logic and stream processing. |
NSS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lan Zhang, Ullrich Hustadt, Clare Dixon |
CTL-RP: A computation tree logic resolution prover. |
AI Commun. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | John Christopher McCabe-Dansted, Clare Dixon |
CTL-Like Fragments of a Temporal Logic of Robustness. |
TIME |
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 | Lan Zhang, Ullrich Hustadt, Clare Dixon |
A Refined Resolution Calculus for CTL. |
CADE |
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 | Clare Dixon, Michael Fisher, Boris Konev, Alexei Lisitsa |
Practical First-Order Temporal Reasoning. |
TIME |
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 | Cláudia Nalon, Clare Dixon |
Clausal resolution for normal modal logics. |
J. Algorithms |
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 | 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 | Clare Dixon |
Using temporal logics of knowledge for specification and verification - a case study. |
J. Applied Logic |
2006 |
DBLP DOI BibTeX RDF |
|
| 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 | Cláudia Nalon, Clare Dixon |
Anti-prenexing and Prenexing for Modal Logics. |
JELIA |
2006 |
DBLP DOI 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 | 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 | Cláudia Nalon, Clare Dixon, Michael Fisher |
Resolution for Synchrony and No Learning. |
Advances in Modal Logic |
2004 |
DBLP 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 | Clare Dixon |
Miss Scarlett in the Ballroom with the Lead Piping. |
ECAI |
2004 |
DBLP 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 | 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 | 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 | Alexander Bolotov, Clare Dixon |
Resolution for Branching Time Temporal Logics: Applying the Temporal Resolution Rule. (PDF / PS) |
TIME |
2000 |
DBLP DOI BibTeX RDF |
loop detection algorithm, temporal logics, resolution, automated deduction, branching-time |
| 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 | 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 | Clare Dixon |
Removing irrelevant information in temporal resolution proofs. |
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 | 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 | Clare Dixon |
Temporal Resolution Using a Breadth-First Search Algorithm. |
Ann. Math. Artif. Intell. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Clare Dixon, Michael Fisher |
The Set of Support Strategy in Temporal Resolution. (PDF / PS) |
TIME |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Clare Dixon |
Temporal Resolution: Removing Irrelevant Information. (PDF / PS) |
TIME |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Clare Dixon, Michael Fisher |
Tableaux for Synchronous Systems of Knowledge and Time with Interactions. |
SCAI |
1997 |
DBLP BibTeX RDF |
|
| 1 | Clare Dixon |
Search Strategies for Resolution in Temporal Logics. |
CADE |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Clare Dixon |
Temporal Resolution: A Breadth-First Search Approach. |
TIME |
1996 |
DBLP BibTeX RDF |
|
| 1 | Michael Fisher, Michael Wooldridge, Clare Dixon |
A Resolution-Based Proof Method for Temporal Logics of Knowledge and Belief. |
FAPR |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Clare Dixon, Michael Fisher, Howard Barringer |
A Graph-Based Approach to Resolution in Temporal Logic. |
ICTL |
1994 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")