( en | de | ru )

 

Disambiguierung von "Giacomo, Giuseppe De"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Intensional Query Answering: An Application of Partial Evaluation.

. LOPSTR, Seite 132-150. Springer, (1992)

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

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)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)Reasoning about Actions and Planning in LTL Action Theories., , und . KR, Seite 593-602. Morgan Kaufmann, (2002)Building Virtual Behaviors from Partially Controllable Available Behaviors in Nondeterministic Environments., , und . ICAPS, AAAI, (2014)View-based query answering in Description Logics: Semantics and complexity., , , und . J. Comput. Syst. Sci., 78 (1): 26-46 (2012)Agent composition synthesis based on ATL., und . AAMAS, Seite 499-506. IFAAMAS, (2010)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)Structured Objects: Modeling and Reasoning., , und . DOOD, Volume 1013 von Lecture Notes in Computer Science, Seite 229-246. Springer, (1995)