13. IJCAI 1993: Chambéry, France - Executable Modal and Temporal Logics

Michael Fisher, Richard Owens (Eds.): Executable Modal and Temporal Logics, IJCAI '93, Workshop, Chambéry, France, August 28, 1993, Proceedings. Lecture Notes in Computer Science 897 Springer 1995, ISBN 3-540-58976-7 BibTeX

@proceedings{DBLP:conf/ijcai/1993em,
  editor    = {Michael Fisher and
               Richard Owens},
  title     = {Executable Modal and Temporal Logics, IJCAI '93, Workshop, Chamb{\'e}ry,
               France, August 28, 1993, Proceedings},
  booktitle = {Executable Modal and Temporal Logics},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {897},
  year      = {1995},
  isbn      = {3-540-58976-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Michael Fisher, Richard Owens: An Introduction to Executable Modal and Temporal Logics. 1-20 BibTeX
Christoph Brzoska: Temporal Logic Programming with Metric and Past Operators. 21-39 BibTeX
Shinji Kono: A Combination of Clausal and Non Clausal Temporal Logic Programs. 40-57 BibTeX
Thom W. Frühwirth: Temporal Logic and Annotated Constraint Logic Programming. 58-68 BibTeX
Stephan Merz: Efficiently Executable Temporal Logic Programs. 69-85 BibTeX
Michael Fisher: Towards a Semantics for Concurrent METATEM. 86-102 BibTeX
Jana Koehler, Ralf Treinen: Constraint Deduction in an Interval-based Temporal Logic. 103-117 BibTeX
Mark Reynolds: Towards First-Order Concurrent METATEM. 118-143 BibTeX
Marcos Cavalcanti: Solving Air-Traffic Problems with "Possible Worlds". 144-156 BibTeX
Nienke den Haan: Investigations into the Applications of Deontic Logic. 157-178 BibTeX