DELORES (DEfeasible LOgic REasoning System) is a forward-chaining reasoning engine for defeasible logic, a less-expressive but more efficient non-monotonic logic. In contrast with most other non-monotonic logics, defeasible logic has linear complexity, allowing DELORES to execute large theories very quickly. DELORES’s algorithm extends to general defeasible theories through the use of a pre-processing transformation which eliminates all uses of defeaters and superiority relations. (Source:

References in zbMATH (referenced in 18 articles )

Showing results 1 to 18 of 18.
Sorted by year (citations)

  1. Governatori, Guido; Olivieri, Francesco; Rotolo, Antonino; Scannapieco, Simone: Computing strong and weak permissions in defeasible logic (2013)
  2. Lam, Ho-Pun; Governatori, Guido: Towards a model of UAVs navigation in urban canyon through defeasible logic (2013)
  3. Governatori, Guido; Rotolo, Antonino; Calardo, Erica: Possible world semantics for defeasible deontic logic (2012)
  4. Boella, Guido; Governatori, Guido; Hulstijn, Joris; Riveret, Régis; Rotolo, Antonino; van der Torre, Leendert: Time and defeasibility in FIPA ACL semantics (2011)
  5. Lam, Ho-Pun; Governatori, Guido: What are the necessity rules in defeasible reasoning? (2011)
  6. Liao, Beishui; Huang, Huaxin: ANGLE: an autonomous, normative and guidable agent with changing knowledge (2010)
  7. Maier, Frederick; Nute, Donald: Well-founded semantics for defeasible logic (2010)
  8. Pham, D.H.; Governatori, G.; Thakur, S.: Extended defeasible reasoning for common goals in $n$-person argumentation games (2009)
  9. Governatori, Guido; Rotolo, Antonino: BIO logical agents: Norms, beliefs, intentions in defeasible logic. (2008)
  10. Governatori, Guido; Rotolo, Antonino: A computational framework for institutional agency. (2008)
  11. Antoniou, Grigoris; Billington, David; Governatori, Guido; Maher, Michael J.: Embedding defeasible logic into logic programming (2006)
  12. Governatori, Guido; Rotolo, Antonino: Defeasible logic: Agency, intention and obligation (2004)
  13. Billington, David; Rock, Andrew: Constructive plausible logic is relatively consistent (2003)
  14. Pan, Heping; Tilakaratne, Chandima; Yearwood, John: Predicting the Australian stock market index using neural networks exploiting dynamical swings and intermarket influences (2003)
  15. Antoniou, Grigoris; Maher, Michael J.: Embedding defeasible logic into logic programs (2002)
  16. Brewka, Gerhard: On the relationship between defeasible logic and well-founded semantics (2001)
  17. Maher, Michael J.: Propositional defeasible logic has linear complexity (2001)
  18. Maher, Michael J.: A denotational semantics of defeasible logic (2000)