Book Chapter
From a synchronous declarative language to a temporal logic dealing with multiform time
Extended abstract
Daniel Pilaud and Nicolas Halbwachs
Lecture Notes in Computer Science, 1988, Volume 331, Formal Techniques in Real-Time and Fault-Tolerant Systems, Pages 99-110
Book Chapter
A temporal approach to requirements specification of real-time systems
Yogesh Naik
Lecture Notes in Computer Science, 1991, Volume 571, Formal Techniques in Real-Time and Fault-Tolerant Systems, Pages 341-361
Book Chapter
A normal form for first-order temporal formulae
Michael Fisher
Lecture Notes in Computer Science, 1992, Volume 607, Automated Deduction—CADE-11, Pages 370-384
Book Chapter
The declarative past and imperative future
Executable temporal logic for interactive systems
Dov Gabbay
Lecture Notes in Computer Science, 1989, Volume 398, Temporal Logic in Specification, Pages 409-448
Book Chapter
Towards a semantics for concurrent
Michael Fisher
Lecture Notes in Computer Science, 1995, Volume 897, Executable Modal and Temporal Logics, Pages 86-102
Book Chapter
MetateM: The Story so Far
Michael Fisher
Lecture Notes in Computer Science, 2006, Volume 3862, Programming Multi-Agent Systems, Pages 3-22
Book Chapter
Executing Logical Agent Specifications
Michael fisher and Anthony Hepple
2009, Multi-Agent Programming:, Part 1, Pages 1-27
Book Chapter
System specification and refinement in temporal logic
Amir Pnueli
Lecture Notes in Computer Science, 1992, Volume 652, Foundations of Software Technology and Theoretical Computer Science, Pages 1-38
Book Chapter
Programming Groups of Rational Agents
Michael Fisher, Chiara Ghidini and Benjamin Hirsch
Lecture Notes in Computer Science, 2005, Volume 3259, Computational Logic in Multi-Agent Systems, Pages 31-38
Book Chapter
Execution of defeasible temporal clauses for building preferred models
Anthony Hunter
Lecture Notes in Computer Science, 1991, Volume 535, Fundamentals of Artificial Intelligence Research, Pages 84-98