default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMarco Gavanelli
Person information
- affiliation: Ferrara University, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j43]Marco Gavanelli, Pascual Julián Iranzo, Fernando Sáenz-Pérez:
An efficient propositional system for Abductive Logic Programming. Artif. Intell. Rev. 57(12): 334 (2024)- [j42]Alessandro Bertagnon, Marco Gavanelli:
Geometric reasoning on the euclidean traveling salesperson problem in answer set programming1. Intelligenza Artificiale 18(1): 139-152 (2024) - [j41]Alessandro Bertagnon, Marco Gavanelli:
ASPECT: Answer Set rePresentation as vEctor graphiCs in laTex. J. Log. Comput. 34(8): 1580-1607 (2024) - [c73]Michela Vespa
, Elena Bellodi, Federico Chesani, Daniela Loreti, Paola Mello, Evelina Lamma, Anna Ciampolini, Marco Gavanelli, Riccardo Zese:
Probabilistic Traces in Declarative Process Mining. AI*IA 2024: 330-345 - [c72]Alessandro Bertagnon, Marco Gavanelli:
Stronger integration of circuit and alldifferent propagators for the Hamiltonian Cycle Problem. AI4CC-IPS-RCRA-SPIRIT@AI*IA 2024 - [c71]Paola Cappanera, Simone Caruso, Carmine Dodaro, Giuseppe Galatà, Marco Gavanelli, Marco Maratea, Cinzia Marte, Marco Mochi, Maddalena Nonato, Marco Roma:
Recent Answer Set Programming Applications to Scheduling Problems in Digital Health. AI4CC-IPS-RCRA-SPIRIT@AI*IA 2024 - 2023
- [j40]Paola Cappanera, Marco Gavanelli, Maddalena Nonato, Marco Roma:
Decomposition approaches for scheduling chronic outpatients' clinical pathways in Answer Set Programming. J. Log. Comput. 33(8): 1851-1871 (2023) - [j39]Paola Cappanera, Marco Gavanelli, Maddalena Nonato, Marco Roma:
Logic-Based Benders Decomposition in Answer Set Programming for Chronic Outpatients Scheduling. Theory Pract. Log. Program. 23(4): 848-864 (2023) - [c70]Alessandro Bertagnon, Marco Gavanelli, Fabio Zanotti:
ASPECT: Answer Set rePresentation as vEctor graphiCs in laTex. CILC 2023 - [c69]Alessandro Bertagnon, Marco Gavanelli:
Geometric reasoning on the Traveling Salesperson Problem: comparing Answer Set Programming and Constraint Logic Programming Approaches. ICLP Workshops 2023 - [i9]Jonathan Franceschi, Lorenzo Pareschi, Elena Bellodi, Marco Gavanelli, Marco Bresadola:
Modeling opinion polarization on social media: application to Covid-19 vaccination hesitancy in Italy. CoRR abs/2302.01028 (2023) - [i8]Paola Cappanera, Marco Gavanelli, Maddalena Nonato, Marco Roma:
Logic-Based Benders Decomposition in Answer Set Programming for Chronic Outpatients Scheduling. CoRR abs/2305.11969 (2023) - 2022
- [c68]Elena Bellodi, Alessandro Bertagnon, Marco Gavanelli:
Comparing Emotion and Sentiment Analysis Tools on Italian anti-vaccination for COVID-19 posts. NL4AI@AI*IA 2022: 71-84 - 2021
- [j38]Alessandro Bertagnon, Marco Gavanelli, Alessandro Passantino, Guido Sciavicco, Stefano Trevisani:
Branching interval algebra: An almost complete picture. Inf. Comput. 281: 104809 (2021) - [j37]Elena Bellodi, Marco Gavanelli, Riccardo Zese, Evelina Lamma, Fabrizio Riguzzi:
Nonground Abductive Logic Programming with Probabilistic Integrity Constraints. Theory Pract. Log. Program. 21(5): 557-574 (2021) - [i7]Elena Bellodi, Marco Gavanelli, Riccardo Zese, Evelina Lamma, Fabrizio Riguzzi:
Non-ground Abductive Logic Programming with Probabilistic Integrity Constraints. CoRR abs/2108.03033 (2021) - 2020
- [j36]Federico Chesani, Giuseppe Cota, Marco Gavanelli, Evelina Lamma, Paola Mello, Fabrizio Riguzzi:
Declarative and Mathematical Programming approaches to Decision Support Systems for food recycling. Eng. Appl. Artif. Intell. 95: 103861 (2020) - [j35]Marco Alberti, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Ken Satoh, Riccardo Zese:
Dischargeable Obligations in the 𝒮CIFF Framework. Fundam. Informaticae 176(3-4): 321-348 (2020) - [c67]Alessandro Bertagnon, Marco Gavanelli:
Improved Filtering for the Euclidean Traveling Salesperson Problem in CLP(FD). AAAI 2020: 1412-1419 - [c66]Elena Bellodi, Alessandro Bertagnon, Marco Gavanelli, Riccardo Zese:
Improving the Efficiency of Euclidean TSP Solving in Constraint Programming by Predicting Effective Nocrossing Constraints. IPS-RCRA@AI*IA 2020 - [c65]Elena Bellodi, Alessandro Bertagnon, Marco Gavanelli, Riccardo Zese:
Improving the Efficiency of Euclidean TSP Solving in Constraint Programming by Predicting Effective Nocrossing Constraints. AI*IA 2020: 318-334 - [c64]Alessandro Bertagnon, Marco Gavanelli, Guido Sciavicco, Stefano Trevisani:
On (Maximal, Tractable) Fragments of the Branching Algebra. CILC 2020: 113-126 - [c63]Alessandro Bertagnon, Marco Gavanelli, Alessandro Passantino, Guido Sciavicco, Stefano Trevisani:
The Horn Fragment of Branching Algebra. TIME 2020: 5:1-5:16
2010 – 2019
- 2019
- [c62]Marco Gavanelli, Marco Alberti, Evelina Lamma:
Accountable Protocols in Abductive Logic Programming. CILC 2019 - 2018
- [j34]Maddalena Nonato, Davide Bertozzi, Marco Gavanelli, Andrea Peano:
A network model for routing-fault-free wavelength selection in WRONoCs design. Electron. Notes Discret. Math. 64: 285-294 (2018) - [j33]Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali:
Evaluating Compliance: From LTL to Abductive Logic Programming. Fundam. Informaticae 159(1-2): 35-63 (2018) - [j32]Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Giuseppe Cota:
Reasoning on Datalog± Ontologies with Abductive Logic Programming. Fundam. Informaticae 159(1-2): 65-93 (2018) - [j31]Marco Gavanelli, Marco Alberti, Evelina Lamma:
Accountable Protocols in Abductive Logic Programming. ACM Trans. Internet Techn. 18(4): 46:1-46:20 (2018) - [c61]Davide Bertozzi, Marco Gavanelli, Maddalena Nonato:
Wavelength-Routed Optical Networks-on-Chip: Design Methods and Tools to Bridge the Gap Between Logic Topologies and Physical Ones in 3D Architectures. ACM Great Lakes Symposium on VLSI 2018: 311-316 - [c60]Marco Gavanelli, Alessandro Passantino, Guido Sciavicco:
Deciding the Consistency of Branching Time Interval Networks. TIME 2018: 12:1-12:15 - 2017
- [j30]Marco Gavanelli:
SLDNF-Draw: Visualization of Prolog operational semantics in LaTeX. Intelligenza Artificiale 11(1): 81-92 (2017) - [j29]Marco Gavanelli, Maddalena Nonato, Andrea Peano, Davide Bertozzi:
Logic programming approaches for routing fault-free and maximally parallel wavelength-routed optical networks-on-chip (Application paper). Theory Pract. Log. Program. 17(5-6): 800-818 (2017) - [c59]Marco Alberti, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Riccardo Zese:
Dischargeable Obligations in Abductive Logic Programming. RuleML+RR 2017: 7-21 - [i6]Marco Gavanelli, Maddalena Nonato, Andrea Peano, Davide Bertozzi:
Logic Programming approaches for routing fault-free and maximally-parallel Wavelength Routed Optical Networks on Chip (Application paper). CoRR abs/1707.05858 (2017) - 2016
- [c58]Andrea Peano, Luca Ramini, Marco Gavanelli, Maddalena Nonato, Davide Bertozzi:
Design technology for fault-free and maximally-parallel wavelength-routed optical networks-on-chip. ICCAD 2016: 3 - [e5]Marco Gavanelli, John H. Reppy:
Practical Aspects of Declarative Languages - 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings. Lecture Notes in Computer Science 9585, Springer 2016, ISBN 978-3-319-28227-5 [contents] - 2015
- [j28]Massimiliano Cattafi, Rosa Herrero, Marco Gavanelli, Maddalena Nonato, Federico Malucelli:
An application of constraint solving for home health care. AI Commun. 28(2): 215-237 (2015) - [j27]Marco Gavanelli, Maddalena Nonato, Andrea Peano, Stefano Alvisi, Marco Franchini:
Scheduling countermeasures to contamination events by genetic algorithms. AI Commun. 28(2): 259-282 (2015) - [j26]Marco Gavanelli, Maddalena Nonato, Andrea Peano:
An ASP approach for the valves positioning optimization in a water distribution system. J. Log. Comput. 25(6): 1351-1369 (2015) - [c57]Marco Gavanelli, Maddalena Nonato, Andrea Peano:
The Isolation System Design in Hydraulic Networks. AIDE@AI*IA 2015: 21-26 - [c56]Marco Montali, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello:
Evaluating compliance: from LTL to abductive logic programming. CILC 2015: 101-116 - [c55]Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Giuseppe Cota:
Abductive logic programming for Datalog +/- ontologies. CILC 2015: 128-143 - [c54]Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Giuseppe Cota:
An Abductive Framework for Datalog± Ontologies. ICLP (Technical Communications) 2015 - [c53]Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Giuseppe Cota:
Abductive Logic Programming for Normative Reasoning and Ontologies. JSAI-isAI Workshops 2015: 187-203 - [e4]Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi:
AI*IA 2015, Advances in Artificial Intelligence - XIVth International Conference of the Italian Association for Artificial Intelligence, Ferrara, Italy, September 23-25, 2015, Proceedings. Lecture Notes in Computer Science 9336, Springer 2015, ISBN 978-3-319-24308-5 [contents] - 2014
- [j25]Michela Milano, Barry O'Sullivan, Marco Gavanelli:
Sustainable Policy Making: A Strategic Challenge for Artificial Intelligence. AI Mag. 35(3): 22-35 (2014) - [c52]Marco Gavanelli, Michela Milano, Stefano Bragaglia, Federico Chesani, Elisa Marengo, Paolo Cagnoli:
Multi-Criteria Optimal Planning for Energy Policies in CLP. CILC 2014: 54-68 - [i5]Marco Gavanelli, Stefano Bragaglia, Michela Milano, Federico Chesani, Elisa Marengo, Paolo Cagnoli:
Multi-Criteria Optimal Planning for Energy Policies in CLP. CoRR abs/1405.3824 (2014) - 2013
- [j24]Marco Alberti, Marco Gavanelli, Evelina Lamma:
The CHR-based Implementation of the SCIFF Abductive System. Fundam. Informaticae 124(4): 365-381 (2013) - [j23]Marco Gavanelli, Toni Mancini:
Automated reasoning. Intelligenza Artificiale 7(2): 113-124 (2013) - [j22]Marco Gavanelli, Martin Gebser:
The ICLP 2013 Doctoral Consortium. Theory Pract. Log. Program. 13(4-5-Online-Supplement) (2013) - [c51]Marco Gavanelli, Fabrizio Riguzzi, Michela Milano, Paolo Cagnoli:
Constraint and Optimization techniques for supporting Policy Making. CILC 2013: 195-209 - [c50]Andrea Borghesi, Michela Milano, Marco Gavanelli, Tony Woods:
Simulation Of Incentive Mechanisms For Renewable Energy Policies. ECMS 2013: 32-38 - [c49]Massimiliano Cattafi, Marco Gavanelli, Maddalena Nonato, Stefano Alvisi, Marco Franchini:
Optimal Valve Placement in Water Distribution Networks with CLP(FD). IJCAI 2013: 2987-2991 - 2012
- [j21]Marco Gavanelli, Toni Mancini:
18th RCRA International Workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion". AI Commun. 25(2): 73-74 (2012) - [c48]Andrea Peano, Marco Gavanelli:
An ASP Approach for the Optimal Placement of the Isolation Valves in a Water Distribution System. DC@AI*IA 2012: 33-37 - [c47]Marco Alberti, Marco Gavanelli, Evelina Lamma:
Deon + : Abduction and Constraints for Normative Reasoning. Logic Programs, Norms and Action 2012: 308-328 - [c46]Marco Gavanelli, Maddalena Nonato, Andrea Peano, Stefano Alvisi, Marco Franchini:
An ASP Approach for the Valves Positioning Optimization in a Water Distribution System. CILC 2012: 134-148 - [c45]Marco Gavanelli, Michela Milano, Alan Holland, Barry O'Sullivan:
What-If Analysis Through Simulation-Optimization Hybrids. ECMS 2012: 624-630 - [c44]Marco Gavanelli, Maddalena Nonato, Andrea Peano, Stefano Alvisi, Marco Franchini:
Genetic Algorithms for Scheduling Devices Operation in a Water Distribution System in Response to Contamination Events. EvoCOP 2012: 124-135 - [c43]Massimiliano Cattafi, Rosa Herrero, Marco Gavanelli, Maddalena Nonato, Federico Malucelli:
Improving Quality and Efficiency in Home Health Care: an application of Constraint Logic Programming for the Ferrara NHS unit. ICLP (Technical Communications) 2012: 415-424 - [c42]Marco Gavanelli, Fabrizio Riguzzi, Michela Milano, Paolo Cagnoli:
Constraint and Optimization techniques for supporting Policy Making. ISAIM 2012 - [c41]Andrea Peano, Maddalena Nonato, Marco Gavanelli, Stefano Alvisi, Marco Franchini:
A Bilevel Mixed Integer Linear Programming Model for Valves Location in Water Distribution Systems. SCOR 2012: 103-112 - 2011
- [j20]Marco Gavanelli, Toni Mancini:
17th RCRA international workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion". Ann. Math. Artif. Intell. 62(3-4): 159-160 (2011) - [j19]Marco Gavanelli, Toni Mancini, Alberto Pettorossi:
RCRA 2009 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion. Fundam. Informaticae 107(2-3) (2011) - [j18]Marco Alberti, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Sergio Storari:
Learning specifications of interaction protocols and business processes and proving their properties. Intelligenza Artificiale 5(1): 71-75 (2011) - [j17]Marco Alberti, Massimiliano Cattafi, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni:
A Computational Logic Application Framework for Service Discovery and Contracting. Int. J. Web Serv. Res. 8(3): 1-25 (2011) - [j16]Massimiliano Cattafi, Marco Gavanelli, Michela Milano, Paolo Cagnoli:
Sustainable biomass power plant location in the Italian Emilia-Romagna region. ACM Trans. Intell. Syst. Technol. 2(4): 33:1-33:19 (2011) - [j15]Massimiliano Cattafi, Marco Gavanelli, Maddalena Nonato, Stefano Alvisi, Marco Franchini:
Optimal placement of valves in a water distribution network with CLP(FD). Theory Pract. Log. Program. 11(4-5): 731-747 (2011) - [c40]Marco Gavanelli, Fabrizio Riguzzi, Michela Milano, Davide Sottara, Alessandro Cangini, Paolo Cagnoli:
An Application of Fuzzy Logic to Strategic Environmental Assessment. AI*IA 2011: 324-335 - [c39]Marco Alberti, Marco Gavanelli, Evelina Lamma:
The CHR-based Implementation of the SCIFF Abductive System. CILC 2011: 163-177 - [i4]Massimiliano Cattafi, Marco Gavanelli, Maddalena Nonato, Stefano Alvisi, Marco Franchini:
Optimal Placement of Valves in a Water Distribution Network with CLP(FD). CoRR abs/1109.1248 (2011) - 2010
- [j14]Marco Gavanelli, Toni Mancini:
Preface. Fundam. Informaticae 102(3-4) (2010) - [j13]Marco Gavanelli, Fabrizio Riguzzi, Alberto Pettorossi:
Preface. Fundam. Informaticae 105(1-2) (2010) - [j12]Marco Gavanelli, Fabrizio Riguzzi, Michela Milano, Paolo Cagnoli:
Logic-based decision support for strategic environmental assessment. Theory Pract. Log. Program. 10(4-6): 643-658 (2010) - [c38]Marco Alberti, Marco Gavanelli, Evelina Lamma:
Runtime Addition of Integrity Constraints in SCIFF. CILC 2010 - [c37]Marco Alberti, Marco Gavanelli, Evelina Lamma:
Runtime Addition of Integrity Constraints in an Abductive Proof Procedure. ICLP (Technical Communications) 2010: 4-13 - [p4]Marco Gavanelli, Francesca Rossi:
Constraint Logic Programming. 25 Years GULP 2010: 64-86 - [e3]Marco Gavanelli, Toni Mancini:
Proceedings of the 16th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, RCRA@AI*IA 2009, Reggio Emilia, Italy, December 11-12, 2009. CEUR Workshop Proceedings 589, CEUR-WS.org 2010 [contents] - [e2]Marco Gavanelli, Toni Mancini:
Proceedings of the 17th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, RCRA@CPAIOR 2010, Bologna, Italy, June 10-11, 2010. CEUR Workshop Proceedings 616, CEUR-WS.org 2010 [contents] - [i3]Marco Gavanelli, Fabrizio Riguzzi, Michela Milano, Paolo Cagnoli:
Logic-Based Decision Support for Strategic Environmental Assessment. CoRR abs/1007.3159 (2010)
2000 – 2009
- 2009
- [c36]Marco Gavanelli, Marco Alberti, Evelina Lamma:
Integration of Abductive Reasoning and Constraint Optimization in SCIFF. ICLP 2009: 387-401 - [c35]Marco Alberti, Massimiliano Cattafi, Federico Chesani, Marco Gavanelli, Evelina Lamma, Marco Montali, Paola Mello, Paolo Torroni:
Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture. ICWS 2009: 254-261 - [p3]Paolo Torroni, Pinar Yolum, Munindar P. Singh, Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello:
Modelling Interactions via Commitments and Expectations. Handbook of Research on Multi-Agent Systems 2009: 263-284 - [p2]Paolo Torroni, Marco Gavanelli, Federico Chesani:
Arguing on the Semantic Grid. Argumentation in Artificial Intelligence 2009: 423-441 - 2008
- [j11]Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni:
Expressing and Verifying Business Contracts with Abductive Logic Programming. Int. J. Electron. Commer. 12(4): 9-38 (2008) - [j10]Marco Gavanelli, Toni Mancini:
RCRA 2007: Experimental evaluation of algorithms for solving problems with combinatorial explosion. J. Algorithms 63(1-3): 1-2 (2008) - [j9]Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni:
Verifiable agent interaction in abductive logic programming: The SCIFF framework. ACM Trans. Comput. Log. 9(4): 29:1-29:43 (2008) - [c34]Marco Alberti, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Sergio Storari:
Inducing Specification of Interaction Protocols and Business Processes and Proving their Properties. Il Milione 2008 - [c33]Marco Gavanelli, Marco Alberti, Evelina Lamma:
Integrating Abduction and Constraint Optimization in Constraint Handling Rules. ECAI 2008: 903-904 - [c32]Marco Montali, Paolo Torroni, Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello:
Verification from Declarative Specifications Using Logic Programming. ICLP 2008: 440-454 - [c31]Marco Alberti, Massimiliano Cattafi, Marco Gavanelli, Evelina Lamma:
Exploiting Semantic Technology in Computational Logic-based Service Contracting. SWAP 2008 - [p1]Marco Gavanelli, Michela Milano, Sergio Storari, Luca Tagliavini, Paola Baldazzi, Marilena Manfredi, Gianfranco Valastro:
Greedy and Exact Algorithms for Invitation Planning in Cancer Screening. New Challenges in Applied Intelligence Technologies 2008: 255-264 - [e1]Marco Gavanelli, Toni Mancini:
Proceedings of the 15th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, Udine, Italy, December 12-13, 2008. CEUR Workshop Proceedings 451, CEUR-WS.org 2008 [contents] - 2007
- [j8]Paolo Torroni, Marco Gavanelli, Federico Chesani:
Argumentation in the Semantic Web. IEEE Intell. Syst. 22(6): 66-74 (2007) - [j7]Marco Alberti, Federico Chesani, Davide Daolio, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni:
Specification and Verification of Agent Interaction Protocols in a Logic-based System. Scalable Comput. Pract. Exp. 8(1) (2007) - [c30]Marco Gavanelli:
The Log-Support Encoding of CSP into SAT. CP 2007: 815-822 - [c29]Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni:
Web Service Contracting: Specification and Reasoning with SCIFF. ESWC 2007: 68-83 - [c28]Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni:
A Rule-Based Approach for Reasoning About Collaboration Between Smart Web Services. RR 2007: 279-288 - [i2]Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni:
Expressing and Verifying Business Contracts with Abductive Logic Programming. Normative Multi-agent Systems 2007 - 2006
- [j6]Marco Alberti, Marco Gavanelli, Evelina Lamma, Federico Chesani, Paola Mello, Paolo Torroni:
Compliance verification of agent interaction: a logic-based software tool. Appl. Artif. Intell. 20(2-4): 133-157 (2006) - [j5]Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni, Giovanni Sartor:
Mapping deontic operators to abductive expectations. Comput. Math. Organ. Theory 12(2-3): 205-225 (2006) - [c27]Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello:
A Verifiable Logic-Based Agent Architecture. ISMIS 2006: 188-197 - [c26]Marco Alberti, Marco Gavanelli, Evelina Lamma, Federico Chesani, Paola Mello, Marco Montali:
An abductive framework for a-priori verification of web services. PPDP 2006: 39-50 - [c25]Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello:
Policy-based Reasoning for Smart Web Service Interaction. SWAP 2006 - [c24]Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Sergio Storari, Paolo Torroni:
Computational Logic for Run-Time Verification of Web Services Choreographies: Exploiting the SOCS-SI Tool. WS-FM 2006: 58-72 - 2005
- [j4]Marco Alberti, Federico Chesani, Marco Gavanelli, Alessio Guerri, Evelina Lamma, Paola Mello, Paolo Torroni:
Expressing interaction in combinatorial auction through social integrity constraints. Intelligenza Artificiale 2(1): 22-29 (2005) - [j3]Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano:
Dealing with incomplete knowledge on CLP(FD) variable domains. ACM Trans. Program. Lang. Syst. 27(2): 236-263 (2005) - [j2]Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano:
A CHR-based implementation of known arc-consistency. Theory Pract. Log. Program. 5(4-5): 419-440 (2005) - [c23]Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni:
The SCIFF Abductive Proof-Procedure. AI*IA 2005: 135-147 - [c22]Federico Chesani, Marco Gavanelli, Marco Alberti, Evelina Lamma, Paola Mello, Paolo Torroni:
Specification and Verification of Agent Interaction Using Abductive Reasoning (Tutorial Paper). CLIMA 2005: 243-264 - [c21]Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni:
Security Protocols Verification in Abductive Logic Programming: A Case Study. ESAW 2005: 106-124 - [c20]Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni:
Abduction with Hypotheses Confirmation. IJCAI 2005: 1545-1546 - [c19]Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni, Giovanni Sartor:
Mapping of Deontic Operators to Abductive Expectations. NORMAS 2005: 126-136 - [c18]Marco Alberti, Federico Chesani, Alessio Guerri, Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano, Paolo Torroni:
Expressing Interaction in Combinatorial Auction through Social Integrity Constraints. W(C)LP 2005: 53-64 - [c17]Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma:
The CHR-based Implementation of a System for Generation and Confirmation of Hypotheses. W(C)LP 2005: 111-122 - 2004
- [c16]Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni:
An Abductive Framework for Information Exchange in Multi-agent Systems. CLIMA 2004: 34-52 - [c15]Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni:
The SOCS Computational Logic Approach to the Specification and Verification of Agent Societies. Global Computing 2004: 314-339 - [c14]Marco Alberti, Davide Daolio, Paolo Torroni, Marco Gavanelli, Evelina Lamma, Paola Mello:
Specification and verification of agent interaction protocols in a logic-based system. SAC 2004: 72-78 - [c13]Marco Alberti, Marco Gavanelli, Evelina Lamma, Federico Chesani, Paola Mello, Paolo Torroni:
A Logic based Approach to Interaction Design in Open Multi-Agent Systems. WETICE 2004: 387-392 - [i1]Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano:
A CHR-based Implementation of Known Arc-Consistency. CoRR cs.LO/0408056 (2004) - 2003
- [c12]Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano, Paolo Torroni:
Interpreting Abduction in CLP. APPIA-GULP-PRODE 2003: 25-35 - [c11]Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni:
An Abductive Interpretation for Open Agent Societies. AI*IA 2003: 287-299 - [c10]Marco Alberti, Anna Ciampolini, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni:
A Social ACL Semantics by Deontic Constraints. CEEMAS 2003: 204-213 - [c9]Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni:
Modeling Interactions Using Social Integrity Constraints: A Resource Sharing Case Study. DALT 2003: 243-262 - [c8]Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni:
Specification and Verification of Agent Interaction using Social Integrity Constraints. LCMAS 2003: 94-116 - 2002
- [c7]Marco Gavanelli:
An Algorithm for Multi-Criteria Optimization in CSPs. ECAI 2002: 136-140 - [c6]Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano:
Exploiting Constraints for Domain Managing in CLP(FD). FroCoS 2002: 177-191 - 2001
- [j1]Paola Mello, Michela Milano, Marco Gavanelli, Evelina Lamma, Massimo Piccardi, Rita Cucchiara:
From Eager to Lazy Constrained Data Acquisition: A General Framework. New Gener. Comput. 19(4): 339-368 (2001) - [c5]Marco Gavanelli:
Partially Ordered Constraint Optimization Problems. CP 2001: 763
1990 – 1999
- 1999
- [c4]Marco Gavanelli, Evelina Lamma, Michela Milano, Paola Mello:
Domains as First Class Objects in CLP(FD). APPIA-GULP-PRODE 1999: 411-424 - [c3]Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano:
Domains as First Class Objects in CLP(FD). ICLP 1999: 608 - [c2]Evelina Lamma, Paola Mello, Michela Milano, Rita Cucchiara, Marco Gavanelli, Massimo Piccardi:
Constraint Propagation and Value Acquisition: Why we should do it Interactively. IJCAI 1999: 468-477 - [c1]Marco Gavanelli, Michela Milano:
On the Need for a Different Backtracking Rule when Dealing with Late Evaluation. WOID@ICLP 1999: 145-156
Coauthor Index
[c73] [j37] [i7] [j36] [j35] [c62] [j33] [j32] [j31] [c59] [c56] [c55] [c54] [c53] [e4] [j24] [c47] [j18] [j17] [c39] [c38] [c37] [c36] [c35] [p3] [j11] [j9] [c34] [c33] [c32] [c31] [j7] [c29] [c28] [i2] [j6] [j5] [c27] [c26] [c25] [c24] [j4] [j3] [j2] [c23] [c22] [c21] [c20] [c19] [c18] [c17] [c16] [c15] [c14] [c13] [i1] [c12] [c11] [c10] [c9] [c8] [c6] [j1] [c4] [c3] [c2]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-03-04 22:14 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
