Lee Naish

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
Truth versus information in logic programming Theory and Practice of Logic Programming	2014-12-10	Paper
Transforming floundering into success Theory and Practice of Logic Programming	2014-04-17	Paper
Specialisation of higher-order functions for debugging Electronic Notes in Theoretical Computer Science	2013-07-24	Paper
scientific article; zbMATH DE number 5706177 (Why is no real title available?)	2010-05-10	Paper
Resource-Oriented Deadlock Analysis Logic Programming	2009-03-05	Paper
A three-valued semantics for logic programmers Theory and Practice of Logic Programming	2006-08-28	Paper
scientific article; zbMATH DE number 1508924 (Why is no real title available?)	2000-09-18	Paper
scientific article; zbMATH DE number 1332636 (Why is no real title available?)	1999-09-08	Paper
Most specific logic programs Annals of Mathematics and Artificial Intelligence	1997-06-04	Paper
Completeness of an improved declarative debugger Applied Mathematics Letters	1991-01-01	Paper
Proving properties of committed choice logic programs The Journal of Logic Programming	1989-01-01	Paper
scientific article; zbMATH DE number 4026804 (Why is no real title available?)	1987-01-01	Paper
Negation and control in PROLOG Lecture Notes in Computer Science	1986-01-01	Paper
scientific article; zbMATH DE number 3958694 (Why is no real title available?)	1986-01-01	Paper
Automating control for logic programs The Journal of Logic Programming	1985-01-01	Paper
Heterogeneous SLD resolution The Journal of Logic Programming	1984-01-01	Paper

Research outcomes over time

This page was built for person: Lee Naish