PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Gavanelli, Marco"

Author of the publication

copydeleteadd this publication to your clipboard
A CHR-based Implementation of Known Arc-Consistency

, , , , and . CoRR, (2004)

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

Domains as First Class Objects in CLP(FD)., , , and . ICLP, page 608. MIT Press, (1999)What-If Analysis Through Simulation-Optimization Hybrids., , , and . ECMS, page 624-630. European Council for Modeling and Simulation, (2012)Reasoning on Datalog± Ontologies with Abductive Logic Programming., , , , , and . Fundam. Inform., 159 (1-2): 65-93 (2018)Mapping deontic operators to abductive expectations., , , , , and . Computational & Mathematical Organization Theory, 12 (2-3): 205-225 (2006)Logic-based decision support for strategic environmental assessment., , , and . TPLP, 10 (4-6): 643-658 (2010)Constraint and Optimization techniques for supporting Policy Making., , , and . CILC, volume 1068 of CEUR Workshop Proceedings, page 195-209. CEUR-WS.org, (2013)Deon + : Abduction and Constraints for Normative Reasoning., , and . Logic Programs, Norms and Action, volume 7360 of Lecture Notes in Computer Science, page 308-328. Springer, (2012)Computational Logic for Run-Time Verification of Web Services Choreographies: Exploiting the SOCS-SI Tool., , , , , , , and . WS-FM, volume 4184 of Lecture Notes in Computer Science, page 58-72. Springer, (2006)An ASP Approach for the Optimal Placement of the Isolation Valves in a Water Distribution System., and . DC@AI*IA, volume 926 of CEUR Workshop Proceedings, page 33-37. CEUR-WS.org, (2012)An Algorithm for Multi-Criteria Optimization in CSPs.. ECAI, page 136-140. IOS Press, (2002)