Searching for "Temporal Reasoning in Logic Programming A Case for the Situation Calculus." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Temporal Reasoning in Logic Programming: A Case for the Situation Calculus.
by Javier Pinto, Raymond Reiter — 1993 — In Proceedings of 10th International Conference in Logic Programming, Hungary
…Temporal Reasoning in Logic Programming: A Case for the Situation Calculus. Javier Pinto Dept…
Cited by 77 (5 self) – Add To MetaCart

Temporal Reasoning in Logic Programming: A Case for the Situation Calculus.
by Javier Pinto Dept, Javier Pinto, Raymond Reiter — 1993 — In Proceedings of 10th International Conference in Logic Programming, Hungary
…Temporal Reasoning in Logic Programming: A Case for the Situation Calculus. Javier Pinto Dept…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB