Searching for authors named "Marco Alberti" – sorted by Relevance.
22 documents found, showing 1 through 10.
Next 10 →
-
Merging Views into CSPs: an Application for Computer Vision
- …Notice Merging Views into CSPs: an Application for Computer Vision Marco Alberti and Evelina Lamma…
- Add To MetaCart
-
The Implementation of a System for Generation and Confirmation of Hypotheses
- …The Implementation of a System for Generation and Confirmation of Hypotheses 1 Introduction Marco…
- Cited by 6 (2 self) – Add To MetaCart
-
Exploiting Semantic Technology in Computational Logic-based Service Contracting
- …Exploiting Semantic Technology in Computational Logic-based Service Contracting Marco Alberti…
- 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
-
Abduction with Hypotheses Confirmation
- …Abduction with Hypotheses Confirmation Marco Alberti 1 Marco Gavanelli 1 , Evelina Lamma 1 , Paola…
- Cited by 3 (1 self) – Add To MetaCart
-
Security protocols verification in Abductive Logic Programming: a case study
- …Security protocols verification in Abductive Logic Programming: a case study Marco Alberti 1…
- Cited by 5 (5 self) – Add To MetaCart
-
Specification and Verification of Agent Interactions using Social Integrity Constraints
- … Social Integrity Constraints Marco Alberti Marco Gavanelli Evelina Lamma Paola Mello Paolo Torroni…
- Cited by 25 (8 self) – Add To MetaCart
-
Expressing interaction in combinatorial auction through social integrity constraints. Intelligenza Artificiale
- … Alberti 1 , Federico Chesani 2 , Marco Gavanelli 1 , Alessio Guerri 2 , Evelina Lamma 1 , Paola Mello 2…
- Cited by 4 (3 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
