( en | de | ru )

 

Disambiguierung von "Monica, Dario Della"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Tableau System for Right Propositional Neighborhood Logic over Finite Linear Orders: An Implementation.

, , , und . TABLEAUX, Volume 8123 von Lecture Notes in Computer Science, Seite 74-80. Springer, (2013)

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.

Sergio Dellavalle

Dario Mazzoleni

Dario Piano

Dario Gil

Geerd Dellas

 

Weitere Publikationen von Autoren mit dem selben Namen

An Approach to Fuzzy Modal Logic of Time Intervals., , , und . ECAI, Volume 325 von Frontiers in Artificial Intelligence and Applications, Seite 696-703. IOS Press, (2020)Complexity of Qualitative Timeline-Based Planning., , , und . TIME, Volume 178 von LIPIcs, Seite 16:1-16:13. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)The Dark Side of Interval Temporal Logic: Sharpening the Undecidability Border., , , , und . TIME, Seite 131-138. IEEE, (2011)A Decidable Spatial Generalization of Metric Interval Temporal Logic., , , , und . TIME, Seite 95-102. IEEE Computer Society, (2010)Undecidability of Interval Temporal Logics with the Overlap Modality., , , , und . TIME, Seite 88-95. IEEE Computer Society, (2009)On a Priced Resource-bounded Alternating μ-Calculus., und . ICAART (2), Seite 222-227. SciTePress, (2012)An interval temporal logic characterization of extended ω-regular languages., , und . Theor. Comput. Sci., (Juni 2023)Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals., , , , und . Inf. Comput., (2019)Model checking coalitional games in shortage resource scenarios., , und . GandALF, Volume 119 von EPTCS, Seite 240-255. (2013)The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT., , , und . Ann. Math. Artif. Intell., 71 (1-3): 11-39 (2014)