] Filters: Author is Marco Gavanelli [Clear All Filters]
"Greedy and Exact Algorithms for Invitation Planning in Cancer Screening",
New Challenges in Applied Intelligence Technologies, pp. 255-264, 2008.
"Modelling Interactions via Commitments and Expectations",
Handbook of Research on Multi-Agent Systems: Semantics and Dynamics of Organizational Models: IGI Global, 2009.
"An Application of Fuzzy Logic to Strategic Environmental Assessment",
XII-th Conference of the Italian Association for Artificial Intelligence, Palermo, Springer Verlag, 2011.
"Constraint and Optimization techniques for supporting Policy Making",
International Symposium on Artificial Intelligence and Mathematics, ISAIM, 2012, 01/2012.
"Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture",
IEEE International Conference on Web Services (ICWS 2009): IEEE, pp. 254-261, 2009.
"Runtime Addition of Integrity Constraints in Abductive Logic Programs",
Proceedings of the 26th International Conference on Logic Programming (ICLP 2010), 2010.
"What-if analysis through simulation-optimization hybrids",
European Conference on Modeling and Simulation - Track on Policy Modeling, Koblenz, 2012.
Download: ecms12.pdf (1.62 MB)
"A Logic-Based, Reactive Calculus of Events",
{24th Convegno Italiano di Logica Computazionale (CILC09)}, 2009.
"Verification from Declarative Specifications Using Logic Programming",
15th RCRA workshop: Experimental evaluation of algorithms for solving problems with combinatorial explosion, 2008.
"Web Service contracting: Specification and Reasoning with SCIFF",
Proceedings of the 4th European Semantic Web Conference (ESWC'07), vol. 4519: Springer, pp. 68-83, 2007.
"A CHR-based implementation of known arc-consistency",
Theory and Practice of Logic Programming, vol. 5, no. 4-5, pp. 419-440, 2005.
"A Computational Logic Application Framework for Service Discovery and Contracting",
International Journal Web Service Research, vol. 8, no. 3: IGI Global, pp. 1-25, 2011.
"Dealing with incomplete knowledge on CLP(FD) variable domains",
ACM Trans. Program. Lang. Syst., vol. 27, no. 2, pp. 236-263, 2005.
"Logic-based decision support for strategic environmental assessment",
TPLP, vol. 10, no. 4-6, pp. 643-658, 2010.
"Sustainable biomass power plant location in the Italian Emilia-Romagna region",
ACM Transactions on Intelligent Systems and Technology, vol. 2, issue 4, 2011.
"Verifiable Agent Interaction in Abductive Logic Programming: The SCIFF framework",
ACM Transactions on Computational Logic (TOCL), vol. 9, no. 4, 2008.