M. 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
Global attractivity and forward neural networks	1997-06-23	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
https://portal.mardi4nfdi.de/entity/Q3727360	1986-01-01	Paper
Negation as failure. Completeness of the query evaluation process for Horn clause programs with recursive definitions	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

This page was built for person: M. Martelli