|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 17 occurrences of 16 keywords
|
|
|
|
|
Results
Found 65 publication records. Showing 65 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Gavanelli, Fabrizio Riguzzi, Michela Milano, Paolo Cagnoli |
Constraint and Optimization techniques for supporting Policy Making. |
ISAIM |
2012 |
DBLP BibTeX RDF |
|
| 1 | Marco Alberti, Marco Gavanelli, Evelina Lamma |
Deon + : Abduction and Constraints for Normative Reasoning. |
Logic Programs, Norms and Action |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Gavanelli, Toni Mancini, Alberto Pettorossi |
RCRA 2009 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimiliano Cattafi, Marco Gavanelli, Maddalena Nonato, Stefano Alvisi, Marco Franchini |
Optimal Placement of Valves in a Water Distribution Network with CLP(FD) |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Massimiliano Cattafi, Marco Gavanelli, Michela Milano, Paolo Cagnoli |
Sustainable biomass power plant location in the Italian Emilia-Romagna region. |
ACM TIST |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Gavanelli, Toni Mancini |
17th RCRA international workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion". |
Ann. Math. Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimiliano Cattafi, Marco Gavanelli, Maddalena Nonato, Stefano Alvisi, Marco Franchini |
Optimal placement of valves in a water distribution network with CLP(FD). |
TPLP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Alberti, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Sergio Storari |
Learning specifications of interaction protocols and business processes and proving their properties. |
Intelligenza Artificiale |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Gavanelli, Fabrizio Riguzzi, Michela Milano, Davide Sottara, Alessandro Cangini, Paolo Cagnoli |
An Application of Fuzzy Logic to Strategic Environmental Assessment. |
AI*IA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Gavanelli, Fabrizio Riguzzi, Alberto Pettorossi |
Preface. |
Fundam. Inform. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Gavanelli, Toni Mancini |
Preface. |
Fundam. Inform. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Gavanelli, Fabrizio Riguzzi, Michela Milano, Paolo Cagnoli |
Logic-Based Decision Support for Strategic Environmental Assessment |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Marco Gavanelli, Fabrizio Riguzzi, Michela Milano, Paolo Cagnoli |
Logic-based decision support for strategic environmental assessment. |
TPLP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Gavanelli, Francesca Rossi |
Constraint Logic Programming. |
25 Years GULP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Alberti, Marco Gavanelli, Evelina Lamma |
Runtime Addition of Integrity Constraints in an Abductive Proof Procedure. |
ICLP (Technical Communications) |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Gavanelli, Marco Alberti, Evelina Lamma |
Integration of Abductive Reasoning and Constraint Optimization in SCIFF. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Gavanelli, Toni Mancini |
RCRA 2007: Experimental evaluation of algorithms for solving problems with combinatorial explosion. |
J. Algorithms |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2008 |
DBLP DOI BibTeX RDF |
Abductive logic programming, IFF proof procedure, SCIFF, SOCS (SOcieties of ComputeeS), formal properties, proof-procedures, declarative semantics, agent interaction protocols |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Gavanelli, Marco Alberti, Evelina Lamma |
Integrating Abduction and Constraint Optimization in Constraint Handling Rules. |
ECAI |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Montali, Paolo Torroni, Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello |
Verification from Declarative Specifications Using Logic Programming. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Alberti, Massimiliano Cattafi, Marco Gavanelli, Evelina Lamma |
Exploiting Semantic Technology in Computational Logic-based Service Contracting. |
SWAP |
2008 |
DBLP BibTeX RDF |
|
| 1 | 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 |
2007 |
DBLP BibTeX RDF |
|
| 1 | Paolo Torroni, Marco Gavanelli, Federico Chesani |
Argumentation in the Semantic Web. |
IEEE Intelligent Systems |
2007 |
DBLP DOI BibTeX RDF |
argumentation frameworks, Semantic Web, logic programming |
| 1 | Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni |
Web Service Contracting: Specification and Reasoning with SCIFF. |
ESWC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Gavanelli |
The Log-Support Encoding of CSP into SAT. |
CP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni, Giovanni Sartor |
Mapping deontic operators to abductive expectations. |
Computational & Mathematical Organization Theory |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello |
A Verifiable Logic-Based Agent Architecture. |
ISMIS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Alberti, Marco Gavanelli, Evelina Lamma, Federico Chesani, Paola Mello, Marco Montali |
An abductive framework for a-priori verification of web services. |
PPDP |
2006 |
DBLP DOI BibTeX RDF |
web services, formal verification, constraints, choreographies, abduction |
| 1 | Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello |
Policy-based Reasoning for Smart Web Service Interaction. |
SWAP |
2006 |
DBLP BibTeX RDF |
|
| 1 | Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano |
Dealing with incomplete knowledge on CLP(FD) variable domains. |
ACM Trans. Program. Lang. Syst. |
2005 |
DBLP DOI BibTeX RDF |
domain acquisition, interaction, Constraints, streams, sets, lazy evaluation |
| 1 | Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano |
A CHR-based implementation of known arc-consistency. |
TPLP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2005 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni |
Abduction with Hypotheses Confirmation. |
IJCAI |
2005 |
DBLP BibTeX RDF |
|
| 1 | Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni |
Security Protocols Verification in Abductive Logic Programming: A Case Study. |
ESAW |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni |
The SCIFF Abductive Proof-Procedure. |
AI*IA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni, Giovanni Sartor |
Mapping of Deontic Operators to Abductive Expectations. |
NORMAS |
2005 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | 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. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano |
A CHR-based Implementation of Known Arc-Consistency |
CoRR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni |
An Abductive Framework for Information Exchange in Multi-agent Systems. |
CLIMA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
verification, agents, computational logic |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano, Paolo Torroni |
Interpreting Abduction in CLP. |
APPIA-GULP-PRODE |
2003 |
DBLP BibTeX RDF |
|
| 1 | Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni |
Modeling Interactions Using Social Integrity Constraints: A Resource Sharing Case Study. |
DALT |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni |
An Abductive Interpretation for Open Agent Societies. |
AI*IA |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Alberti, Anna Ciampolini, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni |
A Social ACL Semantics by Deontic Constraints. |
CEEMAS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Gavanelli |
An Algorithm for Multi-Criteria Optimization in CSPs. |
ECAI |
2002 |
DBLP BibTeX RDF |
|
| 1 | Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano |
Exploiting Constraints for Domain Managing in CLP(FD). |
FroCos |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Gavanelli |
Partially Ordered Constraint Optimization Problems. |
CP |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Gavanelli, Michela Milano |
On the Need for a Different Backtracking Rule when Dealing with Late Evaluation. |
Electr. Notes Theor. Comput. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Marco Gavanelli, Evelina Lamma, Michela Milano, Paola Mello |
Domains as First Class Objects in CLP(FD). |
APPIA-GULP-PRODE |
1999 |
DBLP BibTeX RDF |
|
| 1 | Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano |
Domains as First Class Objects in CLP(FD). |
ICLP |
1999 |
DBLP BibTeX RDF |
|
Displaying result #1 - #65 of 65 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")