Time and defeasibility in FIPA ACL semantics
From MaRDI portal
Publication:456719
DOI10.1016/j.jal.2011.09.006zbMath1248.68470WikidataQ58176844 ScholiaQ58176844MaRDI QIDQ456719
Leendert van der Torre, Guido Governatori, Guido Boella, Joris Hulstijn, Régis Riveret, Antonino Rotolo
Publication date: 16 October 2012
Published in: Journal of Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jal.2011.09.006
Uses Software
Cites Work
- A logic-based calculus of events
- Representation results for defeasible logic
- Embedding defeasible logic into logic programming
- Changing legal systems: legal abrogations and annulments in Defeasible Logic
- Dynamic Epistemic Logic and Knowledge Puzzles
- Propositional defeasible logic has linear complexity
- Unnamed Item
- Unnamed Item
- Unnamed Item