A directly cautious theory of defeasible consequence for default logic via the notion of general extension (Q1292307)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A directly cautious theory of defeasible consequence for default logic via the notion of general extension |
scientific article |
Statements
A directly cautious theory of defeasible consequence for default logic via the notion of general extension (English)
0 references
21 June 1999
0 references
default logic
0 references
defeasible consequence
0 references
truth theory
0 references
logic programming
0 references
nonmonotonic inheritance
0 references