scholarly journals Revising Nonmonotonic Theories: The Case of Defeasible Logic

1999 ◽  
pp. 101-112 ◽  
Author(s):  
D. Billington ◽  
G. Antoniou ◽  
G. Governatori ◽  
M. Maher
Keyword(s):  
Defeasible Logic

Proving quantified literals in defeasible logic

1999 ◽  
Vol 116 (1) ◽  
pp. 55-81
Author(s):  
David Billington
Keyword(s):  
Defeasible Logic

Logical control of an elevator with defeasible logic

2000 ◽  
Vol 45 (7) ◽  
pp. 1347-1349 ◽  
Author(s):  
M.A. Covington
Keyword(s):  
Defeasible Logic ◽  
Logical Control

scholarly journals Contextual Agent Deliberation in Defeasible Logic

2009 ◽  
pp. 98-109
Author(s):  
Mehdi Dastani ◽  
Guido Governatori ◽  
Antonino Rotolo ◽  
Insu Song ◽  
Leendert van der Torre
Keyword(s):  
Defeasible Logic

scholarly journals Dialogue Games in Defeasible Logic

2007 ◽  
pp. 497-506 ◽  
Author(s):  
S. Thakur ◽  
G. Governatori ◽  
V. Padmanabhan ◽  
J. Eriksson Lundström
Keyword(s):  
Dialogue Games ◽  
Defeasible Logic

scholarly journals Knowledge Representation of Highly Dynamic Ontologies Using Defeasible Logic

2021 ◽  
Vol 10 (2) ◽  
pp. 948-954
Keyword(s):  
Computational Complexity ◽  
Knowledge Representation ◽  
Knowledge Base ◽  
Description Logic ◽  
Defeasible Logic ◽  
Small Domain ◽  
Automated Support ◽  
Logical Rules

Description logic gives us the ability of reasoning with acceptable computational complexity with retaining the power of expressiveness. The power of description logic can be accompanied by the defeasible logic to manage non-monotonic reasoning. In some domains, we need flexible reasoning and knowledge representation to deal the dynamicity of such domains. In this paper, we present a DL representation for a small domain that describes the connections between different entities in a university publication system to show how could we deal with changeability in domain rules. An automated support can be provided on the basis of defeasible logical rules to represent the typicality in the knowledge base and to solve the conflicts that might happen.

scholarly journals Defeasible logic versus Logic Programming without Negation as Failure

2000 ◽  
Vol 42 (1) ◽  
pp. 47-57 ◽  
Author(s):  
G. Antoniou ◽  
M.J. Maher ◽  
D. Billington
Keyword(s):  
Logic Programming ◽  
Defeasible Logic ◽  
Negation As Failure
Sign in / Sign up

Export Citation Format

Share Document