MARTELLI, MAURIZIO

MARTELLI, MAURIZIO  

100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi  

Mostra records
Risultati 1 - 14 di 14 (tempo di esecuzione: 0.016 secondi).
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