ijcai 1995 论文列表Executable Modal and Temporal Logics, IJCAI '93, Workshop, Chambéry, France, August 28, 1993, Proceedings. |
Investigations into the Applications of Deontic Logic.
Solving Air-Traffic Problems with "Possible Worlds".
Towards First-Order Concurrent METATEM.
Constraint Deduction in an Interval-based Temporal Logic.
Towards a Semantics for Concurrent METATEM.
Efficiently Executable Temporal Logic Programs.
Temporal Logic and Annotated Constraint Logic Programming.
A Combination of Clausal and Non Clausal Temporal Logic Programs.
Temporal Logic Programming with Metric and Past Operators.
An Introduction to Executable Modal and Temporal Logics.