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