- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| j22 |      | 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) |
| c45 | | Marco Alberti, Marco Gavanelli, Evelina Lamma: Deon + : Abduction and Constraints for Normative Reasoning. Logic Programs, Norms and Action 2012: 308-328 |
| c44 | | 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 |
| c43 | | 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 |
| c42 | | 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 |
| c41 | | Marco Gavanelli, Fabrizio Riguzzi, Michela Milano, Paolo Cagnoli: Constraint and Optimization techniques for supporting Policy Making. ISAIM 2012 |
| c40 | | 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 | ||
| j21 | | 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) |
| j20 | | Marco Gavanelli, Toni Mancini, Alberto Pettorossi: RCRA 2009 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion. Fundam. Inform. 107(2-3) (2011) |
| j19 | | 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) |
| j18 | | 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 Service Res. 8(3): 1-25 (2011) |
| j17 | | Massimiliano Cattafi, Marco Gavanelli, Michela Milano, Paolo Cagnoli: Sustainable biomass power plant location in the Italian Emilia-Romagna region. ACM TIST 2(4): 33 (2011) |
| j16 | | Massimiliano Cattafi, Marco Gavanelli, Maddalena Nonato, Stefano Alvisi, Marco Franchini: Optimal placement of valves in a water distribution network with CLP(FD). TPLP 11(4-5): 731-747 (2011) |
| c39 | | 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 |
| c38 | | Marco Alberti, Marco Gavanelli, Evelina Lamma: The CHR-based Implementation of the SCIFF Abductive System. CILC 2011: 163-177 |
| i3 | | 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 | ||
| j15 | | |
| j14 | | |
| j13 | | Marco Gavanelli, Fabrizio Riguzzi, Michela Milano, Paolo Cagnoli: Logic-based decision support for strategic environmental assessment. TPLP 10(4-6): 643-658 (2010) |
| c37 | | |
| c36 | | Marco Alberti, Marco Gavanelli, Evelina Lamma: Runtime Addition of Integrity Constraints in SCIFF. CILC 2010 |
| c35 | | Marco Alberti, Marco Gavanelli, Evelina Lamma: Runtime Addition of Integrity Constraints in an Abductive Proof Procedure. ICLP (Technical Communications) 2010: 4-13 |
| i2 | | Marco Gavanelli, Fabrizio Riguzzi, Michela Milano, Paolo Cagnoli: Logic-Based Decision Support for Strategic Environmental Assessment. CoRR abs/1007.3159 (2010) |
| 2009 | ||
| c34 | | Marco Gavanelli, Marco Alberti, Evelina Lamma: Integration of Abductive Reasoning and Constraint Optimization in SCIFF. ICLP 2009: 387-401 |
| c33 | | 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 |
| 2008 | ||
| j12 | | Marco Gavanelli, Toni Mancini: RCRA 2007: Experimental evaluation of algorithms for solving problems with combinatorial explosion. J. Algorithms 63(1-3): 1-2 (2008) |
| j11 | | 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) (2008) |
| c32 | | Marco Gavanelli, Marco Alberti, Evelina Lamma: Integrating Abduction and Constraint Optimization in Constraint Handling Rules. ECAI 2008: 903-904 |
| c31 | | 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 |
| c30 | | 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 |
| 2007 | ||
| j10 | | Paolo Torroni, Marco Gavanelli, Federico Chesani: Argumentation in the Semantic Web. IEEE Intelligent Systems 22(6): 66-74 (2007) |
| j9 | | 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 Computing: Practice and Experience 8(1) (2007) |
| c29 | | |
| c28 | | 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 |
| c27 | | 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 |
| c26 | | 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 |
| 2006 | ||
| j8 | | Marco Alberti, Marco Gavanelli, Evelina Lamma, Federico Chesani, Paola Mello, Paolo Torroni: Compliance verification of agent interaction: a logic-based software tool. Applied Artificial Intelligence 20(2-4): 133-157 (2006) |
| j7 | | Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni, Giovanni Sartor: Mapping deontic operators to abductive expectations. Computational & Mathematical Organization Theory 12(2-3): 205-225 (2006) |
| c25 | | Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello: A Verifiable Logic-Based Agent Architecture. ISMIS 2006: 188-197 |
| c24 | | 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 |
| c23 | | Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello: Policy-based Reasoning for Smart Web Service Interaction. SWAP 2006 |
| c22 | | 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 | ||
| j6 |  | 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) |
| j5 | | 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) |
| j4 | | Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano: A CHR-based implementation of known arc-consistency. TPLP 5(4-5): 419-440 (2005) |
| c21 | | Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni: The SCIFF Abductive Proof-Procedure. AI*IA 2005: 135-147 |
| c20 | | 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 |
| c19 | | 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 |
| c18 | | Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni: Abduction with Hypotheses Confirmation. IJCAI 2005: 1545-1546 |
| c17 | | Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni, Giovanni Sartor: Mapping of Deontic Operators to Abductive Expectations. NORMAS 2005: 126-136 |
| c16 | | 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 |
| c15 | | 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 | ||
| j3 | | Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni: Specification and Verification of Agent Interaction using Social Integrity Constraints. Electr. Notes Theor. Comput. Sci. 85(2): 94-116 (2004) |
| c14 | | Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni: An Abductive Framework for Information Exchange in Multi-agent Systems. CLIMA 2004: 34-52 |
| c13 | | 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 |
| c12 | | 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 |
| c11 | | 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 | ||
| c10 | | Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano, Paolo Torroni: Interpreting Abduction in CLP. APPIA-GULP-PRODE 2003: 25-35 |
| c9 | | Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni: An Abductive Interpretation for Open Agent Societies. AI*IA 2003: 287-299 |
| c8 | | Marco Alberti, Anna Ciampolini, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni: A Social ACL Semantics by Deontic Constraints. CEEMAS 2003: 204-213 |
| c7 | | 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 |
| 2002 | ||
| c6 | | |
| c5 | | Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano: Exploiting Constraints for Domain Managing in CLP(FD). FroCoS 2002: 177-191 |
| 2001 | ||
| j2 | | Paola Mello, Michela Milano, Marco Gavanelli, Evelina Lamma, Massimo Piccardi, Rita Cucchiara: From Eager to Lazy Constrained Data Acquisition: A General Framework. New Generation Comput. 19(4): 339-368 (2001) |
| c4 | | |
| 1999 | ||
| j1 | | Marco Gavanelli, Michela Milano: On the Need for a Different Backtracking Rule when Dealing with Late Evaluation. Electr. Notes Theor. Comput. Sci. 30(2): 145-156 (1999) |
| c3 | | Marco Gavanelli, Evelina Lamma, Michela Milano, Paola Mello: Domains as First Class Objects in CLP(FD). APPIA-GULP-PRODE 1999: 411-424 |
| c2 | | Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano: Domains as First Class Objects in CLP(FD). ICLP 1999: 608 |
| c1 | | 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 |
Data released under the ODC-BY 1.0 license — See also our legal information page