Contextual hypotheses and semantics of logic programs (Q4897703)
From MaRDI portal
scientific article; zbMATH DE number 6118264
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Contextual hypotheses and semantics of logic programs |
scientific article; zbMATH DE number 6118264 |
Statements
Contextual hypotheses and semantics of logic programs (English)
0 references
27 December 2012
0 references
Kripke-Kleene semantics
0 references
answer-set semantics
0 references
stable model semantics
0 references
well-founded semantics
0 references
classical negation
0 references
contextual hypotheses
0 references
hypothetical reasoning
0 references
