8 citations found. Retrieving documents...
M. H. Ibrahim, F. A. Cummins, KSL/Logic: Integration of Logic with Objects, Proc. 1990 Int. Conf. on Comp. Lang., New Orleans, March 1990, Los Alamitos, CA: IEEE Comp. Soc. Press, pages 228--35, 1990.

 Home/Search   Document Not in Database   Context   Related Articles   Check  

This paper is cited by the following papers:

A Deductive Object-Oriented Approach to Information System.. - Matskin, Haav (1995)   (Correct)
Knowledge Based Software Techniques - Penjam, Tõugu, Kalja, Matskin..   (Correct)
I+: A Multiparadigm Language for Object-Oriented Declarative.. - Ng, Luk (1995)   (2 citations)  (Correct)
Reasoning and Synthesis in an Object-Oriented System - Komorowski, Matskin   (Correct)
Object-Oriented and Logic-Based Knowledge Representation - Alexiev (1993)   (Correct)
Reasoning and Synthesis in an Object-Oriented System - Komorowski, Matskin   (Correct)
Combining Object-Oriented and Logic Paradigms: A Modal Logic.. - Uustalu (1992)   (6 citations)  (Correct)
An Object-Oriented Environment Based On Multi-Layer.. - Matskin, Haav (1993)   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC