The following pages link to Marta Cialdea Mayer (Q229749):
Displaying 36 items.
- Erratum to: ``Extension of a decision procedure for a fragment of hybrid logic with binders'' (Q286791) (← links)
- Planning and execution with flexible timelines: a formal account (Q329417) (← links)
- Linear temporal logic as an executable semantics for planning languages (Q1006453) (← links)
- (Q1178698) (redirect page) (← links)
- Resolution for some first-order modal systems (Q1178699) (← links)
- Some remarks on the possibility of extending resolution proof procedures to intuitionistic logic (Q1820590) (← links)
- A prover dealing with nominals, binders, transitivity and relation hierarchies (Q2303237) (← links)
- On timeline-based games and their complexity (Q2310766) (← links)
- A tableau based decision procedure for an expressive fragment of hybrid logic with binders, converse and global modalities (Q2351166) (← links)
- Extended decision procedure for a fragment of HL with binders (Q2351423) (← links)
- (Q2701983) (← links)
- (Q2721195) (← links)
- An efficient approach to nominal equalities in hybrid logic tableaux (Q2901189) (← links)
- (Q2904047) (← links)
- A Tableaux Based Decision Procedure for a Broad Class of Hybrid Formulae with Binders (Q3010363) (← links)
- A Polynomial Translation of S4 into T and Contraction-Free Tableaux for S4 (Q3126407) (← links)
- Abduction and Consequence Generation in a Support System for the Design of Logical Multiple-Choice Questions (Q3648729) (← links)
- A Modal Herbrand's Property (Q3717022) (← links)
- (Q3838808) (← links)
- (Q4013825) (← links)
- (Q4247687) (← links)
- Herbrand style proof procedures for modal logic (Q4291028) (← links)
- First order abduction via tableau and sequent calculi (Q4291873) (← links)
- (Q4412852) (← links)
- (Q4412865) (← links)
- (Q4539603) (← links)
- Temporal abductive reasoning about biochemical reactions (Q4586234) (← links)
- Hintikka multiplicities in matrix decision methods for some propositional modal logics (Q4610320) (← links)
- (Q4860658) (← links)
- (Q4877442) (← links)
- A Proof Procedure for Hybrid Logic with Binders, Transitivity and Relation Hierarchies (Q4928429) (← links)
- (Q4938418) (← links)
- Automated Reasoning with Analytic Tableaux and Related Methods (Q5479285) (← links)
- Herod and Pilate: Two Tableau Provers for Basic Hybrid Logic (Q5747765) (← links)
- AI*IA 2003: Advances in Artificial Intelligence (Q5897333) (← links)
- Ground and free-variable tableaux for variants of quantified modal logics (Q5955623) (← links)
