Marco Gavanelli
AuthID: R-006-KJ7
1
TITLE: The CHR-based Implementation of the SCIFF Abductive System
AUTHORS: Marco Alberti; Marco Gavanelli; Evelina Lamma;
PUBLISHED: 2013, SOURCE: FUNDAMENTA INFORMATICAE, VOLUME: 124, ISSUE: 4
AUTHORS: Marco Alberti; Marco Gavanelli; Evelina Lamma;
PUBLISHED: 2013, SOURCE: FUNDAMENTA INFORMATICAE, VOLUME: 124, ISSUE: 4
INDEXED IN: 
Scopus 
WOS
Scopus WOS2
TITLE: Deon +: Abduction and constraints for normative reasoning
AUTHORS: Alberti, M; Gavanelli, M; Lamma, E;
PUBLISHED: 2012, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7360 LNCS
AUTHORS: Alberti, M; Gavanelli, M; Lamma, E;
PUBLISHED: 2012, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7360 LNCS
INDEXED IN: Scopus 
CrossRef
Scopus CrossRef3
TITLE: A Computational Logic Application Framework for Service Discovery and Contracting
AUTHORS: Marco Alberti; Massimiliano Cattafi; Federico Chesani; Marco Gavanelli; Evelina Lamma; Paola Mello; Marco Montali; Paolo Torroni;
PUBLISHED: 2011, SOURCE: INTERNATIONAL JOURNAL OF WEB SERVICES RESEARCH, VOLUME: 8, ISSUE: 3
AUTHORS: Marco Alberti; Massimiliano Cattafi; Federico Chesani; Marco Gavanelli; Evelina Lamma; Paola Mello; Marco Montali; Paolo Torroni;
PUBLISHED: 2011, SOURCE: INTERNATIONAL JOURNAL OF WEB SERVICES RESEARCH, VOLUME: 8, ISSUE: 3
4
TITLE: 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
AUTHORS: Marco Gavanelli; Toni Mancini;
PUBLISHED: 2010, SOURCE: RCRA@CPAIOR, VOLUME: 616
AUTHORS: Marco Gavanelli; Toni Mancini;
PUBLISHED: 2010, SOURCE: RCRA@CPAIOR, VOLUME: 616
INDEXED IN: 
DBLP
DBLP5
TITLE: 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
AUTHORS: Marco Gavanelli; Toni Mancini;
PUBLISHED: 2010, SOURCE: RCRA@AI*IA, VOLUME: 589
AUTHORS: Marco Gavanelli; Toni Mancini;
PUBLISHED: 2010, SOURCE: RCRA@AI*IA, VOLUME: 589
INDEXED IN: DBLP
DBLP6
TITLE: Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture
AUTHORS: Marco Alberti; Massimiliano Cattafi; Federico Chesani; Marco Gavanelli; Evelina Lamma; Marco Montali; Paola Mello; Paolo Torroni;
PUBLISHED: 2009, SOURCE: IEEE International Conference on Web Services (ICWS 2009) in 2009 IEEE INTERNATIONAL CONFERENCE ON WEB SERVICES, VOLS 1 AND 2
AUTHORS: Marco Alberti; Massimiliano Cattafi; Federico Chesani; Marco Gavanelli; Evelina Lamma; Marco Montali; Paola Mello; Paolo Torroni;
PUBLISHED: 2009, SOURCE: IEEE International Conference on Web Services (ICWS 2009) in 2009 IEEE INTERNATIONAL CONFERENCE ON WEB SERVICES, VOLS 1 AND 2
7
TITLE: Integration of abductive reasoning and constraint optimization in SCIFF Full Text
AUTHORS: Gavanelli, M; Alberti, M; Lamma, E;
PUBLISHED: 2009, SOURCE: 25th International Conference on Logic Programming, ICLP 2009 in LOGIC PROGRAMMING, VOLUME: 5649
AUTHORS: Gavanelli, M; Alberti, M; Lamma, E;
PUBLISHED: 2009, SOURCE: 25th International Conference on Logic Programming, ICLP 2009 in LOGIC PROGRAMMING, VOLUME: 5649
8
TITLE: Proceedings of the 15th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, Udine, Italy, December 12-13, 2008
AUTHORS: Marco Gavanelli; Toni Mancini;
PUBLISHED: 2008, SOURCE: RCRA, VOLUME: 451
AUTHORS: Marco Gavanelli; Toni Mancini;
PUBLISHED: 2008, SOURCE: RCRA, VOLUME: 451
INDEXED IN: DBLP
DBLP