On semantic update operators for answer-set programs

DOI10.3233/978-1-60750-606-5-957MaRDI QIDQ2999230zbMATH OpenOpenAlexFDO

Authors Martin Slota, João Leite

Publication date 11 May 2011

Full work available at URL https://dblp.uni-trier.de/db/conf/ecai/ecai2010.html#SlotaL10

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Knowledge representation (68T30) Logic in artificial intelligence (68T27)

Recommendations

• The rise and fall of semantic rule updates based on SE-models
• AGM-Style Belief Revision of Logic Programs under Answer Set Semantics
• A model-theoretic approach to belief change in answer set programming
• Belief Base Change Operations for Answer Set Programming
• Publication:4536313

Cited in

(22)

• A Preference-Based Framework for Updating Logic Programs
• A Unifying Perspective on Knowledge Updates
• A semantic characterization for ASP base revision
• Default Negation as Explicit Negation plus Update
• Playing with rules
• A program-level approach to revising logic programs under the answer set semantics
• Belief Base Change Operations for Answer Set Programming
• A semantic characterization ASP base revision
• Foundations of Information and Knowledge Systems
• A model-theoretic approach to belief change in answer set programming
• Reasoning about action and change
• A brief history of updates of answer-set programs
• Characterization of logic program revision as an extension of propositional revision
• Updates in answer set programming: An approach based on basic structural properties
• Update programs versus revision programs
• On updates of hybrid knowledge bases composed of ontologies and rules
• Revision, defeasible conditionals and non-monotonic inference for abstract dialectical frameworks
• The rise and fall of semantic rule updates based on SE-models
• Inconsistency-tolerant reasoning over linear probabilistic knowledge bases
• Stable reasoning
• Strong inconsistency
• Extending belief bases change to logic programs with ASP

This page was built for publication: On semantic update operators for answer-set programs

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