1. Serenella Cerrito & Marta Cialdea Mayer (2010). An Efficient Approach to Nominal Equalities in Hybrid Logic Tableaux. Journal of Applied Non-Classical Logics 20 (1-2):39-61.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  2. Marta Cialdea Mayer, Carla Limongelli, Andrea Orlandini & Valentina Poggioni (2007). Linear Temporal Logic as an Executable Semantics for Planning Languages. 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)  
     
    My bibliography  
     
    Export citation  
  3. Marta Cialdea Mayer & Serenella Cerrito (2001). Ground and Free-Variable Tableaux for Variants of Quantified Modal Logics. 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)  
     
    My bibliography  
     
    Export citation