


Остановите войну!
for scientists:


default search action
Marco 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
- 2023
- [i8]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) - 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]