Searching for "Mechanizing Temporal Knowledge." – 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.

Building Knowledge Base Management Systems
by John Mylopoulos, Vinay Chaudhri, Dimitris Plexousakis, Adel Shrufi, Thodoros Topaloglou — 1995
… mechanisms required for knowledge-based systems. This paper proposes a generic architecture for a knowledge…
Cited by 13 (1 self) – Add To MetaCart

Compilation and Simplification of Temporal Integrity Constraints
by Dimitris Plexousakis — 1995 — In Proceedings of the 2nd Int. Workshop on Rules in Database Systems
… and offers special representational and inferential mechanisms for temporal knowledge. Telos has a formal…
Cited by 5 (2 self) – Add To MetaCart

Showing 1 through 2.

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