Default logic and specification of nonmonotonic reasoning (Q4784341)
From MaRDI portal
scientific article; zbMATH DE number 1843913
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Default logic and specification of nonmonotonic reasoning |
scientific article; zbMATH DE number 1843913 |
Statements
7 April 2003
0 references
representability
0 references
formation of belief sets by agents
0 references
reasoning trace
0 references
reasoning frame
0 references
infinitary default logic
0 references
Default logic and specification of nonmonotonic reasoning (English)
0 references
