Logical foundations of object-oriented and frame-based languages (1995)

by Michael Kifer , Georg Lausen , James Wu
Venue:JOURNAL OF THE ACM
Citations:763 - 59 self

Active Bibliography

18 Deductive Database Languages: Problems and Solutions – Mengchi Liu - 1999
7 Efficient Evaluation of Normal Logic Programs – Terrance Swift - 1994
15 Foundations of rule-based query answering – François Bry, Norbert Eisinger, Thomas Eiter, Tim Furche, Georg Gottlob, Clemens Ley, Benedikt Linse, Reinhard Pichler, Fang Wei - 2007
224 Logic Programming and Knowledge Representation – Chitta Baral, Michael Gelfond - 1994
4 Requirements for an expressive rule language on the semantic web – Michael Kifer - 2005
2.2 Deductive Databases Systems.................. 5 – Senlin Liang, Paul Fodor, Hui Wan, Michael Kifer - 2009
WWW 2009 MADRID! Track: Semantic/Data Web / Session: Semantic Data Management OpenRuleBench: An Analysis of the Performance of Rule Engines – Senlin Liang, Paul Fodor, Hui Wan, Michael Kifer
15 OpenRuleBench: An analysis of the performance of rule engines – Senlin Liang, Paul Fodor, Hui Wan, Michael Kifer - 2009
19 Deductive and Object Data Languages: A Quest for Integration – Michael Kifer - 1995
27 Knowledge Objects – Xindong Wu, Sita Ramakrishnan, Heinz Schmidt - 1995
11 A First-Order Theory of Types and Polymorphism in Logic Programming – Michael Kifer, James Wu - 1990
2 QAL: A Query Algebra of Complex Objects – Iztok Savnik, Zahir Tari, Tomaz Mohoric - 1999
4 Computing The Well-Founded Model Of Deductive Databases – Rajiv Bagai, Rajshekhar Sunderraman - 1996
Chaining with Memory in Xcerpt – Benedikt Linse, Norbert Eisinger, Clemens Ley, Tim Furche, François Bry - 2008
26 Bottom-up Evaluation and Query Optimization of Well-Founded Models – David B. Kemp, Divesh Srivastava, Peter J. Stuckey - 1995
1 How to Write F-Logic Programs in FLORID - A Tutorial for the Database Language F-Logic – Wolfgang May, Pedro José Marrón - 1999
35 Logic programming revisited: logic programs as inductive definitions – Marc Denecker, Maurice Bruynooghe, Victor Marek - 2001
23 The Limits of Fixed-Order Computation – Konstantinos Sagonas, Terrance Swift, David S. Warren - 1996
20 Towards Effective Evaluation of General Logic Programs – Weidong Chen, David S. Warren - 1993