MARTELLI, MAURIZIO
MARTELLI, MAURIZIO
100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi
25 Years of Declarative Agent Technologies in Italy
2026-01-01 Ancona, Davide; Briola, Daniela; Ferrando, Angelo; Martelli, Maurizio; Mascardi, Viviana
A Multimedia, Multichannel, and Personalized News Provider
2003-01-01 Delato, M; Martelli, A; Martelli, Maurizio; Mascardi, Viviana; Verri, Alessandro
An Effective Bottom-Up Semantics for First-Order Linear Logic Programs
2001-01-01 M., Bozzano; Delzanno, Giorgio; Martelli, Maurizio
Computational Logic in Genova
2008-01-01 Mascardi, Viviana; Delzanno, Giorgio; Martelli, Maurizio
Explicit Constructive Logic ECL: a New Representation of Construction and Selection of Logical Information by an Epistemic Agent
2013-01-01 Gentilini, Paolo; Martelli, Maurizio; Rosolini, Giuseppe
Logic Programming and Multi-Agent Systems: a Synergic Combination for Applications and Semantics
1999-01-01 Bozzano, M.; Delzanno, Giorgio; Martelli, Maurizio; Mascardi, Viviana; Zini, F.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| 25 Years of Declarative Agent Technologies in Italy | 1-gen-2026 | Ancona, Davide; Briola, Daniela; Ferrando, Angelo; Martelli, Maurizio; Mascardi, Viviana | |
| A Multimedia, Multichannel, and Personalized News Provider | 1-gen-2003 | Delato, M; Martelli, A; Martelli, Maurizio; Mascardi, Viviana; Verri, Alessandro | |
| An Effective Bottom-Up Semantics for First-Order Linear Logic Programs | 1-gen-2001 | M., Bozzano; Delzanno, Giorgio; Martelli, Maurizio | |
| Computational Logic in Genova | 1-gen-2008 | Mascardi, Viviana; Delzanno, Giorgio; Martelli, Maurizio | |
| Explicit Constructive Logic ECL: a New Representation of Construction and Selection of Logical Information by an Epistemic Agent | 1-gen-2013 | Gentilini, Paolo; Martelli, Maurizio; Rosolini, Giuseppe | |
| Logic Programming and Multi-Agent Systems: a Synergic Combination for Applications and Semantics | 1-gen-1999 | Bozzano, M.; Delzanno, Giorgio; Martelli, Maurizio; Mascardi, Viviana; Zini, F. |