ML Anthology

Implementing Modal Extensions of Defeasible Logic for the Semantic Web

Nikos Dimaresis, Grigoris Antoniou
AAAI 2007 pp. 1848-1849
/aaai/2007/dimaresis2007aaai-implementing/

Abstract

Defeasible reasoning is a nonmonotonic reasoning approach in which the gaps due to incomplete information are closed through the use of defeasible rules. Defeasible logic (Nute 1994) and its variants are an important family of defeasible reasoning methods. It is a simple, efficient but flexible non-monotonic formalism that offers many reasoning capabilities embodies the concept of preference and it has low computational complexity. Recent theoretical work on defeasible logics has: (i) established some relationships to logic programming (Antoniou et al. 2006); (ii) analyzed the formal properties of these logics (Antoniou et al. 2001) and (iii) has delivered efficient implementations (Antoniou & Bikakis 2007). Its use in various application domains has been advocated, including modelling of contracts (Grosof 2004),

PDF AAAI Semantic Scholar

Cite

Text

Dimaresis and Antoniou. "Implementing Modal Extensions of Defeasible Logic for the Semantic Web." AAAI Conference on Artificial Intelligence, 2007.

Markdown

[Dimaresis and Antoniou. "Implementing Modal Extensions of Defeasible Logic for the Semantic Web." AAAI Conference on Artificial Intelligence, 2007.](https://mlanthology.org/aaai/2007/dimaresis2007aaai-implementing/)

BibTeX

@inproceedings{dimaresis2007aaai-implementing,
  title     = {{Implementing Modal Extensions of Defeasible Logic for the Semantic Web}},
  author    = {Dimaresis, Nikos and Antoniou, Grigoris},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2007},
  pages     = {1848-1849},
  url       = {https://mlanthology.org/aaai/2007/dimaresis2007aaai-implementing/}
}