default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID13th IJCAI 1993: Chambéry, France - Executable Modal and Temporal Logics
- Michael Fisher, Richard Owens:
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 - Michael Fisher, Richard Owens:
An Introduction to Executable Modal and Temporal Logics. 1-20 - Christoph Brzoska
:
Temporal Logic Programming with Metric and Past Operators. 21-39 - Shinji Kono:
A Combination of Clausal and Non Clausal Temporal Logic Programs. 40-57 - Thom W. Frühwirth:
Temporal Logic and Annotated Constraint Logic Programming. 58-68 - Stephan Merz:
Efficiently Executable Temporal Logic Programs. 69-85 - Michael Fisher:
Towards a Semantics for Concurrent METATEM. 86-102 - Jana Koehler, Ralf Treinen:
Constraint Deduction in an Interval-based Temporal Logic. 103-117 - Mark Reynolds:
Towards First-Order Concurrent METATEM. 118-143 - Marcos Cavalcanti:
Solving Air-Traffic Problems with "Possible Worlds". 144-156 - Nienke den Haan:
Investigations into the Applications of Deontic Logic. 157-178
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-03-11 20:13 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
