Declarative Representation of Revision Strategies*
From MaRDI portal
Publication:4443396
DOI10.3166/jancl.11.151-167zbMath1033.03504MaRDI QIDQ4443396
Publication date: 11 January 2004
Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.3166/jancl.11.151-167
68T27: Logic in artificial intelligence
03B42: Logics of knowledge and belief (including belief change)
Cites Work
- Unnamed Item
- A logical framework for default reasoning
- Cumulative default logic: In defense of nonmonotonic inference rules
- Nonmonotonic inference based on expectations
- Reasoning with logic programming
- A lattice-theoretical fixpoint theorem and its applications
- Argument-based extended logic programming with defeasible priorities
- Semi-revision