A brief history of updates of answer-set programs
From MaRDI portal
Cites work
- A framework for compiling preferences in logic programs
- A model-theoretic approach to belief change in answer set programming
- A new logical characterisation of stable models and answer sets
- A Preference-Based Framework for Updating Logic Programs
- A program-level approach to revising logic programs under the answer set semantics
- A semantic characterization ASP base revision
- A semantic framework for preference handling in answer set programming
- A uniform approach to logic programming semantics
- A Unifying Perspective on Knowledge Updates
- AGM 25 years. Twenty-five years of research in belief change
- AGM-Style Belief Revision of Logic Programs under Answer Set Semantics
- An abductive framework for computing knowledge base updates
- Back and Forth between Rules and SE-Models
- Characterization of logic program revision as an extension of propositional revision
- Computational Logic in Multi-Agent Systems
- Dependency semantics for sequences of extended logic programs
- Die formalen Regeln der intuitionistischen Logik. I, II, III.
- Dynamic updates of non-monotonic knowledge bases
- scientific article; zbMATH DE number 5914356 (Why is no real title available?)
- scientific article; zbMATH DE number 25189 (Why is no real title available?)
- scientific article; zbMATH DE number 25190 (Why is no real title available?)
- scientific article; zbMATH DE number 44621 (Why is no real title available?)
- scientific article; zbMATH DE number 108002 (Why is no real title available?)
- scientific article; zbMATH DE number 140403 (Why is no real title available?)
- scientific article; zbMATH DE number 741348 (Why is no real title available?)
- scientific article; zbMATH DE number 1761413 (Why is no real title available?)
- scientific article; zbMATH DE number 1368932 (Why is no real title available?)
- scientific article; zbMATH DE number 1368933 (Why is no real title available?)
- scientific article; zbMATH DE number 1878314 (Why is no real title available?)
- scientific article; zbMATH DE number 4187148 (Why is no real title available?)
- scientific article; zbMATH DE number 3099240 (Why is no real title available?)
- Irrelevant Updates and Nonmonotonic Assumptions
- Knowledge Forgetting in Answer Set Programming
- Logic program-based updates
- Logic Programming and Nonmonotonic Reasoning
- Logic programs with stable model semantics as a constraint programming paradigm
- Logics in Artificial Intelligence
- Minimal Logic Programs
- On Instance-level Update and Erasure in Description Logic Ontologies
- On semantic update operators for answer-set programs
- On the logic of theory change: Partial meet contraction and revision functions
- On updates of hybrid knowledge bases composed of ontologies and rules
- Preferred answer sets for extended logic programs
- Progress in Artificial Intelligence
- Propositional belief base update and minimal change
- Propositional theories are strongly equivalent to logic programs
- Reconsidering AGM-style belief revision in the context of logic programs
- Reversing the Levi identity
- Revision programming
- Splitting and updating hybrid knowledge bases
- Strongly equivalent logic programs
- Syntax-Preserving Belief Change Operators for Logic Programs
- The DLV system for knowledge representation and reasoning
- The refinement extension principle for semantics of dynamic logic programming
- The rise and fall of semantic rule updates based on SE-models
- Twelve Definitions of a Stable Model
- Two results for prioritized logic programming
- Update by means of inference rules
- Update by means of inference rules
- Update-programms can update programs
- Updates in answer set programming: An approach based on basic structural properties
This page was built for publication: A brief history of updates of answer-set programs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7027221)
