On the Configuration of More and Less Expressive Logic Programs.
Carmine DodaroMarco MarateaMauro VallatiPublished in: CoRR (2022)
Keyphrases
- logic programs
- logic programming
- logic programs with negation
- answer sets
- fixpoint
- stable models
- background knowledge
- inductive logic programming
- partial deduction
- prolog programs
- stable model semantics
- answer set programming
- computational properties
- normal logic programs
- existentially quantified
- strong equivalence
- term rewriting systems
- reasoning tasks
- knowledge base
- nonmonotonic reasoning
- object oriented
- relational databases
- expert systems