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