Výsledky vyhledávání - "Serenella Cerrito"

Automated Reasoning with Analytic Tableaux and Related Methods

Autor: Serenella Cerrito, Andrei Popescu

Publikováno v: Lecture Notes in Computer Science ISBN: 9783030290252

This book constitutes the proceedings of the 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2019, held in London, UK, in September 2019, colocated with the 12th International Symposium on Fro

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::b46ff2347ebf74fa92ec63d5fb357b8c
https://doi.org/10.1007/978-3-030-29026-9

Zobrazit plný text záznamu

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

Autor: Serenella Cerrito, Valentin Goranko, Amélie David

Publikováno v: ACM Transactions on Computational Logic
ACM Transactions on Computational Logic, Association for Computing Machinery, 2015, 17 (1), pp.Article number 4. ⟨10.1145/2811261⟩
ACM Transactions on Computational Logic, 2015, 17 (1), pp.Article number 4. ⟨10.1145/2811261⟩

We develop a sound, complete, and practically implementable tableau-based decision method for constructive satisfiability testing and model synthesis for the fragment ATL + of the full alternating-time temporal logic ALT * . The method extends in an

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::508cbc17966399ed2891f6e9fbc97b34
https://doi.org/10.1145/2811261

Zobrazit plný text záznamu

Temporal abductive reasoning about biochemical reactions

Autor: Serenella Cerrito, Marta Cialdea Mayer, Robert Demolombe

Publikováno v: Journal of Applied Non-Classical Logics
Journal of Applied Non-Classical Logics, Taylor & Francis, 2017, 27 (3-4), pp.269--291. ⟨10.1080/11663081.2018.1427986⟩
Journal of Applied Non-Classical Logics, 2017, 27 (3-4), pp.269--291. ⟨10.1080/11663081.2018.1427986⟩

International audience; The interactions among the components of a biological system can be given a logical representation that is useful for reasoning about them. One of the relevant problems that may be raised in this context is finding what would

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::29f95be1c792af3dfda1da926ac44c2a
https://hal.archives-ouvertes.fr/hal-01764395

Zobrazit plný text záznamu

Minimisation of ATL $$^*$$ ∗ Models

Autor: Serenella Cerrito, Amélie David

Publikováno v: Lecture Notes in Computer Science ISBN: 9783319669014
TABLEAUX
26th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2017)
26th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2017), Sep 2017, Brasilia, Brazil. 10501, pp.193--208, 2017, Lecture Notes in Computer Science. 〈10.1007/978-3-319-66902-1_12〉
26th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2017), Sep 2017, Brasilia, Brazil. pp.193--208, ⟨10.1007/978-3-319-66902-1_12⟩

The aim of this work is to provide a general method to minimize the size (number of states) of a model $\mathcal {M}$ of an $\mathsf {ATL^*}$ formula. Our approach is founded on the notion of alternating bisimulation: given a model \(\mathcal {M}

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0506ff8cbef1751f848b17353c09c659
https://doi.org/10.1007/978-3-319-66902-1_12

Zobrazit plný text záznamu

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

Autor: Serenella Cerrito, Marta Cialdea Mayer

Publikováno v: Journal of Automated Reasoning
Journal of Automated Reasoning, Springer Verlag, 2013, 51 (2), pp.197--239. ⟨10.1007/s10817-012-9257-2⟩
Journal of Automated Reasoning, 2013, 51 (2), pp.197--239. ⟨10.1007/s10817-012-9257-2⟩

International audience; In this paper we provide the first (as far as we know) direct calculus deciding satisfiability of formulae in negation normal form in the fragment of FHL (full hybrid logic with the binder, including the global and converse mo

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::644769da4cfa4819816db2cbdcd7d7a0
https://doi.org/10.1007/s10817-012-9257-2

Zobrazit plný text záznamu

An efficient approach to nominal equalities in hybrid logic tableaux

Autor: Serenella Cerrito, Marta Cialdea Mayer

Publikováno v: Journal of Applied Non-Classical Logics
Journal of Applied Non-Classical Logics, Taylor & Francis, 2010, 20 (1-2), pp.39--61. ⟨10.3166/jancl.20.39-61⟩
Journal of Applied Non-Classical Logics, 2010, 20 (1-2), pp.39--61. ⟨10.3166/jancl.20.39-61⟩

International audience; Basic hybrid logic extends modal logic with the possibility of naming worlds by means of a distinguished class of atoms (called nominals) and the so-called satisfaction operator, that allows one to state that a given formula h

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::667aaf6010d3b53d0d23e1d679ee5ef3
https://doi.org/10.3166/jancl.20.39-61

Zobrazit plný text záznamu

A first step towardsmodeling semistructured data in hybrid multimodal logic

Autor: Virginie Thion, Nicole Bidoit, Serenella Cerrito

Publikováno v: Journal of Applied Non-Classical Logics. 14:447-475

XML documents and, more generally, semistructured data, can be seen as labelled graphs. In this paper we set a correspondence between such graphs and the models of a language of hybrid multimodal l...

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::44a284536fca9ff9c71de17d6a45cdf0
https://doi.org/10.3166/jancl.14.447-475

Zobrazit plný text záznamu

Optimal tableaux-based decision procedure for testing satisfiability in the alternating-time temporal logic ATL+

Autor: Serenella Cerrito, Valentin Goranko, Amélie David

Publikováno v: 7th International Joint Conference on Automated Reasoning (IJCAR 2014)
7th International Joint Conference on Automated Reasoning (IJCAR 2014), Jul 2014, Vienna, Austria. pp.277--291, ⟨10.1007/978-3-319-08587-6_21⟩
Automated Reasoning ISBN: 9783319085869
IJCAR

International audience; We develop a sound, complete and practically implementable tableaux-based decision method for constructive satisfiability testing and model synthesis in the fragment ATL+ of the full Alternating time temporal logic ATL*. The m

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f1adf161ee920160e93a6062247e6e04
https://hal.archives-ouvertes.fr/hal-01054932

Zobrazit plný text záznamu

[Untitled]

Autor: Marta Cialdea Mayer, Serenella Cerrito

Publikováno v: Studia Logica. 69: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 ta

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::309ebc1af0c83fcf98521918302d7728
https://doi.org/10.1023/a:1013838528631

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání