Searching for "Object-Oriented First-Order Logic." – sorted by Relevance.
-
Object-Oriented First-Order Logic
- 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
- 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
- , and no explicit contexts. An object-oriented first-order logic (00FOL) theory is divided into subtheories
- Add To MetaCart

