1
TÍTULO: A spatial agent-based model for assessing strategies of adaptation to climate and tourism demand changes in an alpine tourism destination  Full Text
AUTORES: Stefano Balbi; Carlo Giupponi; Pascal Perez; Marco Alberti;
PUBLICAÇÃO: 2013, FONTE: ENVIRONMENTAL MODELLING & SOFTWARE, VOLUME: 45
INDEXADO EM: Scopus WOS CrossRef
2
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
INDEXADO EM: Scopus WOS
3
TÍTULO: NO Revision and NO Contraction  Full Text
AUTORES: Gregory Wheeler; Marco Alberti;
PUBLICAÇÃO: 2011, FONTE: MINDS AND MACHINES, VOLUME: 21, NÚMERO: 3
INDEXADO EM: Scopus WOS CrossRef
4
TÍTULO: Normative Systems Represented as Hybrid Knowledge Bases  Full Text
AUTORES: Marco Alberti; Ana Sofia Gomes; Ricardo Goncalves; Joao Leite ; Martin Slota;
PUBLICAÇÃO: 2011, FONTE: 12th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA) / 22nd International Joint Conference on Artificial Intelligence in COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, VOLUME: 6814
INDEXADO EM: Scopus WOS CrossRef
5
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
INDEXADO EM: Scopus WOS CrossRef
6
TÍTULO: Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes
AUTORES: Marco Montali; Paolo Torroni; Federico Chesani; Paola Mello; Marco Alberti; Evelina Lamma;
PUBLICAÇÃO: 2010, FONTE: FUNDAMENTA INFORMATICAE, VOLUME: 102, NÚMERO: 3-4
INDEXADO EM: Scopus WOS
7
TÍTULO: Observation Strategies for Event Detection with Incidence on Runtime Verification PDF
AUTORES: Marco Alberti; Pierangelo Dell'Acqua; Luís Moniz Pereira;
PUBLICAÇÃO: 2010, FONTE: 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, VOLUME: 616
INDEXADO EM: DBLP
8
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
INDEXADO EM: Scopus WOS CrossRef
9
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
INDEXADO EM: Scopus WOS CrossRef