A logic-based calculus of events
New Generation Computing
Login: A logic programming language with built-in inheritance
Journal of Logic Programming
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
An experience with a Prolog-based object-oriented language
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
Type evolution in an object-oriented database
Research directions in object-oriented programming
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
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Support for temporal data by complex objects
Proceedings of the sixteenth international conference on Very large databases
Advances in database programming languages
Communications of the ACM
Database updates in the event calculus
Journal of Logic Programming
Schema evolution in database systems: an annotated bibliography
ACM SIGMOD Record
Temporal databases: theory, design, and implementation
Temporal databases: theory, design, and implementation
An update of the temporal database bibliography
ACM SIGMOD Record
A consensus glossary of temporal database concepts
ACM SIGMOD Record
Temporal object-oriented databases: a critical comparison
Modern database systems
Unifying temporal data models via a conceptual model
Information Systems
The situation calculus and event calculus compared
ILPS '94 Proceedings of the 1994 International Symposium on Logic programming
Object-oriented database systems
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
IEEE Transactions on Knowledge and Data Engineering
COL: A Logic-Based Language for Complex Objects
EDBT '88 Proceedings of the International Conference on Extending Database Technology: Advances in Database Technology
Versions of Schema for Object-Oriented Databases
VLDB '88 Proceedings of the 14th International Conference on Very Large Data Bases
Dynamic Constraints and Object Migration
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
Research Frontiers in Object Technology
Information Systems Frontiers
Formalizing Workflows Using the Event Calculus
DEXA '00 Proceedings of the 11th International Conference on Database and Expert Systems Applications
The object event calculus and temporal geographic information systems
IEA/AIE'2003 Proceedings of the 16th international conference on Developments in applied artificial intelligence
Dynamics of legal provisions and its representation
ICAIL '05 Proceedings of the 10th international conference on Artificial intelligence and law
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
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
Formalizing the specification and execution of workflows using the event calculus
Information Sciences: an International Journal
A logical approach for modeling spatio-temporal objects and events
ER'05 Proceedings of the 24th international conference on Perspectives in Conceptual Modeling
The scientific contribution of marek sergot
Logic Programs, Norms and Action
Semantic technologies for open interaction systems
Artificial Intelligence Review
Hi-index | 0.01 |
We present a general approach for modeling temporal aspects of objects in a logic programming framework. Change is formulated in the context of a database which stores explicitly a record of all changes that have occurred to objects and thus (implicitly) all states of objects in the database. A snapshot of the database at any given time is an object-oriented database, in the sense that it supports an object-based data model. An object is viewed as a collection of simple atomic formulas, with support for an explicit notion of object identity, classes and inheritance. The event calculus is a treatment of time and change in first-order classical logic augmented with negation as failure. The paper develops a variant of the event calculus for representing changes to objects, including change in internal state of objects, creation and deletion of objects, and mutation of objects over time. The concluding sections present two natural and straightforward extensions, to deal with versioning of objects and schema evolution, and a sketch of implementation strategies for practical application to temporal object-oriented databases.