A First Order Logic for Partial Functions (Extended Abstract).
Francisca Lucio-CarrascoAntonio Gavilanes-FrancoPublished in: STACS (1989)
Keyphrases
- extended abstract
- first order logic
- expressive power
- theorem proving
- propositional logic
- probabilistic reasoning
- representation language
- inference rules
- knowledge representation
- inductive logic programming
- markov networks
- theorem prover
- transitive closure
- horn clauses
- probabilistic graphical models
- relational structures
- relational algebra
- markov logic networks
- markov logic
- quantifier free
- timed automata
- logical rules
- predicate calculus
- closure operator
- constraint databases
- quantifier elimination
- anti unification
- higher order