Tableau-based Decision Procedure for the Logic SCI.
Joanna Golinska-PilarekMichal ZawidzkiPublished in: OVERLAY@AI*IA (2019)
Keyphrases
- proof procedure
- tableau calculus
- theorem proving
- decision making
- propositional logic
- first order logic
- predicate calculus
- description logics
- classical logic
- decision problems
- logic programming
- decision makers
- proof search
- automated theorem proving
- decision rules
- delay insensitive
- automated reasoning
- propositional satisfiability
- predicate logic
- computational properties
- iterative procedure
- modal logic
- case study