Deductive database languages: problems and solutions
ACM Computing Surveys (CSUR)
The Logical Approach to Temporal Reasoning
Artificial Intelligence Review
Annals of Mathematics and Artificial Intelligence
Temporal representation and reasoning in artificial intelligence: Issues and approaches
Annals of Mathematics and Artificial Intelligence
Updating knowledge bases while maintaining their consistency
The VLDB Journal — The International Journal on Very Large Data Bases
A Logic Programming Framework for Modeling Temporal Objects
IEEE Transactions on Knowledge and Data Engineering
Trigger Inheritance and Overriding in an Active Object Database System
IEEE Transactions on Knowledge and Data Engineering
Dealing with Temporal Schema Anomalies in History Databases
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
A logical framework for temporal deductive databases
VLDB '88 Proceedings of the 14th International Conference on Very Large Data Bases
Some Alternative Formulations of the Event Calculus
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Temporal Indeterminancy in Deductive Databases: An Approach Based on Event Calculus
ARTDB '97 Proceedings of the Second International Workshop on Active, Real-Time, and Temporal Database Systems
Specification and Implementation of Temporal Databases in a Bitemporal Event Calculus
ER '99 Proceedings of the Workshops on Evolution and Change in Data Management, Reverse Engineering in Information Systems, and the World Wide Web and Conceptual Modeling
Data Protection by Logic Programming
CL '00 Proceedings of the First International Conference on Computational Logic
Pairing Transitive Closure and Reduction to Efficiently Reason about Partially Ordered Events
AI*IA '99 Proceedings of the 6th Congress of the Italian Association for Artificial Intelligence on Advances in Artificial Intelligence
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Formalizing Workflows Using the Event Calculus
DEXA '00 Proceedings of the 11th International Conference on Database and Expert Systems Applications
Utilising the Event Calculus for Policy Driven Adaptation on Mobile Systems
POLICY '02 Proceedings of the 3rd International Workshop on Policies for Distributed Systems and Networks (POLICY'02)
The object event calculus and temporal geographic information systems
IEA/AIE'2003 Proceedings of the 16th international conference on Developments in applied artificial intelligence
Temporal reasoning for decision support in medicine
Artificial Intelligence in Medicine
A temporal argumentative system
AI Communications
Temporal abstraction in intelligent clinical data analysis: A survey
Artificial Intelligence in Medicine
The ramification problem in temporal databases: changing beliefs about the past
Data & Knowledge Engineering - Special issue: WIDM 2004
Artificial Intelligence Review
A case study in reasoning about processes
CIMMACS'06 Proceedings of the 5th WSEAS International Conference on Computational Intelligence, Man-Machine Systems and Cybernetics
Real-time event processing for high volume applications using StarRules™
Proceedings of the Third ACM International Conference on Distributed Event-Based Systems
Reasoning about action: an argumentation-theoretic approach
Journal of Artificial Intelligence Research
A tool for addressing the ramification problem in spatial databases: A solution implemented in SQL
Expert Systems with Applications: An International Journal
A calculus effectively performing event formation with visualization
ISHPC'05/ALPS'06 Proceedings of the 6th international symposium on high-performance computing and 1st international conference on Advanced low power systems
A graph-oriented model and query language for events
ER'07 Proceedings of the 2007 conference on Advances in conceptual modeling: foundations and applications
Artificial intelligence today
How to Track Absolutely Everything
Proceedings of the 2010 conference on Ontologies and Semantic Technologies for Intelligence
A tool for ramification reasoning over temporal OWL knowledge bases
International Journal of Knowledge-based and Intelligent Engineering Systems
Nonmonotonic reasoning in FLORA-2
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
The ramification problem in temporal databases: an approach with conflicting constraints
Journal of Intelligent Information 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 ramification problem in temporal databases: a solution implemented in SQL
Applied Intelligence
Working with events and states in PENG light
CNL'10 Proceedings of the Second international conference on Controlled Natural Language
A rule-based calculus and processing of complex events
RuleML'12 Proceedings of the 6th international conference on Rules on the Web: research and applications
Hi-index | 0.00 |