2
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
INDEXED IN: Scopus WOS
3
TITLE: NO Revision and NO Contraction  Full Text
AUTHORS: Gregory Wheeler; Marco Alberti;
PUBLISHED: 2011, SOURCE: MINDS AND MACHINES, VOLUME: 21, ISSUE: 3
INDEXED IN: Scopus WOS CrossRef
4
TITLE: Normative Systems Represented as Hybrid Knowledge Bases  Full Text
AUTHORS: Marco Alberti; Ana Sofia Gomes; Ricardo Goncalves; Joao Leite ; Martin Slota;
PUBLISHED: 2011, SOURCE: 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
INDEXED IN: Scopus WOS CrossRef
5
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
INDEXED IN: Scopus WOS CrossRef
6
TITLE: Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes
AUTHORS: Marco Montali; Paolo Torroni; Federico Chesani; Paola Mello; Marco Alberti; Evelina Lamma;
PUBLISHED: 2010, SOURCE: FUNDAMENTA INFORMATICAE, VOLUME: 102, ISSUE: 3-4
INDEXED IN: Scopus WOS
7
TITLE: Observation Strategies for Event Detection with Incidence on Runtime Verification PDF
AUTHORS: Marco Alberti; Pierangelo Dell'Acqua; Luís Moniz Pereira;
PUBLISHED: 2010, SOURCE: 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
INDEXED IN: DBLP
8
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
INDEXED IN: Scopus WOS CrossRef
9
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
INDEXED IN: Scopus WOS CrossRef