Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Modeling Interactions Using Social Integrity Constraints: A Resource Sharing Case Study.

M. Alberti, M. Gavanelli, E. Lamma, P. Mello, and P. Torroni. DALT, volume 2990 of Lecture Notes in Computer Science, page 243-262. Springer, (2003)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

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, and 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

Other publications of authors with the same name

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, and M. Alberti. Environmental Modelling and Software, (2013)Mapping of Deontic Operators to Abductive Expectations.M. Alberti, M. Gavanelli, E. Lamma, P. Mello, P. Torroni, and G. Sartor. NORMAS, page 126-136. (2005)A Verifiable Logic-Based Agent Architecture.M. Alberti, F. Chesani, M. Gavanelli, E. Lamma, and P. Mello. ISMIS, volume 4203 of Lecture Notes in Computer Science, page 188-197. Springer, (2006)Inducing Specification of Interaction Protocols and Business Processes and Proving their Properties.M. Alberti, M. Gavanelli, E. Lamma, F. Riguzzi, and S. Storari. Il Milione, volume 487 of CEUR Workshop Proceedings, CEUR-WS.org, (2008)Iterated Fixpoint Well-Founded Semantics for Hybrid Knowledge Bases.M. Alberti, E. Lamma, F. Riguzzi, and R. Zese. ICTCS/CILC, volume 1949 of CEUR Workshop Proceedings, page 248-261. CEUR-WS.org, (2017)Probabilistic Hybrid Knowledge Bases Under the Distribution Semantics.M. Alberti, E. Lamma, F. Riguzzi, and R. Zese. AI*IA, volume 10037 of Lecture Notes in Computer Science, page 364-376. Springer, (2016)Runtime Addition of Integrity Constraints in an Abductive Proof Procedure.M. Alberti, M. Gavanelli, and E. Lamma. ICLP (Technical Communications), volume 7 of LIPIcs, page 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, and M. Montali. PPDP, page 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, and P. Torroni. Normative Multi-agent Systems, volume 07122 of 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, and P. Torroni. Electron. Notes Theor. Comput. Sci., 85 (2): 94-116 (2004)