Implementing Modal Extensions of Defeasible Logic for the Semantic Web

Nikos Dimaresis; Grigoris Antoniou

Implementing Modal Extensions of Defeasible Logic for the Semantic Web

Nikos Dimaresis, Grigoris Antoniou

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

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).

Original language	English
Title of host publication	AAAI-07/IAAI-07 Proceedings
Subtitle of host publication	22nd AAAI Conference on Artificial Intelligence and the 19th Innovative Applications of Artificial Intelligence Conference
Pages	1848-1849
Number of pages	2
Volume	2
ISBN (Electronic)	9781577353249
Publication status	Published - 22 Jul 2007
Externally published	Yes
Event	22nd AAAI Conference on Artificial Intelligence and the 19th Innovative Applications of Artificial Intelligence Conference - Vancouver, Canada Duration: 22 Jul 2007 → 26 Jul 2007 Conference number: 22 / 19

Conference

Conference	22nd AAAI Conference on Artificial Intelligence and the 19th Innovative Applications of Artificial Intelligence Conference
Abbreviated title	AAAI-07 / IAAI-07
Country/Territory	Canada
City	Vancouver
Period	22/07/07 → 26/07/07

Access to Document

https://www.aaai.org/Papers/AAAI/2007/AAAI07-299.pdfLicence: Unspecified

Cite this

@inproceedings{00b7b7b467de47f294101ff7caa5d71c,

title = "Implementing Modal Extensions of Defeasible Logic for the Semantic Web",

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).",

keywords = "Semantic web, Implementing Modal Extensions, Defeasible reasoning methods",

author = "Nikos Dimaresis and Grigoris Antoniou",

year = "2007",

month = jul,

day = "22",

language = "English",

isbn = "1577353234",

volume = "2",

pages = "1848--1849",

booktitle = "AAAI-07/IAAI-07 Proceedings",

note = "22nd AAAI Conference on Artificial Intelligence and the 19th Innovative Applications of Artificial Intelligence Conference, AAAI-07 / IAAI-07 ; Conference date: 22-07-2007 Through 26-07-2007",

}

Dimaresis, N & Antoniou, G 2007, Implementing Modal Extensions of Defeasible Logic for the Semantic Web. in AAAI-07/IAAI-07 Proceedings: 22nd AAAI Conference on Artificial Intelligence and the 19th Innovative Applications of Artificial Intelligence Conference. vol. 2, pp. 1848-1849, 22nd AAAI Conference on Artificial Intelligence and the 19th Innovative Applications of Artificial Intelligence Conference, Vancouver, British Columbia, Canada, 22/07/07. <https://www.aaai.org/Papers/AAAI/2007/AAAI07-299.pdf>

Implementing Modal Extensions of Defeasible Logic for the Semantic Web. / Dimaresis, Nikos; Antoniou, Grigoris.

AAAI-07/IAAI-07 Proceedings: 22nd AAAI Conference on Artificial Intelligence and the 19th Innovative Applications of Artificial Intelligence Conference. Vol. 2 2007. p. 1848-1849.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Implementing Modal Extensions of Defeasible Logic for the Semantic Web

AU - Dimaresis, Nikos

AU - Antoniou, Grigoris

N1 - Conference code: 22 / 19

PY - 2007/7/22

Y1 - 2007/7/22

N2 - 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).

AB - 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).

KW - Semantic web

KW - Implementing Modal Extensions

KW - Defeasible reasoning methods

UR - http://www.scopus.com/inward/record.url?scp=36348988975&partnerID=8YFLogxK

UR - https://www.aaai.org/Library/AAAI/aaai07contents.php

M3 - Conference contribution

AN - SCOPUS:36348988975

SN - 1577353234

SN - 9781577353232

VL - 2

SP - 1848

EP - 1849

BT - AAAI-07/IAAI-07 Proceedings

T2 - 22nd AAAI Conference on Artificial Intelligence and the 19th Innovative Applications of Artificial Intelligence Conference

Y2 - 22 July 2007 through 26 July 2007

ER -

Implementing Modal Extensions of Defeasible Logic for the Semantic Web

Abstract

Conference

Access to Document

Other files and links

Fingerprint

Cite this