No label defined (Q5202996)
From MaRDI portal
scientific article; zbMATH DE number 4197966
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 4197966 |
Statements
1991
0 references
nonmonotonic logic
0 references
knowledge representation
0 references
commonsense reasoning
0 references
Kripke model
0 references
negation as failure
0 references
modal logic
0 references