A language for contextual logic programming
Logic programming languages
A temporal extension of PROLOG
Journal of Logic Programming
Many-sorted logic and its applications
Many-sorted logic and its applications
Maintaining knowledge about temporal intervals
Communications of the ACM
The TSQL2 Temporal Query Language
The TSQL2 Temporal Query Language
Querying TSQL2 Databases with Temporal Logic
EDBT '96 Proceedings of the 5th International Conference on Extending Database Technology: Advances in Database Technology
Temporal Data and the Relational Model
Temporal Data and the Relational Model
Architectures for a temporal workflow management system
Proceedings of the 2004 ACM symposium on Applied computing
Task Scheduling for a TemporalWorkflow Management System
TIME '06 Proceedings of the Thirteenth International Symposium on Temporal Representation and Reasoning
A temporal programming language for heterogeneous information systems
ICLP'05 Proceedings of the 21st international conference on Logic Programming
Checking workflow schemas with time constraints using timed automata
OTM'05 Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems
Integrating Temporal Annotations in a Modular Logic Language
Applications of Declarative Programming and Knowledge Management
ISTO: a language for temporal organizational information systems
INAP'09 Proceedings of the 18th international conference on Applications of declarative programming and knowledge management
Work out the semantic web search: the cooperative way
Advances in Artificial Intelligence
Hi-index | 0.00 |
The importance of temporal representation and reasoning is well known not only in the database community but also in the artificial intelligence one. Contextual Logic Programming [Antonio Porto and Luis Monteiro. Contextual logic programming. In Giorgio Levi and Maurizio Martelli, editors, Proceedings 6th Intl. Conference on Logic Programming, Lisbon, Portugal, 19-23 June 1989, pages 284-299. The MIT Press, Cambridge, MA, 1989] (CxLP) is a simple and powerful language that extends logic programming with mechanisms for modularity. Recent work not only presented a revised specification of CxLP together with a new implementation for it but also explained how this language could be seen as a shift into the Object-Oriented Programming paradigm [Salvador Abreu and Daniel Diaz. Objective: In minimum context. In Catuscia Palamidessi, editor, ICLP, volume 2916 of Lecture Notes in Computer Science, pages 128-147. Springer, 2003]. In this paper we propose a temporal extension of such language called Temporal Contextual Logic Programming. Such extension follows a reified approach to the temporal qualification, that besides the acknowledge increased expressiveness of reification allows us to capture the notion of time of the context. Together with the syntax of this language we also present its operational semantics and an application to the management of workflows.