Logic programs with classical negation
Logic programming
An action language based on causal explanation: preliminary report
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Disjunctive logic programs with inheritance
Proceedings of the 1999 international conference on Logic programming
IEEE Transactions on Knowledge and Data Engineering
Generalizing Updates: From Models to Programs
LPKR '97 Selected papers from the Third International Workshop on Logic Programming and Knowledge Representation
LPSS '92 Proceedings of the Second International Logic Programming Summer School on Logic Programming in Action
Revision Specifications by Means of Programs
JELIA '94 Proceedings of the European Workshop on Logics in Artificial Intelligence
Update by Means of Inference Rules
LPNMR '95 Proceedings of the Third International Conference on Logic Programming and Nonmonotonic Reasoning
Update-Programs Can Update Programs
NMELP '96 Selected papers from the Non-Monotonic Extensions of Logic Programming
Default Negated Conclusions: Why Not?
ELP '96 Proceedings of the 5th International Workshop on Extensions of Logic Programming
Formal Characterization of Active Databases
LID '96 Proceedings of the International Workshop on Logic in Databases
Logic programming and knowledge representation-the A-prolog perspective
Artificial Intelligence
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Multi-dimensional Dynamic Knowledge Representation
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
An abductive framework for computing knowledge base updates
Theory and Practice of Logic Programming
Logic-based specification languages for intelligent software agents
Theory and Practice of Logic Programming
PPDP '04 Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming
Event choice datalog: a logic programming language for reasoning in multiple dimensions
PPDP '04 Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming
Reasoning about evolving nonmonotonic knowledge bases
ACM Transactions on Computational Logic (TOCL)
Computational methods for database repair by signed formulae*
Annals of Mathematics and Artificial Intelligence
ACM Transactions on Computational Logic (TOCL)
Dynamic evolutions based on ontologies
Knowledge-Based Systems
A knowledge-based approach for selecting information sources
Theory and Practice of Logic Programming
EVOLP: Tranformation-Based Semantics
Computational Logic in Multi-Agent Systems
Evolving Logic Programming Based Agents with Temporal Operators
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 02
Coherent integration of databases by abductive logic programming
Journal of Artificial Intelligence Research
A Logic Programming System for Evolving Programs with Temporal Operators
EPIA '09 Proceedings of the 14th Portuguese Conference on Artificial Intelligence: Progress in Artificial Intelligence
Adding evolving abilities to a multi-agent system
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
Evolving logic programs with temporal operators
Logic programming, knowledge representation, and nonmonotonic reasoning
An event-condition-action logic programming language
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Operational semantics for DyLPs
EPIA'05 Proceedings of the 12th Portuguese conference on Progress in Artificial Intelligence
From logic programs updates to action description updates
CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Hi-index | 0.00 |
Most of the work conducted so far in the field of logic programming has focused on representing static knowledge, i.e., knowledge that does not evolve with time. To overcome this limitation, in a recent paper, the authors introduced dynamic logic programming. There, they studied and defined the declarative and operational semantics of sequences of logic programs (or dynamic logic programs). Each program in the sequence contains knowledge about some given state, where different states may, for example, represent different time periods or different sets of priorities. But how, in concrete situations, is a sequence of logic programs built? For instance, in the domain of actions, what are the appropriate sequences of programs that represent the performed actions and their effects? Whereas dynamic logic programming provides a way for, given the sequence, determining what should follow, it does not provide a good practical language for the specification of the sequence of updates which may be conditional on the intervening states. Here we define the language LUPS"Language for dynamic updates"designed for specifying changes to logic programs. Given an initial knowledge base (as a logic program) LUPS provides a way for sequentially updating it. The declarative meaning of a sequence of sets of update actions in LUPS is defined by the semantics of the dynamic logic program generated by those actions. Additionally, we provide a translation of the sequence of update statements sets into a single logic program written in a meta-language, in such a way that the stable models of the resulting program correspond to the previously defined declarative semantics. Finally, we exhibit the usage of LUPS in several application domains.