Marco Gavanelli
Orcid: 0000-0001-7433-5899Affiliations:
- Ferrara University, Italy
According to our database1,
Marco Gavanelli
authored at least 111 papers
between 1999 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
Artif. Intell. Rev., December, 2024
Geometric reasoning on the euclidean traveling salesperson problem in answer set programming<sup>1</sup>.
Intelligenza Artificiale, 2024
2023
Decomposition approaches for scheduling chronic outpatients' clinical pathways in Answer Set Programming.
J. Log. Comput., December, 2023
Logic-Based Benders Decomposition in Answer Set Programming for Chronic Outpatients Scheduling.
Theory Pract. Log. Program., July, 2023
Modeling opinion polarization on social media: application to Covid-19 vaccination hesitancy in Italy.
CoRR, 2023
Geometric reasoning on the Traveling Salesperson Problem: comparing Answer Set Programming and Constraint Logic Programming Approaches.
Proceedings of the International Conference on Logic Programming 2023 Workshops co-located with the 39th International Conference on Logic Programming (ICLP 2023), 2023
Proceedings of the 38th Italian Conference on Computational Logic, 2023
2022
Comparing Emotion and Sentiment Analysis Tools on Italian anti-vaccination for COVID-19 posts.
Proceedings of the Sixth Workshop on Natural Language for Artificial Intelligence (NL4AI 2022) co-located with 21th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2022), 2022
2021
Theory Pract. Log. Program., 2021
CoRR, 2021
2020
Declarative and Mathematical Programming approaches to Decision Support Systems for food recycling.
Eng. Appl. Artif. Intell., 2020
Proceedings of the 27th International Symposium on Temporal Representation and Reasoning, 2020
Proceedings of the 35th Italian Conference on Computational Logic, 2020
Improving the Efficiency of Euclidean TSP Solving in Constraint Programming by Predicting Effective Nocrossing Constraints.
Proceedings of the Joint Proceedings of the 8th Italian Workshop on Planning and Scheduling and the 27th International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion co-located with AIxIA 2020, 2020
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020
2018
ACM Trans. Internet Techn., 2018
Fundam. Informaticae, 2018
Fundam. Informaticae, 2018
Electron. Notes Discret. Math., 2018
Proceedings of the 25th International Symposium on Temporal Representation and Reasoning, 2018
Wavelength-Routed Optical Networks-on-Chip: Design Methods and Tools to Bridge the Gap Between Logic Topologies and Physical Ones in 3D Architectures.
Proceedings of the 2018 on Great Lakes Symposium on VLSI, 2018
2017
Logic programming approaches for routing fault-free and maximally parallel wavelength-routed optical networks-on-chip (Application paper).
Theory Pract. Log. Program., 2017
Intelligenza Artificiale, 2017
Proceedings of the Rules and Reasoning - International Joint Conference, 2017
2016
Design technology for fault-free and maximally-parallel wavelength-routed optical networks-on-chip.
Proceedings of the 35th International Conference on Computer-Aided Design, 2016
2015
An ASP approach for the valves positioning optimization in a water distribution system.
J. Log. Comput., 2015
AI Commun., 2015
Proceedings of the New Frontiers in Artificial Intelligence, 2015
Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015), Cork, Ireland, August 31, 2015
Proceedings of the 30th Italian Conference on Computational Logic, 2015
Proceedings of the 1st Workshop on Artificial Intelligence and Design, 2015
2014
AI Mag., 2014
Proceedings of the 29th Italian Conference on Computational Logic, 2014
2013
Fundam. Informaticae, 2013
Proceedings of the IJCAI 2013, 2013
Proceedings of the 27th European Conference on Modelling and Simulation, 2013
Proceedings of the 28th Italian Conference on Computational Logic, 2013
2012
18th RCRA International Workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion".
AI Commun., 2012
A Bilevel Mixed Integer Linear Programming Model for Valves Location in Water Distribution Systems.
Proceedings of the 3rd Student Conference on Operational Research, 2012
Improving Quality and Efficiency in Home Health Care: an application of Constraint Logic Programming for the Ferrara NHS unit.
Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012
Genetic Algorithms for Scheduling Devices Operation in a Water Distribution System in Response to Contamination Events.
Proceedings of the Evolutionary Computation in Combinatorial Optimization, 2012
Proceedings of the 26th European Conference on Modelling and Simulation, 2012
An ASP Approach for the Valves Positioning Optimization in a Water Distribution System.
Proceedings of the 9th Italian Convention on Computational Logic, 2012
Proceedings of the Logic Programs, Norms and Action, 2012
An ASP Approach for the Optimal Placement of the Isolation Valves in a Water Distribution System.
Proceedings of the Doctoral Consortium of the 12th Symposium of the Italian Association for Artificial Intelligence, 2012
2011
Theory Pract. Log. Program., 2011
ACM Trans. Intell. Syst. Technol., 2011
Int. J. Web Serv. Res., 2011
Learning specifications of interaction protocols and business processes and proving their properties.
Intelligenza Artificiale, 2011
RCRA 2009 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion.
Fundam. Informaticae, 2011
17th RCRA international workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion".
Ann. Math. Artif. Intell., 2011
Proceedings of the AI*IA 2011: Artificial Intelligence Around Man and Beyond, 2011
2010
Theory Pract. Log. Program., 2010
Proceedings of the Technical Communications of the 26th International Conference on Logic Programming, 2010
Proceedings of the 25th Italian Conference on Computational Logic, 2010
Proceedings of the A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, 2010
2009
Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture.
Proceedings of the IEEE International Conference on Web Services, 2009
Proceedings of the Logic Programming, 25th International Conference, 2009
Proceedings of the Argumentation in Artificial Intelligence, 2009
Proceedings of the Handbook of Research on Multi-Agent Systems, 2009
2008
Proceedings of the New Challenges in Applied Intelligence Technologies, 2008
ACM Trans. Comput. Log., 2008
RCRA 2007: Experimental evaluation of algorithms for solving problems with combinatorial explosion.
J. Algorithms, 2008
Int. J. Electron. Commer., 2008
Proceedings of the 5th Workshop on Semantic Web Applications and Perspectives (SWAP2008), 2008
Proceedings of the Logic Programming, 24th International Conference, 2008
Proceedings of the ECAI 2008, 2008
Inducing Specification of Interaction Protocols and Business Processes and Proving their Properties.
Proceedings of the Il Milione (i.e. 2^6), 2008
2007
Specification and Verification of Agent Interaction Protocols in a Logic-based System.
Scalable Comput. Pract. Exp., 2007
Proceedings of the Web Reasoning and Rule Systems, First International Conference, 2007
Proceedings of the Semantic Web: Research and Applications, 2007
Proceedings of the Principles and Practice of Constraint Programming, 2007
2006
Comput. Math. Organ. Theory, 2006
Appl. Artif. Intell., 2006
Computational Logic for Run-Time Verification of Web Services Choreographies: Exploiting the <i>SOCS-SI</i> Tool.
Proceedings of the Web Services and Formal Methods, Third International Workshop, 2006
Proceedings of the SWAP 2006, 2006
Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2006
Proceedings of the Foundations of Intelligent Systems, 16th International Symposium, 2006
2005
Theory Pract. Log. Program., 2005
ACM Trans. Program. Lang. Syst., 2005
Expressing interaction in combinatorial auction through social integrity constraints.
Intelligenza Artificiale, 2005
The CHR-based Implementation of a System for Generation and Confirmation of Hypotheses.
Proceedings of the 19th Workshop on (Constraint) Logic Programming, 2005
Expressing Interaction in Combinatorial Auction through Social Integrity Constraints.
Proceedings of the 19th Workshop on (Constraint) Logic Programming, 2005
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005
Proceedings of the Engineering Societies in the Agents World VI, 2005
Specification and Verification of Agent Interaction Using Abductive Reasoning (Tutorial Paper).
Proceedings of the Computational Logic in Multi-Agent Systems, 6th International Workshop, 2005
Proceedings of the AI*IA 2005: Advances in Artificial Intelligence, 2005
2004
Proceedings of the 13th IEEE International Workshops on Enabling Technologies (WETICE 2004), 2004
Specification and verification of agent interaction protocols in a logic-based system.
Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004
The SOCS Computational Logic Approach to the Specification and Verification of Agent Societies.
Proceedings of the Global Computing, IST/FET International Workshop, 2004
Proceedings of the Computational Logic in Multi-Agent Systems, 4th International Workshop, 2004
2003
Specification and Verification of Agent Interaction using Social Integrity Constraints.
Proceedings of the 1st International Workshop on Logic and Communication in Multi-Agent Systems, 2003
Modeling Interactions Using Social Integrity Constraints: A Resource Sharing Case Study.
Proceedings of the Declarative Agent Languages and Technologies, 2003
Proceedings of the Multi-Agent Systems and Applications III, 2003
Proceedings of the AI*IA 2003: Advances in Artificial Intelligence, 2003
Interpreting Abduction in CLP.
Proceedings of the 2003 Joint Conference on Declarative Programming, 2003
2002
Proceedings of the Frontiers of Combining Systems, 4th International Workshop, 2002
An Algorithm for Multi-Criteria Optimization in CSPs.
Proceedings of the 15th European Conference on Artificial Intelligence, 2002
2001
New Gener. Comput., 2001
Proceedings of the Principles and Practice of Constraint Programming, 2001
1999
Proceedings of the Workshop on Optimization and Implementation of Declarative Programs, 1999
Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999
Domains as First Class Objects in CLP(FD).
Proceedings of the Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29, 1999