Classical Logic, Continuation Semantics and Abstract Machines.
Thomas StreicherBernhard ReusPublished in: J. Funct. Program. (1998)
Keyphrases
- classical logic
- logic programming
- valued logic
- intuitionistic logic
- autoepistemic logic
- possibilistic logic
- logic programs
- modal logic
- default theories
- commonsense reasoning
- default logic
- knowledge representation
- nonmonotonic reasoning
- knowledge base
- deductive databases
- programming language
- nonmonotonic logics
- fuzzy sets
- answer set programming
- answer sets
- strong equivalence
- computer science and artificial intelligence
- proof theory
- object oriented
- neural network
- rationality postulates