Preferred answer sets for extended logic programs
Artificial Intelligence
Preference logic grammars: fixed point semantics and application to data standardization
Artificial Intelligence
A Compilation of Brewka and Eiter's Approach to Prioritization
JELIA '00 Proceedings of the European Workshop on Logics in Artificial Intelligence
JELIA '00 Proceedings of the European Workshop on Logics in Artificial Intelligence
Well-founded semantics for extended logic programs with dynamic preferences
Journal of Artificial Intelligence Research
User Preference Information in Query Answering
FQAS '02 Proceedings of the 5th International Conference on Flexible Query Answering Systems
A Logical Framework for Modelling eMAS
PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
Integrating Answer Set Modules into Agent Programs
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
A preference-based framework for updating logic programs
LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
Preferring and updating in logic-based agents
INAP'01 Proceedings of the Applications of prolog 14th international conference on Web knowledge management and decision support
Revising knowledge in multi-agent systems using revision programming with preferences
CLIMA IV'04 Proceedings of the 4th international conference on Computational Logic in Multi-Agent Systems
Weighted multi dimensional logic programs
CLIMA IV'04 Proceedings of the 4th international conference on Computational Logic in Multi-Agent Systems
Answer set modules for logical agents
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
Hi-index | 0.00 |
We show how to compile programs formalizing update plus preference reasoning into standard generalized logic programs and show the correctness of the transformation.