Proving quantified literals in defeasible logic (Q1818760)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Proving quantified literals in defeasible logic |
scientific article; zbMATH DE number 1384381
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Proving quantified literals in defeasible logic |
scientific article; zbMATH DE number 1384381 |
Statements
Proving quantified literals in defeasible logic (English)
0 references
25 May 2000
0 references
existentially closed literals
0 references
nonmonotonic reasoning
0 references
defeasible logic
0 references
universally closed literals
0 references
0.92114556
0 references
0.90149045
0 references
0.89098716
0 references
0.88731945
0 references
