Logic Programming: Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming

Front Cover
Joxan Jaffar
MIT Press, 1998 - Computers - 360 pages
0 Reviews

The Joint International Conference and Symposium on Logic Programming, sponsored by the Association for Logic Programming, includes tutorials, lectures, and refereed papers on all aspects of logic programming, including theoretical foundations, constraints, concurrency and parallelism, deductive databases, language design and implementation, nonmonotonic reasoning, and logic programming and the Internet.

 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Inductive Logic Programming for Relational Knowledge Discovery
7
Codefinite Set Constraints with Membership Expressions
25
On the Representation and Management of Finite Sets in CLP Languages
40
Metalinear Constraints in Constraint Logic Programming
55
P Refalo
68
A New Metric for Controlling Granularity for Parallel Execution
85
K Shen V Santos Costa and A King
99
ProofTheoretic Foundation of Compilation in Logic Progamming
115
Sourcetosource Prolog Program Compression
205
Program Specialisation and Abstract Interpretation Reconciled
220
Leuschel
234
S Decorte and D De Schreye
249
Iterated Logic Program Updates
265
J A Leite and L M Pereira
278
Greedy Algorithms in Datalog with Choice and Negation
294
S Greco and C Zaniolo
309

Abstract Compilation of Prolog
131
Efficient Implementation of a Linear Logic Programming Language
145
Normal Forms for Defeasible Logic
160
Regular Extension Semantics and Disjunctive Eshghi Kowalski
175
Beyond Success and Failure
190
Admissible Graph Rewriting and Narrowing
325
R Echahed and JC Janodet
339
Applications of Abductive Logic Programming
343
Horn Logic Denotations
357
Copyright

Common terms and phrases

About the author (1998)

Jaffar is Professor of Computer Science at the National University of Singapore.

Bibliographic information