Maurizio Martelli

Available identifiers

zbMath Open martelli.maurizioMaRDI QIDQ198014

List of research outcomes

Publication	Date of Publication	Type
Explicit Constructive Logic ECL: a New Representation of Construction and Selection of Logical Information by an Epistemic Agent	2016-08-15	Paper
On the Relations between Disjunctive and Linear Logic Programming	2013-05-24	Paper
Abstract deduction and inferential models for type theory	2010-08-18	Paper
Model checking linear logic specifications	2005-04-15	Paper
Logic-based specification languages for intelligent software agents	2004-09-24	Paper
https://portal.mardi4nfdi.de/entity/Q4473083	2004-08-04	Paper
An effective fixpoint semantics for linear logic programs	2004-03-01	Paper
https://portal.mardi4nfdi.de/entity/Q2763695	2002-01-22	Paper
Proofs as computations in linear logic	2001-08-20	Paper
The s-semantics approach: Theory and applications	2000-08-14	Paper
Object calculi in linear logic	2000-07-27	Paper
Negation as instantiation	1996-04-22	Paper
A model-theoretic reconstruction of the operational semantics of logic programs	1993-06-29	Paper
A new SLDNF-tree	1993-01-17	Paper
Strict completion of logic programs	1991-01-01	Paper
RECOGNIZING NON-FLOUNDERING LOGIC PROGRAMS AND GOALS	1990-01-01	Paper
Declarative modeling of the operational behavior of logic languages	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3201746	1989-01-01	Paper
Negation as failure. Completeness of the query evaluation process for Horn clause programs with recursive definitions	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3727360	1986-01-01	Paper
Integrity constraints in logic databases	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3957929	1982-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Maurizio Martelli