Theoretical Computer Science - Special issue: database theory
Preferred answer sets for extended logic programs
Artificial Intelligence
Coordination of Distributed Problem Solvers
Coordination of Distributed Problem Solvers
Agent preference relations: strict, indifferent and incomparable
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 3
Revision Programming, Database Updates and Integrity Constraints
ICDT '95 Proceedings of the 5th International Conference on Database Theory
Reasoning with Prioritized Defaults
LPKR '97 Selected papers from the Third International Workshop on Logic Programming and Knowledge Representation
Conditional, hierarchical, multi-agent preferences
TARK '98 Proceedings of the 7th conference on Theoretical aspects of rationality and knowledge
A Logic for Modeling Decision Making with Dynamic Preferences
JELIA '00 Proceedings of the European Workshop on Logics in Artificial Intelligence
JELIA '00 Proceedings of the European Workshop on Logics in Artificial Intelligence
A Compilation of Updates plus Preferences
JELIA '02 Proceedings of the European Conference 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
Updating Extended Logic Programs through Abduction
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
Revision Programming = Logic Programming + Integrity Constraints
Proceedings of the 12th International Workshop on Computer Science Logic
MINERVA - A Dynamic Logic Programming Agent Architecture
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
A framework for compiling preferences in logic programs
Theory and Practice of Logic Programming
Using methods of declarative logic programming for intelligent information agents
Theory and Practice of Logic Programming
Logical Tools for Modelling Legal Argument: A Study of Defeasible Reasoning in Law
Logical Tools for Modelling Legal Argument: A Study of Defeasible Reasoning in Law
Solving abduction by computing joint explanations
Annals of Mathematics and Artificial Intelligence
FoIKS'06 Proceedings of the 4th international conference on Foundations of Information and Knowledge Systems
| Hi-index | 0.00 |
In this paper we extend the Revision Programming framework—a logic-based framework to express and maintain constraints on knowledge bases—with different forms of preferences. Preferences allow users to introduce a bias in the way agents update their knowledge to meet a given set of constraints. In particular, they provide a way to select one between alternative feasible revisions and they allow for the generation of revisions in presence of conflicting constraints, by relaxing the set of satisfied constraints (soft constraints). A methodology for computing preferred revisions using answer set programming is presented.