Serenella Cerrito

发表

Ground and Free-Variable Tableaux for Variants of Quantified Modal Logics

Marta Cialdea Mayer, Serenella Cerrito, M. C. Mayer, 2001, Stud Logica.

Un premier pas vers la modelisation des donnees semi-structurees par la logique multi-modale hybride

Virginie Thion, Serenella Cerrito, Nicole Bidoit, 2003, BDA.

Temporal abductive reasoning about biochemical reactions

Robert Demolombe, Marta Cialdea Mayer, Serenella Cerrito, 2017, J. Appl. Non Class. Logics.

A linear semantics for allowed logic programs

Serenella Cerrito, S. Cerrito, 1990, [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science.

Variants of First-Order Modal Logics

Marta Cialdea Mayer, Serenella Cerrito, M. C. Mayer, 2000, TABLEAUX.

Minimisation of Models Satisfying CTL Formulas

Valentin Goranko, Serenella Cerrito, Amélie David, 2019, TIME.

Vérification statique de contraintes d'intégrité dynamiques : une approche sémantique

Véronique Benzaken, Serenella Cerrito, Sébastien Praud, 1999, Proc. 15èmes Journées Bases de Données Avancées, BDA.

Pattern matching as cut elimination

Delia Kesner, Serenella Cerrito, D. Kesner, 1999, Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158).

Free-Variable Tableaux for Constant-Domain Quantified Modal Logics with Rigid and Non-rigid Designation

Marta Cialdea Mayer, Serenella Cerrito, M. C. Mayer, 2001, IJCAR.

A Tableaux Based Decision Procedure for a Broad Class of Hybrid Formulae with Binders

Marta Cialdea Mayer, Serenella Cerrito, 2011, TABLEAUX.

A Tableau Based Decision Procedure for an Expressive Fragment of Hybrid Logic with Binders, Converse and Global Modalities

Marta Cialdea Mayer, Serenella Cerrito, 2012, Journal of Automated Reasoning.

Static verification of dynamical integrity constraints: a semantics based approach

Serenella Cerrito, Veronique Benzaken, Sebastien Praud, 1999 .

First Order Linear Temporal Logic over Finite Time Structures

Marta Cialdea Mayer, Serenella Cerrito, Sébastien Praud, 1999, LPAR.

Hintikka Multiplicities in Matrix Decision Methods for Some Propositional Modal Logics

Marta Cialdea Mayer, Serenella Cerrito, 1997, TABLEAUX.

Logics for Reasoning on Web Information

Serenella Cerrito, 2007 .

Pattern matching as cut elimination

Delia Kesner, Serenella Cerrito, 2004, Theor. Comput. Sci..

Nominal Substitution at Work with the Global and Converse Modalities

Marta Cialdea Mayer, Serenella Cerrito, 2010, Advances in Modal Logic.

A Polynomial Translation of S4 into T and Contraction-Free Tableaux for S4

Marta Cialdea Mayer, Serenella Cerrito, M. C. Mayer, 1997, Log. J. IGPL.

Automated Reasoning with Analytic Tableaux and Related Methods: 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings

Andrei Popescu, Serenella Cerrito, A. Popescu, 2019, TABLEAUX.

A first step towardsmodeling semistructured data in hybrid multimodal logic

Virginie Thion, Serenella Cerrito, Nicole Bidoit, 2004, J. Appl. Non Class. Logics.

Bounded Model Search in Linear Temporal Logic and Its Application to Planning

Marta Cialdea Mayer, Serenella Cerrito, M. C. Mayer, 1998, TABLEAUX.

An efficient approach to nominal equalities in hybrid logic tableaux

Marta Cialdea Mayer, Serenella Cerrito, 2010, J. Appl. Non Class. Logics.

Using Linear Temporal Logic to Model and Solve Planning Problems

Marta Cialdea Mayer, Serenella Cerrito, M. C. Mayer, 1998, AIMSA.

First Order Linear Temporal Logic over finite temporal structures is not semi-decidable (DRAFT)

Marta Cialdea Mayer, Serenella Cerrito, Sebastien Praud, 1999 .

Optimal Tableaux-Based Decision Procedure for Testing Satisfiability in the Alternating-Time Temporal Logic ATL+

Valentin Goranko, Serenella Cerrito, Amélie David, 2014, IJCAR.

Two tableau provers for basic hybrid logic

Marta Cialdea Mayer, Serenella Cerrito, Emanuele Benassi, 2009 .

Herbrand Methods in Sequent Calculi: Unification in LL

Serenella Cerrito, S. Cerrito, 1992, JICSLP.

Optimal Tableau Method for Constructive Satisfiability Testing and Model Synthesis in the Alternating-Time Temporal Logic ATL+

Valentin Goranko, Serenella Cerrito, Amélie David, 2015, ACM Trans. Comput. Log..

A Linear Axiomatization of Negation as Failure

Serenella Cerrito, S. Cerrito, 1992, J. Log. Program..

A General Theorem Prover for Quantified Modal Logics

Virginie Thion, Marta Cialdea Mayer, Serenella Cerrito, 2002, TABLEAUX.

A Linear Logic Approach to Consistency Preserving Updates

Christine Froidevaux, Serenella Cerrito, Nicole Bidoit, 1996, J. Log. Comput..

Herod and Pilate: Two Tableau Provers for Basic Hybrid Logic

Marta Cialdea Mayer, Serenella Cerrito, 2010, IJCAR.

Minimisation of ATL ^* Models

Serenella Cerrito, Amélie David, 2017, TABLEAUX.

Tableaux like model checking on-the-fly for ATL+ pdf

Serenella Cerrito, 2021, ArXiv.

Via della Vasca Navale , 79 00146 Roma , Italy A calculus for a decidable fragment of hybrid logic with binders

Marta Cialdea Mayer, Serenella Cerrito, 2011 .

Labelled tableaux for propositional linear time logic over finite frames

Marta Cialdea Mayer, Serenella Cerrito, M. C. Mayer, 2000 .

Terminating tableaux for HL(@) without loop-cheking

Marta Cialdea Mayer, Serenella Cerrito, 2006 .

Tableaux with Substitution for Hybrid Logic with the Global and Converse Modalities

Marta Cialdea Mayer, Serenella Cerrito, 2009 .