MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "A Non-Reified Temporal Logic." – sorted by Relevance.

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

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

4 documents found, showing 1 through 4.

ATOM

A Non-Reified Temporal Logic
by Fahiem Bacchus, Josh Tenenberg, Johannes A. Koomen — 1989
…A Non-Reified Temporal Logic Fahiem Bacchus Computer Science University of Waterloo Waterloo…
Cited by 36 (1 self) – Add To MetaCart

The Token Reification Approach to Temporal Reasoning
by Lluis Vila, Han Reichgelt — 1993 — Artificial Intelligence
… this to argue in favour of a non-reified temporal logic, which is very much in the spirit of Haugh's method…
Cited by 13 (6 self) – Add To MetaCart

Strategies
by unknown authors
…; Tenenberg, Josh; and Koomen, Jo- hannes A.; 1989. A non-reified temporal logic. In First Conference…
Add To MetaCart

666 BIBLIOGRAPHY
by M. Abadi, Z. Manna, Nonclausal Temporal, Deduction Lecture Notes, S. Abiteboul, S. Grumbach, A Logic-based, Language Complex
…. [Bacchus et al., 1991] F. Bacchus, J. Tenenberg, and J. Koomen. A Non-Reified Temporal Logic. Artificial…
Add To MetaCart

Showing 1 through 4.

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB