Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

The CHR-based Implementation of a System for Generation and Confirmation of Hypotheses.

M. Alberti, F. Chesani, M. Gavanelli, und E. Lamma. W(C)LP, Volume 2005-01 von Ulmer Informatik-Berichte, Seite 111-122. Universität Ulm, Germany, (2005)

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.

Marco Ströbel University of Stuttgart

Univ. -Prof. Dr. -Ing. habil. Marco Huber University of Stuttgart

XAutoML: A Visual Analytics Tool for Understanding and Validating Automated Machine LearningM. Zöller, W. Titov, T. Schlegel, und M. Huber. ACM transactions on interactive intelligent systems, 13 (4): 28; 1-39 (2023)

Marco Testa University of Stuttgart

Marco Maier University of Stuttgart

Dr. Marco Spurk University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

A spatial agent-based model for assessing strategies of adaptation to climate and tourism demand changes in an alpine tourism destination.S. Balbi, C. Giupponi, P. Perez, und M. Alberti. Environmental Modelling and Software, (2013)Mapping of Deontic Operators to Abductive Expectations.M. Alberti, M. Gavanelli, E. Lamma, P. Mello, P. Torroni, und G. Sartor. NORMAS, Seite 126-136. (2005)A Verifiable Logic-Based Agent Architecture.M. Alberti, F. Chesani, M. Gavanelli, E. Lamma, und P. Mello. ISMIS, Volume 4203 von Lecture Notes in Computer Science, Seite 188-197. Springer, (2006)Inducing Specification of Interaction Protocols and Business Processes and Proving their Properties.M. Alberti, M. Gavanelli, E. Lamma, F. Riguzzi, und S. Storari. Il Milione, Volume 487 von CEUR Workshop Proceedings, CEUR-WS.org, (2008)Iterated Fixpoint Well-Founded Semantics for Hybrid Knowledge Bases.M. Alberti, E. Lamma, F. Riguzzi, und R. Zese. ICTCS/CILC, Volume 1949 von CEUR Workshop Proceedings, Seite 248-261. CEUR-WS.org, (2017)Probabilistic Hybrid Knowledge Bases Under the Distribution Semantics.M. Alberti, E. Lamma, F. Riguzzi, und R. Zese. 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.M. Alberti, M. Gavanelli, und E. Lamma. 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.M. Alberti, M. Gavanelli, E. Lamma, F. Chesani, P. Mello, und M. Montali. PPDP, Seite 39-50. ACM, (2006)Expressing and Verifying Business Contracts with Abductive Logic Programming.M. Alberti, F. Chesani, M. Gavanelli, E. Lamma, P. Mello, M. Montali, und P. Torroni. Normative Multi-agent Systems, Volume 07122 von Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, (2007)Specification and Verification of Agent Interaction using Social Integrity Constraints.M. Alberti, M. Gavanelli, E. Lamma, P. Mello, und P. Torroni. Electron. Notes Theor. Comput. Sci., 85 (2): 94-116 (2004)