1.  18
    An Efficient Approach to Nominal Equalities in Hybrid Logic Tableaux.Serenella Cerrito & Marta Cialdea Mayer - 2010 - Journal of Applied Non-Classical Logics 20 (1-2):39-61.
  2.  21
    Linear Temporal Logic as an Executable Semantics for Planning Languages.Marta Cialdea Mayer, Carla Limongelli, Andrea Orlandini & Valentina Poggioni - 2006 - Journal of Logic, Language and Information 16 (1):63-89.
    This paper presents an approach to artificial intelligence planning based on linear temporal logic (LTL). A simple and easy-to-use planning language is described, Planning Domain Description Language with control Knowledge (PDDL-K), which allows one to specify a planning problem together with heuristic information that can be of help for both pruning the search space and finding better quality plans. The semantics of the language is given in terms of a translation into a set of LTL formulae. Planning is then reduced (...)
    Direct download (5 more)  
    Export citation  
    My bibliography  
  3.  10
    Ground and Free-Variable Tableaux for Variants of Quantified Modal Logics.Marta Cialdea Mayer & Serenella Cerrito - 2001 - Studia Logica 69 (1):97-131.
    In this paper we study proof procedures for some variants of first-order modal logics, where domains may be either cumulative or freely varying and terms may be either rigid or non-rigid, local or non-local. We define both ground and free variable tableau methods, parametric with respect to the variants of the considered logics. The treatment of each variant is equally simple and is based on the annotation of functional symbols by natural numbers, conveying some semantical information on the worlds where (...)
    Direct download (7 more)  
    Export citation  
    My bibliography