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

DOI10.1017/S1471068406003000zbMath1120.68037WikidataQ61736720 ScholiaQ61736720MaRDI QIDQ5297632

Mauricio Osorio, Víctor Cuevas

Publication date: 12 July 2007

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

zbMATH Keywords

answer set programmingstrong negationAGM postulates\(\mathbf N_{2}\) logicupdate programs

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (3)

Belief Base Change Operations for Answer Set Programming ⋮ The rise and fall of semantic rule updates based onSE-models ⋮ On updates of hybrid knowledge bases composed of ontologies and rules

Cites Work

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

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