M. Martelli

MaRDI QIDQ198014zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Explicit constructive logic ECL: a new representation of construction and selection of logical information by an epistemic agent Fundamenta Informaticae	2016-08-15	Paper
On the relations between disjunctive and linear logic programming Electronic Notes in Theoretical Computer Science	2013-05-24	Paper
Abstract deduction and inferential models for type theory Information and Computation	2010-08-18	Paper
Model checking linear logic specifications Theory and Practice of Logic Programming	2005-04-15	Paper
Logic-based specification languages for intelligent software agents Theory and Practice of Logic Programming	2004-09-24	Paper
scientific article; zbMATH DE number 2080358 (Why is no real title available?)	2004-08-04	Paper
An effective fixpoint semantics for linear logic programs Theory and Practice of Logic Programming	2004-03-01	Paper
scientific article; zbMATH DE number 1693040 (Why is no real title available?)	2002-01-22	Paper
Proofs as computations in linear logic Theoretical Computer Science	2001-08-20	Paper
The s-semantics approach: Theory and applications The Journal of Logic Programming	2000-08-14	Paper
Object calculi in linear logic Journal Of Logic And Computation	2000-07-27	Paper
Global attractivity and forward neural networks Applied Mathematics Letters	1997-06-23	Paper
Negation as instantiation Information and Computation	1996-04-22	Paper
A model-theoretic reconstruction of the operational semantics of logic programs Information and Computation	1993-06-29	Paper
A new SLDNF-tree Information Processing Letters	1993-01-17	Paper
Strict completion of logic programs New Generation Computing	1991-01-01	Paper
RECOGNIZING NON-FLOUNDERING LOGIC PROGRAMS AND GOALS International Journal of Foundations of Computer Science	1990-01-01	Paper
Declarative modeling of the operational behavior of logic languages Theoretical Computer Science	1989-01-01	Paper
scientific article; zbMATH DE number 4178746 (Why is no real title available?)	1989-01-01	Paper
scientific article; zbMATH DE number 3958704 (Why is no real title available?)	1986-01-01	Paper
Negation as failure. Completeness of the query evaluation process for Horn clause programs with recursive definitions Journal of Automated Reasoning	1986-01-01	Paper
Integrity constraints in logic databases The Journal of Logic Programming	1985-01-01	Paper
scientific article; zbMATH DE number 3778724 (Why is no real title available?)	1982-01-01	Paper

Research outcomes over time

This page was built for person: M. Martelli