Searching for authors named "Marco Gavanelli" – sorted by Relevance.
26 documents found, showing 1 through 10.
Next 10 →
-
Partially Ordered Constraint Optimization Problems
- …Partially Ordered Constraint Optimization Problems M. Gavanelli 1 Dip. di Ingegneria - University…
- Cited by 2 (0 self) – Add To MetaCart
-
The log-support encoding of CSP into SAT
- …The log-support encoding of CSP into SAT Marco Gavanelli 1 Dept. of Engineering, Ferrara…
- Cited by 2 (0 self) – Add To MetaCart
-
Performance Measurement of Interactive CSP Search Algorithms
- …Performance Measurement of Interactive CSP Search Algorithms Marco Gavanelli y Evelina Lamma z…
- Add To MetaCart
-
P.: An abductive framework for information exchange in multi-agent systems
- …An Abductive Framework for Information Exchange in Multi-Agent systems ⋆ Marco Gavanelli 1…
- Cited by 1 (0 self) – Add To MetaCart
-
Proof of properties of the SCIFF proofprocedure
- …Proof of properties of the SCIFF proof-procedure Marco Gavanelli, Evelina Lamma, and Paola Mello…
- Cited by 2 (2 self) – Add To MetaCart
-
Exploiting Semantic Technology in Computational Logic-based Service Contracting
- …, Massimiliano Cattafi, Marco Gavanelli, and Evelina Lamma ENDIF, University of Ferrara Via Saragat, 1 - 44100…
- Add To MetaCart
-
Dealing with Incomplete Knowledge on CLP(FD) Variable Domains
- …DEALING WITH INCOMPLETE KNOWLEDGE ON CLP(F D) VARIABLE DOMAINS MARCO GAVANELLI, EVELINA LAMMA…
- Cited by 2 (1 self) – Add To MetaCart
-
A Constraint Handling Rules Implementation for Known-Arc-Consistency in Interactive Constraint Satisfaction Problems
- … MARCO ALBERTI, MARCO GAVANELLI, EVELINA LAMMA Dipartimento di Ingegneria, Università degli Studi di…
- Add To MetaCart
-
Specification and verification of interaction protocols: a computational logic approach based on abduction
- … on Abduction Marco Alberti, Marco Gavanelli, Evelina Lamma Dipartimento di Ingegneria, Università degli Studi…
- Cited by 9 (9 self) – Add To MetaCart
-
Modeling Interactions Using Social Integrity Constraints: a Resource Sharing Case Study
- … Alberti 1 , Marco Gavanelli 1 , Evelina Lamma 1 , Paola Mello 2 , and Paolo Torroni 2 1 Dipartimento di…
- Cited by 9 (6 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
