http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
IJCAI '93 Workshop, Chambery, France, August 28, 1993 : proceedings
International Joint Conference on Artificial Intelligence, (1993 : Chambéry, France)
An Introduction to Executable Modal and Temporal Logics / Michael Fisher and Richard Owens -- Temporal Logic Programming with Metric and Past Operators / Christoph Brzoska -- A Combination of Clausal and Non Clausal -- Temporal Logic Programs / Shinji Kono -- Temporal Logic and Annotated Constraint Logic Programming / Thom Fruhwirth -- Efficiently Executable Temporal Logic Programs / Stephan Merz -- Towards a Semantics for Concurrent METATEM / Michael Fisher -- Constraint Deduction in an Interval-based Temporal Logic / Jana Koehler and Ralf Treinen -- Towards First-Order Concurrent METATEM / Mark Reynolds -- Solving Air-Traffic Problems with "Possible Worlds" / Marcos Cavalcanti -- Investigations into the Application of Deontic Logic / Nienke den Haan.
Updated papers presented at the Workshop on Executable Modal and Temporal Logics.
Lecture notes in artificial intelligence