Computing defeasible meta-logic
From MaRDI portal
Publication:2055782
DOI10.1007/978-3-030-75775-5_6MaRDI QIDQ2055782
Matteo Cristani, Guido Governatori, Abdul Sattar, Francesco Olivieri
Publication date: 1 December 2021
Full work available at URL: http://hdl.handle.net/10072/407060
68T27: Logic in artificial intelligence
Cites Work
- Unnamed Item
- Unnamed Item
- Argumentation update in YALLA (yet another logic language for argumentation)
- Input/output logics
- Nested expressions in logic programs
- Computing strong and weak permissions in defeasible logic
- Metalevel argumentation
- Representation results for defeasible logic
- High-Level Programs and Program Conditions
- Changing legal systems: legal abrogations and annulments in Defeasible Logic
- A defeasible logic for modelling policy-based intentions and motivational attitudes
- Making prolog more expressive
- The rationale behind the concept of goal
- Computing preferred answer sets by meta-interpretation in Answer Set Programming
- Reflective metalogical frameworks
- Local Models Semantics, or contextual reasoning = locality + compatibility