Logic programming proceedings of the 1999 International Conference on Logic Programming

Saved in:
Bibliographic Details
Corporate Author International Conference on Logic Programming Las Cruces, N.M.
Other Authors De Schreye, Danny
Format eBook
LanguageEnglish
Published Cambridge, Mass. ; London : MIT, 2000.
Subjects
Logic programming > Congresses.
elektronické knihy
electronic books
Online AccessFull text
ISBN9780262291118
Physical Description1 online zdroj (xx, 450 p.) : ill.

Cover

Table of Contents:
  • Declarative Programming for a Messy World / Fernando Pereira
  • Logics and Database Modeling / Bernhard Thalheim
  • Adventures in the Prolog Trade / Ken Bowen
  • Answer Set Planning / Vladimir Lifschitz
  • Logic Programming in Oz with Mozart / Peter Van Roy
  • Program Analysis, Debugging, and Optimization Using the Ciao System Preprocessor / Manuel V. Hermenegildo, Francisco Bueno and German Puebla / [et al.]
  • From Prolog and Zelda to ToonTalk / Ken Kahn
  • Disjunctive Logic Programs with Inheritance / Francesco Buccafurri, Wolfgang Faber and Nicola Leone
  • Event, Property, and Hierarchy in Order-Sorted Logic / Ken Kaneiwa and Satoshi Tojo
  • Temporal Probabilistic Logic Programs / Alex Dekhtyar, Michael I. Dekhtyar and V. S. Subrahmanian
  • An Optimized Prolog Encoding of Typed Feature Structures / Gerald Penn
  • A Generic Approach to Monitor Program Executions / Erwan Jahier and Mireille Ducasse
  • Generating Deductive Database Explanations / Sarah Mallet and Mireille Ducasse.

Similar Items