Updates in answer set programming: An approach based on basic structural properties

DOI10.1017/S1471068406003000MaRDI QIDQ5297632zbMATH OpenDBLPWikidataFDO

Authors Mauricio Osorio, Víctor Cuevas

Publication date 12 July 2007

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S1471068406003000

zbMATH Keywords

\(\mathbf N_{2}\) logicAGM postulatesanswer set programmingstrong negationupdate programs

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Foundations of Information and Knowledge Systems
• On semantic update operators for answer-set programs
• A program-level approach to revising logic programs under the answer set semantics
• The rise and fall of semantic rule updates based on SE-models
• On properties of update sequences based on causal rejection

Cites work

• An algebraic approach to non-classical logics
• Computational Logic in Multi-Agent Systems
• Knowledge Representation, Reasoning and Declarative Problem Solving

Cited in

(6)

• Belief Base Change Operations for Answer Set Programming
• The rise and fall of semantic rule updates based on SE-models
• Foundations of Information and Knowledge Systems
• Revising non-monotonic theories with sufficient and necessary conditions: the case of defeasible logic
• A brief history of updates of answer-set programs
• On updates of hybrid knowledge bases composed of ontologies and rules

This page was built for publication: Updates in answer set programming: An approach based on basic structural properties

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5297632)