( en | de | ru )

 

Disambiguierung von "Giacomo, Giuseppe De"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Stochastic Best-Effort Strategies for Borel Goals.

, , , und . LICS, Seite 1-13. IEEE, (2023)

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.

Giacomo Ricciarelli

Giacomo D'Antonio

Giacomo Fornari

Giacomo Gazzaniga

Giacomo D'Antonio

 

Weitere Publikationen von Autoren mit dem selben Namen

A Formal Framework for Reasoning on UML Class Diagrams, , , und . ISMIS '02: Proceedings of the 13th International Symposium on Foundations of Intelligent Systems, Seite 503--513. London, UK, Springer-Verlag, (2002)What to ask to a peer: Ontology-based query reformulation, , , , und . Proc. of the 9th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR 2004), (2004)Building Virtual Behaviors from Partially Controllable Available Behaviors in Nondeterministic Environments., , und . ICAPS, AAAI, (2014)Reasoning about Actions and Planning in LTL Action Theories., , und . KR, Seite 593-602. Morgan Kaufmann, (2002)Rewriting of Regular Path Queries., , , und . SEBD, Seite 213-224. (1999)On First-Order mu-Calculus over Situation Calculus Action Theories, , , und . Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, KR 2016, Cape Town, South Africa, April 25-29, 2016., Seite 411--420. (2016)Monitoring Business Metaconstraints Based on LTL & LDL for Finite Traces., , , , und . Journal on Data Semantics, Seite 1-25. (2014)View-based query answering in Description Logics: Semantics and complexity., , , und . J. Comput. Syst. Sci., 78 (1): 26-46 (2012)Rewriting of Regular Expressions and Regular Path Queries., , , und . PODS, Seite 194-204. ACM Press, (1999)View-Based Query Processing for Regular Path Queries with Inverse., , , und . PODS, Seite 58-66. ACM, (2000)