First-Order Tableaux in Applications (Extended Abstract).
Ulrich FurbachPublished in: TABLEAUX (2011)
Keyphrases
- extended abstract
- classical first order logic
- first order logic
- higher order
- modal logic
- conditional logic
- data sets
- stochastic dominance
- logic programming
- functional dependencies
- real time
- quantifier elimination
- term rewriting
- knowledge representation
- special case
- query answering
- neural network
- automated reasoning
- horn clauses
- operational semantics
- decision procedures