On the problem of computing ambiguity propagation and well-founded semantics in defeasible logic

Ho Pun Lam; Guido Governatori

doi:10.1007/978-3-642-16289-3_11

On the problem of computing ambiguity propagation and well-founded semantics in defeasible logic

Ho Pun Lam^*, Guido Governatori

^*Corresponding author for this work

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

3 Citations (Scopus)

Abstract

In this paper we present the well founded variants of ambiguity blocking and ambiguity propagating defeasible logics. We also show how to extend SPINdle, a state of the art, defeasible logic implementation to handle all such variants of defeasible logic.

Original language	English
Title of host publication	Semantic Web Rules - International Symposium, RuleML 2010, Proceedings
Publisher	Springer Verlag
Pages	119-127
Number of pages	9
ISBN (Print)	3642162886, 9783642162886
DOIs	https://doi.org/10.1007/978-3-642-16289-3_11
Publication status	Published - 2010
Externally published	Yes

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	6403 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Keywords

Ambiguity Propagation
Consequences finding
Defeasible logics
Well-Founded Semantics

Access to Document

10.1007/978-3-642-16289-3_11

Cite this

Lam, H. P., & Governatori, G. (2010). On the problem of computing ambiguity propagation and well-founded semantics in defeasible logic. In Semantic Web Rules - International Symposium, RuleML 2010, Proceedings (pp. 119-127). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6403 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-642-16289-3_11

Lam, Ho Pun ; Governatori, Guido. / On the problem of computing ambiguity propagation and well-founded semantics in defeasible logic. Semantic Web Rules - International Symposium, RuleML 2010, Proceedings. Springer Verlag, 2010. pp. 119-127 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{d6404c5d28aa44f7b6b2f909b3e0ba75,

title = "On the problem of computing ambiguity propagation and well-founded semantics in defeasible logic",

abstract = "In this paper we present the well founded variants of ambiguity blocking and ambiguity propagating defeasible logics. We also show how to extend SPINdle, a state of the art, defeasible logic implementation to handle all such variants of defeasible logic.",

keywords = "Ambiguity Propagation, Consequences finding, Defeasible logics, Well-Founded Semantics",

author = "Lam, {Ho Pun} and Guido Governatori",

year = "2010",

doi = "10.1007/978-3-642-16289-3_11",

language = "English",

isbn = "3642162886",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "119--127",

booktitle = "Semantic Web Rules - International Symposium, RuleML 2010, Proceedings",

}

Lam, HP & Governatori, G 2010, On the problem of computing ambiguity propagation and well-founded semantics in defeasible logic. in Semantic Web Rules - International Symposium, RuleML 2010, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 6403 LNCS, Springer Verlag, pp. 119-127. https://doi.org/10.1007/978-3-642-16289-3_11

On the problem of computing ambiguity propagation and well-founded semantics in defeasible logic. / Lam, Ho Pun; Governatori, Guido.
Semantic Web Rules - International Symposium, RuleML 2010, Proceedings. Springer Verlag, 2010. p. 119-127 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6403 LNCS).

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

TY - GEN

T1 - On the problem of computing ambiguity propagation and well-founded semantics in defeasible logic

AU - Lam, Ho Pun

AU - Governatori, Guido

PY - 2010

Y1 - 2010

N2 - In this paper we present the well founded variants of ambiguity blocking and ambiguity propagating defeasible logics. We also show how to extend SPINdle, a state of the art, defeasible logic implementation to handle all such variants of defeasible logic.

AB - In this paper we present the well founded variants of ambiguity blocking and ambiguity propagating defeasible logics. We also show how to extend SPINdle, a state of the art, defeasible logic implementation to handle all such variants of defeasible logic.

KW - Ambiguity Propagation

KW - Consequences finding

KW - Defeasible logics

KW - Well-Founded Semantics

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

U2 - 10.1007/978-3-642-16289-3_11

DO - 10.1007/978-3-642-16289-3_11

M3 - Conference Proceeding

AN - SCOPUS:78449243447

SN - 3642162886

SN - 9783642162886

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 119

EP - 127

BT - Semantic Web Rules - International Symposium, RuleML 2010, Proceedings

PB - Springer Verlag

ER -

Lam HP, Governatori G. On the problem of computing ambiguity propagation and well-founded semantics in defeasible logic. In Semantic Web Rules - International Symposium, RuleML 2010, Proceedings. Springer Verlag. 2010. p. 119-127. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-642-16289-3_11

On the problem of computing ambiguity propagation and well-founded semantics in defeasible logic

Abstract

Publication series

Keywords

Access to Document

Other files and links

Fingerprint

Cite this