Logical objects with constraints
ACM SIGPLAN Notices
Logical foundations of object-oriented and frame-based languages
Journal of the ACM (JACM)
Inheritance as sublation and its semantics
ACM SIGSOFT Software Engineering Notes
Optimizing modular logic languages
ACM Computing Surveys (CSUR) - Special issue: electronic supplement to the September 1998 issue
Abstract data type support in Prolog and its relation to parallelism
SAC '94 Proceedings of the 1994 ACM symposium on Applied computing
Agents as Multi-threaded Logical Objects
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
From CASE to CARE (Computer-Aided Requirements Engineering)
ER '99 Proceedings of the 18th International Conference on Conceptual Modeling
On the implementation of Fril++ for object-oriented logic programming with uncertainty and fuzziness
Technologies for constructing intelligent systems
IFOOD: An Intelligent Fuzzy Object-Oriented Database Architecture
IEEE Transactions on Knowledge and Data Engineering
A specification logic for concurrent object-oriented programming
Mathematical Structures in Computer Science
Go!—A Multi-Paradigm Programming Language for Implementing Multi-Threaded Agents
Annals of Mathematics and Artificial Intelligence
Ontology oriented programming in go!
Applied Intelligence
Deriving and Retrieving Contextual Categorical Information through Instance Inheritance
Fundamenta Informaticae
Programming patterns for logtalk parametric objects
INAP'09 Proceedings of the 18th international conference on Applications of declarative programming and knowledge management
Logic Java: combining object-oriented and logic programming
WFLP'11 Proceedings of the 20th international conference on Functional and constraint logic programming
Compositional semantics for the procedural interpretation of logic
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Computational logic in an object-oriented world
Reasoning, Action and Interaction in AI Theories and Systems
A multi-level logic programming model of a query optimizer
ADBIS'97 Proceedings of the First East-European conference on Advances in Databases and Information systems
Formal development of correct classes in computational logic
1FACS'96 Proceedings of the 1st BCS-FACS conference on Northern Formal Methods
Deriving and Retrieving Contextual Categorical Information through Instance Inheritance
Fundamenta Informaticae
On the Semantics of a Semantic Network
Fundamenta Informaticae
| Hi-index | 0.00 |