Towards Tableau-Based Decision Procedures for Non-Well-Founded Fragments of Set Theory.
Carla PiazzaAlberto PolicritiPublished in: TABLEAUX (2000)
Keyphrases
- set theory
- decision procedures
- theorem proving
- description logics
- first order logic
- modal logic
- automated reasoning
- fuzzy set theory
- partial order
- fuzzy sets
- mathematical morphology
- rough sets
- theorem prover
- rough set theory
- knowledge base
- probability theory
- conjunctive queries
- satisfiability problem
- inference rules
- knowledge representation
- artificial neural networks
- pattern recognition
- database
- temporal logic
- artificial intelligence
- machine learning
- databases