Hoare Logic, Executable Specifications and Logic Programs.
Norbert E. FuchsPublished in: Struct. Program. (1992)
Keyphrases
- logic programs
- recursive programs
- logic programming
- computational properties
- general logic programs
- formal specification
- stable models
- answer sets
- abductive reasoning
- background knowledge
- control flow
- classical logic
- declarative semantics
- answer set programming
- fixpoint
- program synthesis
- horn clauses
- logic programs with negation
- prolog programs
- normal logic programs
- partial deduction
- strong equivalence
- inductive logic programming
- asynchronous circuits
- transformation rules
- answer set semantics
- semantics of logic programs
- bounded model checking
- autoepistemic logic
- model theoretic
- semantics for logic programs
- reasoning tasks
- propositional theories
- nonmonotonic reasoning
- logic program updates
- nonmonotonic logics
- knowledge representation and reasoning
- probabilistic reasoning
- deductive databases
- model checking