Permissive-nominal logic: First-order logic over nominal terms and sets.
Gilles DowekMurdoch James GabbayPublished in: ACM Trans. Comput. Log. (2012)
Keyphrases
- first order logic
- horn clauses
- expressive power
- logical formulas
- inference rules
- predicate calculus
- set theory
- logical rules
- proof procedure
- propositional logic
- inductive logic programming
- function symbols
- quantifier free
- theorem prover
- probabilistic reasoning
- probabilistic graphical models
- theorem proving
- classical first order logic
- transitive closure
- relational algebra
- truth values
- knowledge representation
- representation language
- modal logic
- highly expressive
- quantifier elimination
- markov networks
- dynamic logic
- predicate logic
- guarded fragment
- markov logic
- background knowledge
- anti unification
- machine learning
- markov logic networks
- search algorithm
- query language
- description logics
- data mining
- real numbers