Commonsense axiomatizations for logic programs (Q4275257)
From MaRDI portal
scientific article; zbMATH DE number 484665
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Commonsense axiomatizations for logic programs |
scientific article; zbMATH DE number 484665 |
Statements
Commonsense axiomatizations for logic programs (English)
0 references
13 January 1994
0 references
commonsense reasoning
0 references
semantics for logic programs with negation
0 references
dualized program
0 references
