A semantics of multiple inheritance.
Proc. of the international symposium on Semantics of data types
Login: A logic programming language with built-in inheritance
Journal of Logic Programming
Detection and optimization of functional computations in Prolog
Proceedings on Third international conference on logic programming
A calculus for complex objects
PODS '86 Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems
Inheritance and persistence in database programming languages
SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Sets and negation in a logic data base language (LDL1)
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
Operations and Implementation of Complex Objects
IEEE Transactions on Software Engineering
A logic for object-oriented logic programming
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A new approach to database logic
PODS '84 Proceedings of the 3rd ACM SIGACT-SIGMOD symposium on Principles of database systems
Mathemtical Model of Composite Objects and Its Application for Organizing Engineering Databases
IEEE Transactions on Software Engineering
Extended Algebra and Calculus for ~1NF Relational Databases
Extended Algebra and Calculus for ~1NF Relational Databases
F-logic: a higher-order language for reasoning about objects, inheritance, and scheme
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
A logic for object-oriented logic programming
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
On the equivalence of database restructurings involving object identifiers (extended abstract)
PODS '91 Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
LLO: an object-oriented deductive language with methods and method inheritance
SIGMOD '91 Proceedings of the 1991 ACM SIGMOD international conference on Management of data
DOODLE: a visual language for object-oriented databases
SIGMOD '92 Proceedings of the 1992 ACM SIGMOD international conference on Management of data
An annotated bibliography on object-orientation and deduction
ACM SIGMOD Record
OOPSLA '92 conference proceedings on Object-oriented programming systems, languages, and applications
Logical foundations of object-oriented and frame-based languages
Journal of the ACM (JACM)
An Overview of the Rule-Based Object Language
Journal of Intelligent Information Systems
Deductive database languages: problems and solutions
ACM Computing Surveys (CSUR)
A logical foundation for deductive object-oriented databases
ACM Transactions on Database Systems (TODS)
Computational aspects of the FLBC framework
Decision Support Systems - Special issue: Formal modeling and electronic commerce
A pattern-based object calculus
The VLDB Journal — The International Journal on Very Large Data Bases
COMPLEX: An Object-Oriented Logic Programming System
IEEE Transactions on Knowledge and Data Engineering
A Logic Programming Framework for Modeling Temporal Objects
IEEE Transactions on Knowledge and Data Engineering
A Deductive Environment for Dealing with Objects and Nonmonotonic Reasoning
IEEE Transactions on Knowledge and Data Engineering
Deductive Entity Relationship Modeling
IEEE Transactions on Knowledge and Data Engineering
ILOG: Declarative Creation and Manipulation of Object Identifiers
VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
Updates in a Rule-Based Language for Objects
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
Modeling and querying fuzzy spatiotemporal databases
Information Sciences: an International Journal
Situating Cognitive Agents in GOLEM
Engineering Environment-Mediated Multi-Agent Systems
Distributed agent environments in the Ambient Event Calculus
Proceedings of the Third ACM International Conference on Distributed Event-Based Systems
Fast track article: Game-based e-retailing in GOLEM agent environments
Pervasive and Mobile Computing
Playing with agent coordination patterns in MAGE
COIN'09 Proceedings of the 5th international conference on Coordination, organizations, institutions, and norms in agent systems
Towards distributed agent environments for pervasive healthcare
MATES'10 Proceedings of the 8th German conference on Multiagent system technologies
Initial steps towards run-time support for norm-governed systems
COIN@AAMAS'10 Proceedings of the 6th international conference on Coordination, organizations, institutions, and norms in agent systems
Monitoring Gestational Diabetes Mellitus with Cognitive Agents and Agent Environments
WI-IAT '11 Proceedings of the 2011 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - Volume 02
A logical approach for modeling spatio-temporal objects and events
ER'05 Proceedings of the 24th international conference on Perspectives in Conceptual Modeling
A self-healing distributed pervasive health system
International Journal of Web Engineering and Technology
| Hi-index | 0.00 |
Our objective is to have a logical framework for natural representation and manipulation of complex objects. We start with an analysis of semantic modeling of complex objects, and attempt to understand what are the fundamental aspects which need to be captured. A logic, called C-logic, is then presented which provides direct support for what we believe to be basic features of complex objects, including object identity, multi-valued labels and a dynamic notion of types. C-logic has a simple first-order semantics, but it also allows natural specification of complex objects and gives us a framework for exploring efficient logic deduction over complex objects.