Defaults as restrictions on classical Hilbert-style proofs (Q1895976)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Defaults as restrictions on classical Hilbert-style proofs |
scientific article |
Statements
Defaults as restrictions on classical Hilbert-style proofs (English)
0 references
13 December 1995
0 references
knowledge representation
0 references
nonmonotonic reasoning
0 references
default logic
0 references
proof theory
0 references
