( en | de | ru )

 

Disambiguierung von "Cerrito, Serenella"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Using Linear Temporal Logic to Model and Solve Planning Problems.

, und . AIMSA, Volume 1480 von Lecture Notes in Computer Science, Seite 141-152. Springer, (1998)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Stefano Cerrito

 

Weitere Publikationen von Autoren mit dem selben Namen

A General Theorem Prover for Quantified Modal Logics., , und . TABLEAUX, Volume 2381 von Lecture Notes in Computer Science, Seite 266-280. Springer, (2002)Hintikka Multiplicities in Matrix Decision Methods for Some Propositional Modal Logics., und . TABLEAUX, Volume 1227 von Lecture Notes in Computer Science, Seite 138-152. Springer, (1997)Un premier pas vers la modelisation des donnees semi-structurees par la logique multi-modale hybride., , und . BDA, (2003)First Order Linear Temporal Logic over Finite Time Structures., , und . LPAR, Volume 1705 von Lecture Notes in Computer Science, Seite 62-76. Springer, (1999)Free-Variable Tableaux for Constant-Domain Quantified Modal Logics with Rigid and Non-rigid Designation., und . IJCAR, Volume 2083 von Lecture Notes in Computer Science, Seite 137-151. Springer, (2001)An efficient approach to nominal equalities in hybrid logic tableaux., und . J. Appl. Non Class. Logics, 20 (1-2): 39-61 (2010)A Linear Semantics for Allowed Logic Programs. LICS, Seite 219-227. IEEE Computer Society, (1990)Minimisation of Models Satisfying CTL Formulas., , und . TIME, Volume 147 von LIPIcs, Seite 13:1-13:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)A Tableau Based Decision Procedure for an Expressive Fragment of Hybrid Logic with Binders, Converse and Global Modalities., und . J. Autom. Reason., 51 (2): 197-239 (2013)Nominal Substitution at Work with the Global and Converse Modalities., und . Advances in Modal Logic, Seite 59-76. College Publications, (2010)