Searching for "Nonclausal Temporal Deduction." – sorted by Relevance.
-
666 BIBLIOGRAPHY
- . Nonclausal Temporal Deduction. Lecture Notes in Computer Science, 193:1–15, 1985. [Abadi and Manna, 1989] M
- Add To MetaCart
-
An Overview of Temporal and Modal Logic Programming
- to broaden applications of logic programming to, say, temporal reasoning, deductive databases, knowledge
- Cited by 49 (5 self) – Add To MetaCart

