A Non Rei ed Temporal Logic

@inproceedings{Bacchus2007ANR,
  title={A Non Rei ed Temporal Logic},
  author={Fahiem Bacchus and Josh Tenenberg and Johannes Koomen},
  year={2007}
}
A temporal logic is presented for reasoning about propositions whose truth values might change as a function of time The temporal propositions consist of formulae in a sorted rst order logic with each atomic predicate taking some set of temporal arguments as well as a set of non temporal arguments The temporal arguments serve to specify the predicate s dependence on time By partitioning the terms of the language into two sorts temporal and non temporal time is given a special syntactic and… CONTINUE READING

From This Paper

Topics from this paper.

Citations

Publications citing this paper.
Showing 1-2 of 2 extracted citations

Journal of the IGPL

Dov GabbayDept
2007
View 7 Excerpts
Highly Influenced

Chapter 17 – Time in Automated Legal Reasoning

Handbook of Temporal Reasoning in Artificial Intelligence • 2005
View 2 Excerpts

References

Publications referenced by this paper.
Showing 1-10 of 25 references

Formal Models of Plan Reasoning (forthcoming)

James Allen, Henry Kautz, Richard Pelavin, Josh Tenenberg
Formal Models of Plan Reasoning (forthcoming) • 1990

Satisfying rst-order constraints about time intervals

B Peter, Ladkin
Proceedings of the 7th AAAI • 1988

Sorted Calculus Based o n R esolution and Paramodulation. R e search Notes in Artiicial Intelligence A propositonal modal logic of time intervals

Christoph Walther, Many
Proceedings of the Symposium on Logic in Computer Science • 1987

The completeness of a natural system for reasoning with time intervals

B Peter, Ladkin
Proceedings of the 10th IJCAI • 1987

Towards an implementation of database management systems with temporal support

1986 IEEE Second International Conference on Data Engineering • 1986

H a yes. A commonsense theory of time

James F Allen, J Patrick
Proceedings of the 9th IJCAI • 1985

Similar Papers

Loading similar papers…