MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named Michael Kifer – sorted by Relevance.

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

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

53 documents found, showing 1 through 10. Next 10 →

ATOM

On the Decidability and Axiomatization of Query Finiteness in Deductive Databases
by Michael Kifer — 1998
…On the Decidability and Axiomatization of Query Finiteness in Deductive Databases Michael Kifer…
Add To MetaCart

Transaction Logic for the Busy Workflow Professional
by Michael Kifer — 1996
…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
by Michael Kifer — 1995 — Proceedings of the International Conference on Deductive and Object-Oriented Databases
…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
by Anthony Bonner, Michael Kifer — 1998 — In [16
…Results on Reasoning about Updates in Transaction Logic Anthony J. Bonner 1 and Michael Kifer 2…
Cited by 7 (2 self) – Add To MetaCart

FLORA-2: User's Manual
by Guizhen Yang, Michael Kifer — 2001
…FLORA-2 : User's Manual Guizhen Yang Michael Kifer Department of Computer Science State University…
Cited by 4 (1 self) – Add To MetaCart

Sorted HiLog: Sorts in Higher-Order Logic Data Languages
by Weidong Chen, Michael Kifer — 1994 — In Int’l Conference on Database Theory, number 893 in Lecture Notes in Computer Science
… and Engineering Southern Methodist University Dallas, Texas 75275-0122, U.S.A. wchen@(email omitted); Michael Kifer…
Cited by 1 (0 self) – Add To MetaCart

Applications of Transaction Logic to Knowledge Representation
by Anthony Bonner, Michael Kifer — 1994 — In Proceedings of the International Conference on Temporal Logic (ICTL
… 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
by Anthony Bonner, Michael Kifer — 1993 — Proceedings of the Workshop on Formal Methods in Databases and Software Engineering, Workshops in Computing
…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
by Guizhen Yang, Michael Kifer — 2000 — In International Conference on Computational Logic, volume 1861 of LNCS
… 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
by Guizhen Yang, Michael Kifer — Journal on Data Semantics VII
…Inheritance in Rule-Based Frame Systems: Semantics and Inference Guizhen Yang 1 and Michael Kifer…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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