1-20 of 81
John W. Lloyd
Close
Save search
Follow your search
Access your saved searches in your account
Would you like to receive an alert when new items match your search?
Close Modal
Sort by
Book Chapter

Program Committee

By John W. Lloyd
Publisher: The MIT Press
Published: 11 December 1995
DOI: 10.7551/mitpress/4301.003.0001
EISBN: 9780262291248
PDF
Book Chapter

The Association for Logic Programming

By John W. Lloyd
Publisher: The MIT Press
Published: 11 December 1995
DOI: 10.7551/mitpress/4301.003.0002
EISBN: 9780262291248
PDF
Book Chapter

Series Foreword

By John W. Lloyd
Publisher: The MIT Press
Published: 11 December 1995
DOI: 10.7551/mitpress/4301.003.0003
EISBN: 9780262291248
PDF
Book Chapter

Preface

By John W. Lloyd
Publisher: The MIT Press
Published: 11 December 1995
DOI: 10.7551/mitpress/4301.003.0004
EISBN: 9780262291248
PDF
Book Chapter

Referees

By John W. Lloyd
Publisher: The MIT Press
Published: 11 December 1995
DOI: 10.7551/mitpress/4301.003.0005
EISBN: 9780262291248
PDF
Book Chapter

Invited Talks

By John W. Lloyd
Publisher: The MIT Press
Published: 11 December 1995
DOI: 10.7551/mitpress/4301.003.0006
EISBN: 9780262291248
Book Chapter

Goal Solving as Operational Semantics

By John W. Lloyd
Publisher: The MIT Press
Published: 11 December 1995
DOI: 10.7551/mitpress/4301.003.0007
EISBN: 9780262291248
PDF
Book Chapter

How to Declare an Imperative

By John W. Lloyd
Publisher: The MIT Press
Published: 11 December 1995
DOI: 10.7551/mitpress/4301.003.0008
EISBN: 9780262291248
PDF
Book Chapter

Surviving the AI Winter

By John W. Lloyd
Publisher: The MIT Press
Published: 11 December 1995
DOI: 10.7551/mitpress/4301.003.0009
EISBN: 9780262291248
PDF
Book Chapter

Logic Programming and Object Modelling

By John W. Lloyd
Publisher: The MIT Press
Published: 11 December 1995
DOI: 10.7551/mitpress/4301.003.0010
EISBN: 9780262291248
PDF
Book Chapter

An Introspective Framework for Paraconsistent Logic Programs

By John W. Lloyd
Publisher: The MIT Press
Published: 11 December 1995
DOI: 10.7551/mitpress/4301.003.0041
EISBN: 9780262291248
PDF
Book Chapter

Declarative and Fixpoint Characterizations of Disjunctive Stable Models

By John W. Lloyd
Publisher: The MIT Press
Published: 11 December 1995
DOI: 10.7551/mitpress/4301.003.0042
EISBN: 9780262291248
PDF
Book Chapter

Analysis II

By John W. Lloyd
Publisher: The MIT Press
Published: 11 December 1995
DOI: 10.7551/mitpress/4301.003.0043
EISBN: 9780262291248
Book Chapter

Efficient Analysis of Logic Programs with Dynamic Scheduling

By John W. Lloyd
Publisher: The MIT Press
Published: 11 December 1995
DOI: 10.7551/mitpress/4301.003.0044
EISBN: 9780262291248
PDF
Book Chapter

Control flow analysis of Prolog

By John W. Lloyd
Publisher: The MIT Press
Published: 11 December 1995
DOI: 10.7551/mitpress/4301.003.0045
EISBN: 9780262291248
PDF
Book Chapter

Proving Termination of Logic Programs with Delay Declarations

By John W. Lloyd
Publisher: The MIT Press
Published: 11 December 1995
DOI: 10.7551/mitpress/4301.003.0046
EISBN: 9780262291248
PDF
Book Chapter

Transformation

By John W. Lloyd
Publisher: The MIT Press
Published: 11 December 1995
DOI: 10.7551/mitpress/4301.003.0047
EISBN: 9780262291248
Book Chapter

An Algorithm of Generalization in Positive Supercompilation

By John W. Lloyd
Publisher: The MIT Press
Published: 11 December 1995
DOI: 10.7551/mitpress/4301.003.0048
EISBN: 9780262291248
PDF
Book Chapter

Correctness of Logic Program Transformations Based on Existential Termination

By John W. Lloyd
Publisher: The MIT Press
Published: 11 December 1995
DOI: 10.7551/mitpress/4301.003.0049
EISBN: 9780262291248
PDF
Book Chapter

Partial Deduction of the Ground Representation and its Application to Integrity Checking

By John W. Lloyd
Publisher: The MIT Press
Published: 11 December 1995
DOI: 10.7551/mitpress/4301.003.0050
EISBN: 9780262291248
PDF