A Monotonic Extension for Horn-Clauses and its Significance in Datalog's Renaissance.
Mirjana MazuranEdoardo SerraCarlo ZanioloPublished in: AMW (2013)
Keyphrases
- horn clauses
- first order logic
- expressive power
- logic programs
- inference rules
- conceptual clustering
- query answering
- logic programming
- deductive databases
- fixpoint
- inductive logic programming
- function symbols
- database queries
- query language
- integrity constraints
- knowledge representation
- domain knowledge
- data sets
- database
- active learning
- training set
- natural language
- feature selection
- datalog programs