The following pages link to (Q4412857):
Displaying 7 items.
- A prover dealing with nominals, binders, transitivity and relation hierarchies (Q2303237) (← links)
- A tableau based decision procedure for an expressive fragment of hybrid logic with binders, converse and global modalities (Q2351166) (← links)
- Optimizing terminological reasoning for expressive description logics (Q2462645) (← links)
- Deciding regular grammar logics with converse through first-order logic (Q2567343) (← links)
- A Tableaux Based Decision Procedure for a Broad Class of Hybrid Formulae with Binders (Q3010363) (← links)
- Saturation-based Boolean conjunctive query answering and rewriting for the guarded quantification fragments (Q6149592) (← links)
- Reasoning formally about database queries and updates (Q6535969) (← links)
