Tableau-based Decision Procedure for Non-Fregean Logic of Sentential Identity.
Joanna Golinska-PilarekTaneli HuuskonenMichal ZawidzkiPublished in: CADE (2021)
Keyphrases
- proof procedure
- tableau calculus
- theorem proving
- proof search
- description logics
- search procedure
- decision making
- propositional logic
- predicate calculus
- databases
- automated theorem proving
- model theoretic
- first order logic
- decision model
- automated reasoning
- decision trees
- multi valued
- modal logic
- decision rules
- knowledge representation
- logical framework
- classical logic
- logic programming
- decision makers
- knowledge base
- neural network