Autor der Publikation

A spatial agent-based model for assessing strategies of adaptation to climate and tourism demand changes in an alpine tourism destination.

, , , und . Environmental Modelling and Software, (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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Mapping of Deontic Operators to Abductive Expectations., , , , , und . NORMAS, Seite 126-136. (2005)Iterated Fixpoint Well-Founded Semantics for Hybrid Knowledge Bases., , , und . ICTCS/CILC, Volume 1949 von CEUR Workshop Proceedings, Seite 248-261. CEUR-WS.org, (2017)Inducing Specification of Interaction Protocols and Business Processes and Proving their Properties., , , , und . Il Milione, Volume 487 von CEUR Workshop Proceedings, CEUR-WS.org, (2008)A Verifiable Logic-Based Agent Architecture., , , , und . ISMIS, Volume 4203 von Lecture Notes in Computer Science, Seite 188-197. Springer, (2006)A spatial agent-based model for assessing strategies of adaptation to climate and tourism demand changes in an alpine tourism destination., , , und . Environmental Modelling and Software, (2013)Probabilistic Hybrid Knowledge Bases Under the Distribution Semantics., , , und . AI*IA, Volume 10037 von Lecture Notes in Computer Science, Seite 364-376. Springer, (2016)Runtime Addition of Integrity Constraints in an Abductive Proof Procedure., , und . ICLP (Technical Communications), Volume 7 von LIPIcs, Seite 4-13. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2010)An abductive framework for a-priori verification of web services., , , , , und . PPDP, Seite 39-50. ACM, (2006)Specification and Verification of Agent Interaction using Social Integrity Constraints., , , , und . Electron. Notes Theor. Comput. Sci., 85 (2): 94-116 (2004)Expressing and Verifying Business Contracts with Abductive Logic Programming., , , , , , und . Normative Multi-agent Systems, Volume 07122 von Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, (2007)