Searching for authors named "Michael Kifer" – sorted by Relevance.
52 documents found, showing 1 through 10.
Next 10 →
-
On the Decidability and Axiomatization of Query Finiteness in Deductive Databases
- …On the Decidability and Axiomatization of Query Finiteness in Deductive Databases Michael Kifer…
- Add To MetaCart
-
Transaction Logic for the Busy Workflow Professional
- …Transaction Logic for the Busy Workflow Professional Michael Kifer Department of Computer Science…
- Cited by 3 (1 self) – Add To MetaCart
-
Deductive and Object Data Languages: A Quest for Integration
- …Deductive and Object Data Languages: A Quest for Integration ? Michael Kifer Department…
- Cited by 19 (0 self) – Add To MetaCart
-
Results on Reasoning about Updates in Transaction Logic
- …Results on Reasoning about Updates in Transaction Logic Anthony J. Bonner 1 and Michael Kifer 2…
- Cited by 7 (2 self) – Add To MetaCart
-
Applications of Transaction Logic to Knowledge Representation
- … of Toronto Department of Computer Science Toronto, Ontario M5S 1A4, Canada bonner@(email omitted); Michael…
- Cited by 2 (0 self) – Add To MetaCart
-
Transaction Logic: An (Early) Expos'e
- …Transaction Logic: An (Early) Expos'e Anthony J. Bonner y and Michael Kifer z University…
- Cited by 3 (1 self) – Add To MetaCart
-
Flora: Implementing an Efficient DOOD System Using a Tabling Logic Engine
- … and Michael Kifer Department of Computer Science SUNY at Stony Brook Stony Brook, NY 11794, U.S.A. fguizyang…
- Cited by 7 (1 self) – Add To MetaCart
-
Inheritance in Rule-Based Frame Systems: Semantics and Inference
- …Inheritance in Rule-Based Frame Systems: Semantics and Inference Guizhen Yang 1 and Michael Kifer…
- Cited by 1 (0 self) – Add To MetaCart
-
Well-founded optimism: Inheritance in frame-based knowledge bases
- … Well-Founded Optimism: Inheritance in Frame-Based Knowledge Bases? Guizhen Yang Michael Kifer…
- Cited by 15 (9 self) – Add To MetaCart
-
The State of Change: A Survey
- …The State of Change: A Survey Anthony J. Bonner 1 and Michael Kifer 2 1 Department of Computer…
- Cited by 4 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
