The following pages link to Automated Deduction – CADE-19 (Q5900730):
Displaying 14 items.
- Translation of first order formulas into ground formulas via a completion theory (Q266881) (← links)
- Representing ontologies using description logics, description graphs, and rules (Q840831) (← links)
- First-order temporal verification in practice (Q851137) (← links)
- Deciding expressive description logics in the framework of resolution (Q924723) (← links)
- A resolution-based decision procedure for \({\mathcal{SHOIQ}}\). (Q928657) (← links)
- A new methodology for developing deduction methods (Q1037405) (← links)
- A prover dealing with nominals, binders, transitivity and relation hierarchies (Q2303237) (← links)
- Mechanising first-order temporal resolution (Q2486579) (← links)
- Deciding regular grammar logics with converse through first-order logic (Q2567343) (← links)
- Temporal logics of knowledge and their applications in security (Q2866724) (← links)
- Simulation and Synthesis of Deduction Calculi (Q3185770) (← links)
- Combining Description Logics, Description Graphs, and Rules (Q3655191) (← links)
- First-Order Resolution Methods for Modal Logics (Q4916086) (← links)
- The axiomatic translation principle for modal logic (Q5277784) (← links)
