Lifschitz' Logic of Calcubable Numbers and Optimizations in Program Extraction.
Susumu HayashiYukihide TakayamaPublished in: Logic, Language and Computation (1994)
Keyphrases
- semantics of logic programs
- stable model semantics
- logic programming
- logic programs
- deductive databases
- modal logic
- declarative semantics
- stable models
- answer sets
- automatic extraction
- nonmonotonic reasoning
- program execution
- fixpoint
- answer set programming
- program synthesis
- predicate logic
- nonmonotonic logics
- defeasible logic
- classical logic
- neural network
- multi valued
- default logic
- information extraction
- horn clauses
- automated reasoning
- probability theory
- automatically extracted
- knowledge extraction
- asynchronous circuits
- model checking
- normal logic programs
- data sets