Locality of Queries Definable in Invariant First-Order Logic with Arbitrary Built-in Predicates.
Matthew AndersonDieter van MelkebeekNicole SchweikardtLuc SegoufinPublished in: ICALP (2) (2011)
Keyphrases
- first order logic
- expressive power
- horn clauses
- user defined
- monadic second order logic
- quantifier free
- propositional logic
- function symbols
- inference rules
- constraint databases
- query language
- knowledge representation
- relational calculus
- theorem proving
- probabilistic reasoning
- relational algebra
- aggregate functions
- inductive logic programming
- transitive closure
- markov networks
- relational structures
- theorem prover
- quantifier elimination
- query processing
- guarded fragment
- boolean expressions
- representation language
- markov logic networks
- probabilistic graphical models
- database queries
- regular expressions
- query evaluation
- database
- markov logic
- data sources
- satisfiability problem
- logical rules
- data model
- expert systems
- artificial intelligence