A program-level approach to revising logic programs under the answer set semantics
From MaRDI portal
Publication:3585168
DOI10.1017/S1471068410000281zbMath1209.68090arXiv1007.5024MaRDI QIDQ3585168
Publication date: 19 August 2010
Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1007.5024
68T30: Knowledge representation
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
68N17: Logic programming
Related Items
Cites Work
- A consistency-based approach for belief change
- Extending and implementing the stable model semantics
- On the logic of theory change: Partial meet contraction and revision functions
- On properties of update sequences based on causal rejection
- Dynamic updates of non-monotonic knowledge bases
- The DLV system for knowledge representation and reasoning
- Strongly equivalent logic programs