A logic-based calculus of events
New Generation Computing
ICLP'93 Proceedings of the tenth international conference on logic programming on Logic programming
Polynomial time query processing in temporal deductive databases
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
LUPS---a language for updating logic programs
Artificial Intelligence
The logic of totally and partially ordered plans: a deductive database approach
Annals of Mathematics and Artificial Intelligence
EPIA '01 Proceedings of the10th Portuguese Conference on Artificial Intelligence on Progress in Artificial Intelligence, Knowledge Extraction, Multi-agent Systems, Logic Programming and Constraint Solving
A framework for declarative update specifications in logic programs
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Logic-based specification languages for intelligent software agents
Theory and Practice of Logic 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
Verifiable agent interaction in abductive logic programming: The SCIFF framework
ACM Transactions on Computational Logic (TOCL)
EVOLP: Tranformation-Based Semantics
Computational Logic in Multi-Agent Systems
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
Integrating Answer Set Modules into Agent Programs
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
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
Intention Recognition via Causal Bayes Networks Plus Plan Generation
EPIA '09 Proceedings of the 14th Portuguese Conference on Artificial Intelligence: Progress in Artificial Intelligence
Integrating Logic Programming and Production Systems in Abductive Logic Programming Agents
RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
Rule-Based Event Processing and Reaction Rules
RuleML '09 Proceedings of the 2009 International Symposium on Rule Interchange and Applications
Evolution prospection in decision making
Intelligent Decision Technologies
A natural language interface for information retrieval on semantic web documents
AWIC'03 Proceedings of the 1st international Atlantic web intelligence conference on Advances in web 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
Approved models for normal logic programs
LPAR'07 Proceedings of the 14th international conference on Logic for programming, artificial intelligence and reasoning
EPIA'07 Proceedings of the aritficial intelligence 13th Portuguese conference on Progress in artificial intelligence
EPIA'07 Proceedings of the aritficial intelligence 13th Portuguese conference on Progress in artificial intelligence
Modelling morality with prospective logic
EPIA'07 Proceedings of the aritficial intelligence 13th Portuguese conference on Progress in artificial intelligence
Evolution and reactivity in the semantic web
Semantic techniques for the web
Modelling decision making with probabilistic causation
Intelligent Decision Technologies
Updating action domain descriptions
Artificial Intelligence
Evolving logic programs with temporal operators
Logic programming, knowledge representation, and nonmonotonic reasoning
Adaptive reasoning for cooperative agents
INAP'09 Proceedings of the 18th international conference on Applications of declarative programming and knowledge management
Elder care via intention recognition and evolution prospection
INAP'09 Proceedings of the 18th international conference on Applications of declarative programming and knowledge management
The SCIFF abductive proof-procedure
AI*IA'05 Proceedings of the 9th conference on Advances in Artificial Intelligence
An event-condition-action logic programming language
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Revised stable models – a semantics for logic programs
EPIA'05 Proceedings of the 12th Portuguese conference on Progress in Artificial Intelligence
On modelling multi-agent systems declaratively
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
Engineering stable multi-agent systems
ESAW'04 Proceedings of the 5th international conference on Engineering Societies in the Agents World
From logic programs updates to action description updates
CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems
A methodology to create legal ontologies in a logic programming information retrieval system
Law and the Semantic Web
DALT'09 Proceedings of the 7th international conference on Declarative Agent Languages and Technologies
Answer set modules for logical agents
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
Complex reactivity with preferences in rule-based agents
RuleML'12 Proceedings of the 6th international conference on Rules on the Web: research and applications
A selective semantics for logic programs with preferences
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
| Hi-index | 0.00 |
Logic programming has often been considered less than adequate for modelling the dynamics of knowledge changing over time. In this paper we describe a simple though quite powerful approach to modelling the updates of knowledge bases expressed by generalized logic programs, by means of a new language, hereby christened EVOLP (after EVOlving Logic Programs). The approach was first sparked by a critical analysis of previous efforts and results in this direction [1,2,7,11], and aims to provide a simpler, and at once more general, formulation of logic program updating, which runs closer to traditional logic programming (LP) doctrine. From the syntactical point of view, evolving programs are just generalized logic programs (i.e. normal LPs plus default negation also in rule heads), extended with (possibly nested) assertions, whether in heads or bodies of rules. From the semantics viewpoint, a model-theoretic characterization is offered of the possible evolutions of such programs. These evolutions arise both from self (or internal) updating, and from external updating too, originating in the environment. This formulation sets evolving programs on a firm basis in which to express, implement, and reason about dynamic knowledge bases, and opens up a number of interesting research topics that we brush on.