Towards a general theory of action and time
Artificial Intelligence
The British Nationality Act as a logic program
Communications of the ACM
A logic-based calculus of events
New Generation Computing
Temporal logics and their applications
Temporal logics and their applications
Modal and temporal logic programming
Temporal logics and their applications
Journal of Symbolic Computation
A critical examination of Allen's theory of action and time
Artificial Intelligence
The CLP( R ) language and system
ACM Transactions on Programming Languages and Systems (TOPLAS)
A metalogic programming approach to multi-agent knowledge and belief
Artificial intelligence and mathematical theory of computation
Theory of generalized annotated logic programming and its applications
Journal of Logic Programming
Temporal databases: theory, design, and implementation
Temporal databases: theory, design, and implementation
A temporal extension of PROLOG
Journal of Logic Programming
ACM Transactions on Database Systems (TODS)
Towards a theory of spatial database queries (extended abstract)
PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Database models for infinite and indefinite temporal information
Information Systems
Computing annotated logic programs
Proceedings of the eleventh international conference on Logic programming
Selected papers of the 9th annual ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
The generalized ChronoBase temporal data model
Meta-logics and logic programming
Temporal annotated constraint logic programming
Journal of Symbolic Computation - Special issue: executable temporal logics
The DEDALE system for complex spatial queries
SIGMOD '98 Proceedings of the 1998 ACM SIGMOD international conference on Management of data
Temporal deductive databases and infinite objects
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Semantics for temporal annotated constraint logic programming
Labelled deduction
Maintaining knowledge about temporal intervals
Communications of the ACM
Executable Model and Temporal Logics: Proceedings of the IJCAI '93 Workshop, Chambery, France, August 28, 1993
An Overview of Temporal and Modal Logic Programming
ICTL '94 Proceedings of the First International Conference on Temporal Logic
Temporal Query Languages: A Survey
ICTL '94 Proceedings of the First International Conference on Temporal Logic
A logical framework for temporal deductive databases
VLDB '88 Proceedings of the 14th International Conference on Very Large Data Bases
Temporal Logic & Historical Databases
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
Temporal Logic Programming with Metric and Past Operators
IJCAI '93 Proceedings of the Workshop on Executable Modal and Temporal Logics
MuTACLP: A Language for Declarative GIS Analysis
CL '00 Proceedings of the First International Conference on Computational Logic
Temporal Annotated Constraint Logic Programming with Multiple Theories
DEXA '99 Proceedings of the 10th International Workshop on Database & Expert Systems Applications
Temporal Reasoning in Geographical Information Systems
DEXA '00 Proceedings of the 11th International Workshop on Database and Expert Systems Applications
MuTACLP: A language for temporal reasoning with multiple theories
MuTACLP: A language for temporal reasoning with multiple theories
Enhancing GISs for spatio-temporal reasoning
Proceedings of the 10th ACM international symposium on Advances in geographic information systems
Integrating Temporal Annotations in a Modular Logic Language
Applications of Declarative Programming and Knowledge Management
Programming spatio-temporal data streaming applications with high-level specifications
Proceedings of the Third ACM SIGSPATIAL International Workshop on Querying and Mining Uncertain Spatio-Temporal Data
Linear time-dependent constraints programming with MSVL
Journal of Combinatorial Optimization
Hi-index | 0.00 |
In this paper we introduce MuTACLP, a knowledge representation language which provides facilities for modeling and handling temporal information, together with some basic operators for combining different temporal knowledge bases. The proposed approach stems from two separate lines of research: the general studies on meta-level operators on logic programs introduced by Brogi et al. [7,9] and Temporal Annotated Constraint Logic Programming (TACLP) defined by Fr眉hwirth [15]. In MuTACLP atoms are annotated with temporal information which are managed via a constraint theory, as in TACLP. Mechanisms for structuring programs and combining separate knowledge bases are provided through meta-level operators. The language is given two different and equivalent semantics, a top-down semantics which exploits meta-logic, and a bottom-up semantics based on an immediate consequence operator.