Logic Programming: Proceedings of the North American Conference, 1989, Volume 1
Ewing L. Lusk, Ross Alan Overbeek
Mit Press, 1989 - Computers - 1239 pages
The contributors take up applications of logic programming, logic programming and databases, theory of logic and functional programming, parallel executing of logic programs, implementation of logic programming systems, and inference machines.Logic Programming: Proceedings of the, North American Conference 1989 is included in the series Logic Programming Research Reports and Notes, edited by Ehud Shapiro.Two-volume set
28 pages matching default in this book
Results 1-3 of 28
What people are saying - Write a review
Model Checking Abstract State Machines with Answer Set Programming
Calvin Kai Fan Tang
No preview available - 2006
Expanding Query Power in Constraint Logic Programming Languages
Simplification and Elimination of Redundant Linear Arithmetic Constraints
38 other sections not shown
Other editions - View all
A unified treatment of resolution strategies for logic programs
Richard Helm, On the elimination of redundant derivations during execution, Logic Programming: Proceedings of the 1990 North American Conference, ...
web.aanet.com.au/ dwolfram/ 2ILPCites.html
Selected Publications, Harald Søndergaard
In S. Debray and M. Hermenegildo, editors, Logic Programming: Proceedings of the 1990 North American Conference, pages 531-547. MIT Press, 1990. ...
www.cs.mu.oz.au/ ~harald/ papers.html
"Janus: A Step Towards Distributed Constraint Programming", V. Saraswat et al in Logic Programming: Proceedings of the 1990 North American Conference, ...
people.ku.edu/ ~nkinners/ LangList/ Langs/ J/ Janus%5B1%5D.htm