Henkin-type semantics for program-schemes to turn negative results to positive.
Hajnal AndrékaIstván NémetiIldikó SainPublished in: FCT (1979)
Keyphrases
- positive and negative
- semantically equivalent
- formal semantics
- logic programming
- data sets
- positive or negative
- declarative semantics
- databases
- decision rules
- default reasoning
- logic programming language
- program execution
- stable model semantics
- semantics of logic programs
- negatively correlated
- programming course
- information retrieval
- neural network