DELORES

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: http://freecode.com/)


References in zbMATH (referenced in 23 articles )

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

1 2 next

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

1 2 next