A Tableau Calculus for Integrating First-Order and Elementary Set Theory Reasoning.
Domenico CantoneCalogero G. ZarbaPublished in: TABLEAUX (2000)
Keyphrases
- set theory
- first order logic
- probabilistic reasoning
- knowledge representation
- partial order
- tableau calculus
- propositional logic
- inference rules
- knowledge base
- fuzzy set theory
- description logics
- mathematical morphology
- horn clauses
- theorem prover
- probability theory
- minimal models
- neural network
- rough sets
- default reasoning
- rough set theory
- fuzzy sets
- probability distribution
- natural language