AGM contraction and revision of rules
From MaRDI portal
Publication:1698336
DOI10.1007/s10849-016-9244-9zbMath1396.03015OpenAlexW2538258723MaRDI QIDQ1698336
Guido Boella, Leendert van der Torre, Gabriella Pigozzi
Publication date: 15 February 2018
Published in: Journal of Logic, Language and Information (Search for Journal in Brave)
Full work available at URL: http://orbilu.uni.lu/handle/10993/30685
Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30) Logic in computer science (03B70)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Two modellings for theory change
- Reversing the Levi identity
- Permission from an input/output perspective
- Input/output logics
- Normative design using inductive learning
- Changing legal systems: legal abrogations and annulments in Defeasible Logic
- A program-level approach to revising logic programs under the answer set semantics
- On the logic of theory change: Partial meet contraction and revision functions
- Merging Logic Programs under Answer Set Semantics
- Constraints for input/output logics