| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Denis Ferraretti, Giacomo Gamberoni, Evelina Lamma |
Unsupervised and supervised learning in cascade for petroleum geology.  |
Expert Syst. Appl.  |
2012 |
DBLP DOI 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 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 | Denis Ferraretti, Evelina Lamma, Giacomo Gamberoni, Michele Febo, Raffaele Di Cuia |
Integrating Clustering and Classification Techniques: A Case Study for Reservoir Facies Prediction. |
ISMIS Industrial Session |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Denis Ferraretti, Evelina Lamma, Giacomo Gamberoni, Michele Febo |
Clustering and Classification Techniques for Blind Predictions of Reservoir Facies. |
AI*IA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Denis Ferraretti, Luca Casarotti, Giacomo Gamberoni, Evelina Lamma |
Spot Detection in Images with Noisy Background. |
ICIAP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi, Simone Albani |
A Distribution Semantics for Probabilistic Ontologies. |
URSW |
2011 |
DBLP BibTeX RDF |
|
| 1 | Tommaso Chiarelli, Evelina Lamma, Tommaso Sansoni |
A fully 3D work context for oral implant planning and simulation. |
Int. J. Computer Assisted Radiology and Surgery |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Tommaso Chiarelli, Evelina Lamma, Tommaso Sansoni |
Techniques to Improve Preoperative Planning Precision for Oral Implantology. |
IEEE T. Instrumentation and Measurement |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Montali, Paolo Torroni, Federico Chesani, Paola Mello, Marco Alberti, Evelina Lamma |
Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes. |
Fundam. Inform. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Denis Ferraretti, Luca Tagliavini, Raffaele Di Cuia, Mariachiara Puviani, Evelina Lamma, Sergio Storari |
Use Of Artificial Intelligence Techniques To The Interpretation Of Subsurface Log Images. |
Intelligenza Artificiale |
2010 |
DBLP BibTeX RDF |
|
| 1 | Massimiliano Cattafi, Evelina Lamma, Fabrizio Riguzzi, Sergio Storari |
Incremental Declarative Process Mining. |
Smart Information and Knowledge Management |
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 | Elena Bellodi, Fabrizio Riguzzi, Evelina Lamma |
Probabilistic Declarative Process Mining. |
KSEM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Federico Chesani, Evelina Lamma, Paola Mello, Marco Montali, Fabrizio Riguzzi, Sergio Storari |
Exploiting Inductive Logic Programming Techniques for Declarative Process Mining. |
T. Petri Nets and Other Models of Concurrency |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergio Storari, Fabrizio Riguzzi, Evelina Lamma |
Exploiting association and correlation rules parameters for learning Bayesian networks. |
Intell. Data Anal. |
2009 |
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 | Denis Ferraretti, Giacomo Gamberoni, Evelina Lamma |
Automatic Cluster Selection Using Index Driven Search Strategy. |
AI*IA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Denis Ferraretti, Giacomo Gamberoni, Evelina Lamma, Raffaele Di Cuia, Chiara Turolla |
An AI Tool for the Petroleum Industry Based on Image Analysis and Hierarchical Clustering. |
IDEAL |
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 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, 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 | Giacomo Gamberoni, Evelina Lamma, Gianluca Lodo, Jlenia Marchesini, Nicoletta Mascellani, Simona Rossi, Sergio Storari, Luca Tagliavini, Stefano Volinia |
Fun&Co: identification of key functional differences in transcriptomes. |
Bioinformatics |
2007 |
DBLP DOI BibTeX RDF |
|
| 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 | Evelina Lamma, Paola Mello, Fabrizio Riguzzi, Sergio Storari |
Applying Inductive Logic Programming to Process Mining. |
ILP |
2007 |
DBLP DOI BibTeX RDF |
Learning from Interpretations, Business Processes, Process Mining, Interaction Protocols |
| 1 | Evelina Lamma, Paola Mello, Marco Montali, Fabrizio Riguzzi, Sergio Storari |
Inducing Declarative Logic-Based Models from Labeled Traces. |
BPM |
2007 |
DBLP DOI BibTeX RDF |
Topics Process mining, DecSerFlow, Careflow, Logic Programming, Process verification and validation |
| 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 | Evelina Lamma, Paola Mello, Anna Nanetti, Fabrizio Riguzzi, Sergio Storari, Gianfranco Valastro |
Artificial Intelligence Techniques for Monitoring Dangerous Infections. |
IEEE Transactions on Information Technology in Biomedicine |
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 | Benedetta Barbieri, Giacomo Gamberoni, Evelina Lamma, Paola Mello, Piercamillo Pavesi, Sergio Storari |
An Expert System for the Oral Anticoagulation Treatment. |
IEA/AIE |
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 | Giacomo Gamberoni, Evelina Lamma, Fabrizio Riguzzi, Sergio Storari, Stefano Volinia |
Bayesian Networks Learning for Gene Expression Datasets. |
IDA |
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 | Evelina Lamma, Paola Mello, Fabrizio Riguzzi |
A System for Measuring Function Points from an ER-DFD Specification. |
Comput. J. |
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 | Benedetta Barbieri, Giacomo Gamberoni, Evelina Lamma, Paola Mello, Piercamillo Pavesi, Sergio Storari |
A knowledge based system for the anticoagulant oral therapy. |
Intelligenza Artificiale |
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 | Evelina Lamma, Fabrizio Riguzzi, Sergio Storari |
Exploiting Association and Correlation Rules - Parameters for Improving the K2 Algorithm. |
ECAI |
2004 |
DBLP BibTeX RDF |
|
| 1 | Giacomo Gamberoni, Evelina Lamma, Sergio Storari, Diego Arcelli, Francesca Francioso, Stefano Volinia |
Correlation of Expression Between Different IMAGE Clones from the Same UniGene Cluster. |
ISBMDA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Giacomo Gamberoni, Evelina Lamma, Paola Mello, Piercamillo Pavesi, Sergio Storari, Giuseppe Trocino |
Learning the Dose Adjustment for the Oral Anticoagulation Treatment. |
ISBMDA |
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 | Sergio Storari, Evelina Lamma, R. Mancini, Paola Mello, R. Motta, D. Patrono, G. Canova |
Validation of biochemical laboratory results using the DNSev expert system. |
Expert Syst. Appl. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Evelina Lamma, Fabrizio Riguzzi, Luís Moniz Pereira |
Belief Revision via Lamarckian Evolution. |
New Generation Comput. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Evelina Lamma, Fabrizio Riguzzi, Sergio Storari, Paola Mello, Anna Nanetti |
Discovering Validation Rules from Microbiological Data. |
New Generation Comput. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Anna Ciampolini, Evelina Lamma, Paola Mello, Francesca Toni, Paolo Torroni |
Cooperation and Competition in ALIAS: A Logic Framework for Agents that Negotiate. |
Ann. Math. Artif. Intell. |
2003 |
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 | Evelina Lamma, Fabrizio Riguzzi, Andrea Stambazzi, Sergio Storari |
Improving the SLA Algorithm Using Association Rules. |
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 | Evelina Lamma, Fabrizio Riguzzi, Luís Moniz Pereira |
Belief Revision via Lamarckian Evolution. |
IC-AI |
2002 |
DBLP BibTeX RDF |
|
| 1 | Marco Alberti, Evelina Lamma |
Synthesis of Object Models from Partial Models: A CSP Perspective. |
ECAI |
2002 |
DBLP BibTeX RDF |
|
| 1 | Evelina Lamma, G. Modestino, Fabrizio Riguzzi, Sergio Storari, Paola Mello, Anna Nanetti |
An Intelligent Medical System for Mocrobiological Data Validation and Nosocomial Infection Surveillance. |
CBMS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Anna Ciampolini, Evelina Lamma, Paola Mello, Paolo Torroni |
A Proof-System for the Safe Execution of Tasks in Multi-agent Systems. |
JELIA |
2002 |
DBLP DOI 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 | Anna Ciampolini, Paola Mello, Paolo Torroni, Evelina Lamma |
Coordinating the safe execution of tasks in a constrained multi-agent system. |
AAMAS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Evelina Lamma, L. Maestrami, Paola Mello, Fabrizio Riguzzi, Sergio Storari |
Rule-based Programming for Building Expert Systems: a Comparison in the Microbiological Data Validation and Surveillance Domain. |
Electr. Notes Theor. Comput. Sci. |
2001 |
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 | Anna Ciampolini, Evelina Lamma, Paola Mello, Paolo Torroni |
LAILA: a language for coordinating abductive reasoning among logic agents. |
Comput. Lang. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Evelina Lamma, Luís Moniz Pereira, Fabrizio Riguzzi |
Belief Revision by Lamarckian Evolution. |
EvoWorkshops |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Evelina Lamma, Paola Mello, Anna Nanetti, G. Poli, Fabrizio Riguzzi, Sergio Storari |
An Expert System for Microbiological Data Validation and Surveillance. |
ISMDA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Evelina Lamma, Fabrizio Riguzzi, Luís Moniz Pereira |
Strategies in Combined Learning via Logic Programs. |
Machine Learning |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Anna Ciampolini, Evelina Lamma, Paola Mello, Paolo Torroni |
Expressing Collaboration And Competition Among Abductive Logic Agents. |
WOA |
2000 |
DBLP BibTeX RDF |
|
| 1 | Evelina Lamma, M. Manservigi, Paola Mello, Sergio Storari, Fabrizio Riguzzi |
A System for Monitoring Nosocomial Infections. |
ISMDA |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Evelina Lamma, Paola Mello (eds.) |
AI*IA 99:Advances in Artificial Intelligence, 6th Congress of the Italian Association for Artificial Intelligence, Bologna, Italy, September 14-17, 1999, Proceedings |
AI*IA |
2000 |
DBLP BibTeX RDF |
|
| 1 | Anna Ciampolini, Evelina Lamma, Paola Mello, Paolo Torroni |
Expressing Collaborative and Competitive Coordination among Abductive. |
CL-2000 Workshop on Computational Logic in Multi-Agent Systems |
2000 |
DBLP BibTeX RDF |
|
| 1 | Evelina Lamma, Paola Mello, Cesare Stefanelli, Pascal Van Hentenryck |
Exploiting Type Analysis for Unification in a Distributed Environment. |
Computers and Artificial Intelligence |
1999 |
DBLP BibTeX RDF |
|
| 1 | Evelina Lamma, Michela Milano, Paola Mello |
Reasoning on Constraints in CLP(FD). |
J. Log. Program. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Evelina Lamma, Paola Mello, Michela Milano, Fabrizio Riguzzi |
Integrating Induction and Abduction in Logic Programming. |
Inf. 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 | Rosy Barruffi, Evelina Lamma, Paola Mello, Michela Milano |
Least Commitment on Variable Binding in Presence of Incomplete Knowledge. |
ECP |
1999 |
DBLP DOI 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 |
|
| 1 | Anna Ciampolini, Evelina Lamma, Paola Mello, Cesare Stefanelli |
Abductive Coordination for Logic Agents. |
SAC |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Anna Ciampolini, Evelina Lamma, Paola Mello, Cesare Stefanelli, Paolo Torroni |
An Implementation for Abductive Logic Agents. |
AI*IA |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Rita Cucchiara, Evelina Lamma, Paola Mello, Michela Milano, Massimo Piccardi |
3D Object Recognition by VC-Graphs and Interactive Constraint Satisfaction. |
ICIAP |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto Caprara, Filippo Focacci, Evelina Lamma, Paola Mello, Michela Milano, Paolo Toth, Daniele Vigo |
Integrating Constraint Logic Programming and Operations Research Techniques for the Crew Rostering Problem. |
Softw., Pract. Exper. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Bugliesi, Anna Ciampolini, Evelina Lamma, Paola Mello |
Optimizing Modular Logic Languages. |
ACM Comput. Surv. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Evelina Lamma, Michela Milano, Paola Mello |
Extending Constraint Logic Programming for Temporal Reasoning. |
Ann. Math. Artif. Intell. |
1998 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")