Dynamics of knowledge in D<scp>e</scp>LP through Argument Theory Change

DOI10.1017/S1471068411000603zbMath1310.68052arXiv1111.6883OpenAlexW2962873208MaRDI QIDQ5398286

Guillermo R. Simari, Marcelo A. Falappa, Martín O. Moguillansky, Nicolás D. Rotstein, Alejandro Javier García

Publication date: 27 February 2014

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

Full work available at URL: https://arxiv.org/abs/1111.6883

zbMATH Keywords

belief revisionknowledge representationnonmonotonic reasoninglogic programmingargumentation

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Logic programming (68N17)

Related Items

Merging operators on stratified belief bases equipped with argumentative inference ⋮ Revision of defeasible preferences ⋮ An extension-based approach to belief revision in abstract argumentation ⋮ Incremental computation for structured argumentation over dynamic DeLP knowledge bases ⋮ A general semi-structured formalism for computational argumentation: definition, properties, and examples of application ⋮ Introducing a tool for concurrent argumentation

Cites Work

• Unnamed Item
• On principle-based evaluation of extension-based argumentation semantics
• Belief contraction without recovery
• Subjunctives, dispositions and chances
• Reversing the Levi identity
• Belief revision and epistemology
• Local change
• Explanations, belief revision and defeasible reasoning.
• On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
• A textbook of belief dynamics. Theory change and database updating
• Semi-revision
• On the logic of theory change: Partial meet contraction and revision functions
• Kernel contraction

This page was built for publication: Dynamics of knowledge in D<scp>e</scp>LP through Argument Theory Change