MARTELLI, MAURIZIO
MARTELLI, MAURIZIO
100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi
A Specification Logic for Concurrent Object-Oriented Programming
1999-01-01 Delzanno, Giorgio; Galmiche, D.; Martelli, Maurizio
Abstract deduction and inferential models for type theory
2010-01-01 P., Gentilini; Martelli, Maurizio
An agent-based framework for sketched symbol interpretation
2008-01-01 G., Casella; V., Deufemia; Mascardi, Viviana; G., Costagliola; Martelli, Maurizio
An effective fixpoint semantics for linear logic programs
2002-01-01 Bozzano, M.; Delzanno, Giorgio; Martelli, Maurizio
Explicit Constructive Logic ECL: A New Representation of Construction and Selection of Logical Information by an Epistemic Agent
2015-01-01 Gentilini, Paolo; Martelli, Maurizio; Rosolini, Giuseppe
Intelligent Agents that Monitor, Diagnose and Solve Problems: Two Success Stories of Industry-University Collaboration
2009-01-01 Briola, Daniela; Mascardi, Viviana; Martelli, Maurizio
Logic-Based Specification Languages for Intelligent Software Agents
2004-01-01 Mascardi, Viviana; Martelli, Maurizio; L., Sterling
Model checking linear logic specifications
2004-01-01 Bozzano, M.; Delzanno, Giorgio; Martelli, Maurizio
Object calculi in linear logic
2000-01-01 Bugliesi, M.; Delzanno, Giorgio; Liquori, L.; Martelli, Maurizio
On the relations between disjunctive and linear logic programming
2001-01-01 M., Bozzano; Delzanno, Giorgio; Martelli, Maurizio
Proofs as computations in linear logic
2001-01-01 Delzanno, Giorgio; Martelli, Maurizio
Some applications of Computational Logic to the development of intelligent systems and verification methods
2011-01-01 Mascardi, Viviana; Delzanno, Giorgio; Martelli, Maurizio
The s-semantics approach: theory and applications
1994-01-01 Bossi, A.; Gabbrielli, M.; Levi, G.; Martelli, Maurizio
Transactions and Updates in Deductive Databases
1997-01-01 E., Bertino; Martelli, Maurizio; D., Montesi
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Specification Logic for Concurrent Object-Oriented Programming | 1-gen-1999 | Delzanno, Giorgio; Galmiche, D.; Martelli, Maurizio | |
| Abstract deduction and inferential models for type theory | 1-gen-2010 | P., Gentilini; Martelli, Maurizio | |
| An agent-based framework for sketched symbol interpretation | 1-gen-2008 | G., Casella; V., Deufemia; Mascardi, Viviana; G., Costagliola; Martelli, Maurizio | |
| An effective fixpoint semantics for linear logic programs | 1-gen-2002 | Bozzano, M.; Delzanno, Giorgio; Martelli, Maurizio | |
| Explicit Constructive Logic ECL: A New Representation of Construction and Selection of Logical Information by an Epistemic Agent | 1-gen-2015 | Gentilini, Paolo; Martelli, Maurizio; Rosolini, Giuseppe | |
| Intelligent Agents that Monitor, Diagnose and Solve Problems: Two Success Stories of Industry-University Collaboration | 1-gen-2009 | Briola, Daniela; Mascardi, Viviana; Martelli, Maurizio | |
| Logic-Based Specification Languages for Intelligent Software Agents | 1-gen-2004 | Mascardi, Viviana; Martelli, Maurizio; L., Sterling | |
| Model checking linear logic specifications | 1-gen-2004 | Bozzano, M.; Delzanno, Giorgio; Martelli, Maurizio | |
| Object calculi in linear logic | 1-gen-2000 | Bugliesi, M.; Delzanno, Giorgio; Liquori, L.; Martelli, Maurizio | |
| On the relations between disjunctive and linear logic programming | 1-gen-2001 | M., Bozzano; Delzanno, Giorgio; Martelli, Maurizio | |
| Proofs as computations in linear logic | 1-gen-2001 | Delzanno, Giorgio; Martelli, Maurizio | |
| Some applications of Computational Logic to the development of intelligent systems and verification methods | 1-gen-2011 | Mascardi, Viviana; Delzanno, Giorgio; Martelli, Maurizio | |
| The s-semantics approach: theory and applications | 1-gen-1994 | Bossi, A.; Gabbrielli, M.; Levi, G.; Martelli, Maurizio | |
| Transactions and Updates in Deductive Databases | 1-gen-1997 | E., Bertino; Martelli, Maurizio; D., Montesi |