On Logic Programs with Data-Driven Computations.
Norbert HeckJürgen AvenhausPublished in: European Conference on Computer Algebra (2) (1985)
Keyphrases
- logic programs
- data driven
- logic programming
- answer set programming
- stable models
- fixpoint
- answer sets
- background knowledge
- inductive logic programming
- computational properties
- strong equivalence
- partial deduction
- normal logic programs
- stable model semantics
- logic program updates
- artificial intelligence
- horn clauses
- declarative semantics
- general purpose
- existentially quantified
- semantics of logic programs
- search space
- term rewriting systems
- expert systems