Partial list of contents of proceedings for

Conference on Logic Programming

Published by MIT Press


The present list contains a limited number of articles that occurred in the conference proceedings of this conference. Items are added when needed.

Conference year 1993

c-clp-93-203
Javier Pinto and Raymond Reuter:
Temporal Reasoning in Logic Programming: A Case for the Situation Calculus.
Pages 203-221..

c-clp-93-239
C. Brzoska:
Temporal logic programming with bounded universal (modality) goals.
Pages 239-256.