Dischargeable Obligations in the đźCIFF Framework
From MaRDI portal
Publication:4988947
DOI10.3233/FI-2020-1976zbMath1497.68456MaRDI QIDQ4988947
Fabrizio Riguzzi, Evelina Lamma, Ken Satoh, Marco Alberti, Marco Gavanelli, Riccardo Zese
Publication date: 20 May 2021
Published in: Fundamenta Informaticae (Search for Journal in Brave)
constraint logic programmingabductive logic programmingnormative reasoningdischargement of expectations
Logic in artificial intelligence (68T27) Knowledge representation (68T30) Logic programming (68N17) Agent technology and artificial intelligence (68T42)
Related Items
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Logic programs, norms and action. Essays in honor of Marek J. Sergot on the occasion of his 60th birthday
- A logic-based calculus of events
- New frontiers in artificial intelligence. JSAI-isAI 2010 workshops, LENLS, JURISIN, AMBN, ISS, Tokyo, Japan, November 18--19, 2010. Revised selected papers
- Heterogeneous active agents, I: Semantics
- Input/output logics
- Obligation as optimal goal satisfaction
- Detachment and defeasibility in deontic logic
- Normative KGP agents
- Mapping deontic operators to abductive expectations
- Defaults with priorities
- Argument-based extended logic programming with defeasible priorities
- Robust normative systems and a logic of norm compliance
- On the logic of theory change: Partial meet contraction and revision functions
- Negation in logic programming
- The complexity of logic-based abduction
- The IFF proof procedure for abductive logic programming
- Reasoning on Datalog± Ontologies with Abductive Logic Programming
- Dischargeable Obligations in Abductive Logic Programming
- Verifiable agent interaction in abductive logic programming
- Abductive Logic Programming
- A Logic for prioritized normative reasoning
- Integration of Abductive Reasoning and Constraint Optimization in SCIFF
- Global Computing
