From Relational Specifications to Logic Programs.
Joseph P. NearPublished in: ICLP (Technical Communications) (2010)
Keyphrases
- logic programs
- recursive programs
- logic programming
- answer sets
- stable models
- inductive logic programming
- fixpoint
- relational learning
- relational databases
- normal logic programs
- answer set programming
- relational data
- background knowledge
- computational properties
- statistical relational learning
- term rewriting systems
- strong equivalence
- partial deduction
- horn clauses
- database schema
- monotonicity constraints
- logic program updates
- deductive databases
- object oriented
- data model
- high level