MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Object-Oriented First-Order Logic." – sorted by Relevance.

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

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

3 documents found, showing 1 through 3.

ATOM

Object-Oriented First-Order Logic
by Eyal Amir — 2001 — In Linkoping University Electronic Articles in Computer and Information Science, ISSN 1401–9841
…Object-Oriented First-Order Logic Eyal Amir Department of Computer Science, Gates Building, 2A…
Cited by 10 (3 self) – Add To MetaCart

Object-Oriented Reasoning about Action and Change
by Joakim Gustafsson — Proceedings of the Seventh Scandinavian Conference on Artificial Intelligence, 2001
… concurrently. An interesting approach to combining logic and object-orientation is Amir's object-oriented first-order…
Cited by 1 (0 self) – Add To MetaCart

De)Composition of Situation Calculus Theories
by Eyal Amir Department, Eyal Amir — 2000 — In Proc. National Conference on Artificial Intelligence (AAAI ’00
…, and no explicit contexts. An object-oriented first-order logic (00FOL) theory is divided into subtheories…
Add To MetaCart

Showing 1 through 3.

ATOM

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