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 25 articles )

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

1 2 next

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

1 2 next