The formal specification and implementation of a modest first-order temporal logic

Authors:
Sharad Sachdev;André Trudel
Affiliations:
-;-
Venue:
IEA/AIE '00 Proceedings of the 13th international conference on Industrial and engineering applications of artificial intelligence and expert systems: Intelligent problem solving: methodologies and approaches
Year:
2000

Citing 7
Cited 0

Towards a general theory of action and time

Artificial Intelligence
A logic-based calculus of events

New Generation Computing
A critical examination of Allen's theory of action and time

Artificial Intelligence
Representing and reasoning about a dynamic world

Representing and reasoning about a dynamic world
A non-reified temporal logic

Proceedings of the first international conference on Principles of knowledge representation and reasoning
Integrating graphics and abstract data to visualize temporal constraints

ACM SIGART Bulletin
Logic for Problem Solving

Logic for Problem Solving

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present a formally specified first order temporal logic. We give its syntax, semantics, and describe its implementation using the Eclipse constraint logic programming language. The main feature of the implementation is a graphical user interface. Because color coded symbols and graphs are used, the interface assumes no logical knowledge on the part of the user.