On the Declarative and Procedural Semantics of Deductive Object-Oriented Systems (1995)

Cached

Download Links

by Gillian Dobbie , Rodney Topor , Michael Kifer
Venue:Journal of Intelligent Information Systems
Citations:35 - 1 self

Active Bibliography

763 Logical foundations of object-oriented and frame-based languages – Michael Kifer, Georg Lausen, James Wu - 1995
37 ROL: A Deductive Object Base Language – Mengchi Liu - 1996
18 Deductive Database Languages: Problems and Solutions – Mengchi Liu - 1999
1 Representing inheritance and overriding in Datalog – Gillian Dobbie, Rodney Topor - 1993
1 The ROL Deductive Object Base Language (Extended Abstract) – Mengchi Liu - 1996
12 Approaches to Deductive Object-Oriented Databases – Alvaro A.A. Fernandes, Norman W. Paton, M. Howard Williams, Andrew Bowles - 1992
7 Incorporating Methods and Encapsulation into Deductive Object-Oriented Database Languages – Mengchi Liu - 1998
2 OLOG: A Deductive Object Database Language (Extended Abstract) – Mengchi Liu - 1999
2 Implementation of the ROL System – Mengchi Liu - 1996
9 A model for inheritance and overriding in deductive object-oriented systems (Extended Abstract) – Gillian Dobbie, Rodney Topor - 1993
24 Design and Implementation of ROCK & ROLL: A Deductive Object-Oriented Database System – Maria L. Barja, Alvaro A.A. Fernandes, Norman W. Paton, M. Howard Williams, Andrew Dinn, Alia I. Aedelmoty - 1995
11 An Overview of Rule-based Object Language – Mengchi Liu - 1998
9 A Logic Programming Framework for Modelling Temporal Objects – F. Nihan Kesim, Marek Sergot - 1995
7 Deductive Object-Oriented Database Systems: A Survey – Pedro R. Falcone Sampaio, Norman W. Paton - 1997
An Overview of the ROL Language – Mengchi Liu - 1996
2 IsaLogĀ¬: a deductive language with negation for complex-objects databases with hierarchies – Paolo Atzeni, Luca Cabibbo, Giansalvatore Mecca - 1993
1 Overview of Datalog Extensions with Tuples and Sets – Mengchi Liu - 1998
213 HiLog: A foundation for higher-order logic programming – Weidong Chen, Michael Kifer, David S. Warren - 1993
4 Sorted HiLog: Sorts in Higher-Order Logic Data Languages – Weidong Chen, Michael Kifer - 1994