( en | de | ru )

 

Disambiguierung von "Goranko, Valentin"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Hybrid Ockhamist Temporal Logic.

, und . TIME, Seite 183-188. IEEE Computer Society, (2001)

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.

Valentin Köppert

Valentin Riedl

Valentin Bottesi

Valentin Hilcken

Valentin Markov

 

Weitere Publikationen von Autoren mit dem selben Namen

The temporal logic of coalitional goal assignments in concurrent multi-player games., und . CoRR, (2020)Gradual Guaranteed Coordination in Repeated Win-Lose Coordination Games., , und . ECAI, Volume 325 von Frontiers in Artificial Intelligence and Applications, Seite 115-122. IOS Press, (2020)Elementary Canonical Formulae: A Survey on Syntactic, Algorithmic, and Model?theoretic Aspects., , und . Advances in Modal Logic, Seite 17-51. King's College Publications, (2004)Optimal Decision Procedures for Satisfiability in Fragments of Alternating-time Temporal Logics., und . Advances in Modal Logic, Seite 234-253. College Publications, (2014)Undecidability and Temporal Logic: Some Landmarks from Turing to the Present.. TIME, Seite 3-4. IEEE Computer Society, (2012)The dark side of interval temporal logic: marking the undecidability border., , , , und . Ann. Math. Artif. Intell., 71 (1-3): 41-83 (2014)Temporal Logic with Reference Pointers.. ICTL, Volume 827 von Lecture Notes in Computer Science, Seite 133-148. Springer, (1994)Logic as a Tool - A Guide to Formal Logical Reasoning.. Wiley, (2016)Expressiveness of the Interval Logics of Allen's Relations on the Class of All Linear Orders: Complete Classification., , , und . IJCAI, Seite 845-850. IJCAI/AAAI, (2011)Socially Friendly and Group Protecting Coalition Logics., und . AAMAS, Seite 372-380. International Foundation for Autonomous Agents and Multiagent Systems Richland, SC, USA / ACM, (2018)