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