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

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

1 2 next

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

1 2 next