Journal of Logic Programming
, Volume 35
Volume 35, Number 1, April 1998
Maria J. García de la Banda
,
Kim Marriott
,
Peter J. Stuckey
,
Harald Søndergaard
: Differential Methods in Logic Program Analysis. 1-37
BibTeX
Katsumi Inoue
,
Chiaki Sakama
: Negation as Failure in the Head. 39-78
BibTeX
Fosca Giannotti
,
Dino Pedreschi
: Datalog with Non-Deterministic Choice Computers NDB-PTIME. 79-101
BibTeX
Volume 35, Number 2, May 1998
Bo-Ming Tong
,
Ho-Fung Leung
: Data-Parallel Concurrent Constraint Programming. 103-150
BibTeX
Alexander Bochman
: A Logical Foundation for Logic Programming I: Biconsequence Relations and Nonmonotonic Completion. 151-170
BibTeX
Alexander Bochman
: A Logical Foundation for Logic Programming II: Semantics of General Logic Programs. 171-194
BibTeX
Volume 35, Number 3, June 1998
Chitta Baral
,
Michael Gelfond
,
Olga Kosheleva
: Expanding Queries to Incomplete Databases by Interpolating General Logic Programs. 195-230
BibTeX
Richard Hull
,
Jianwen Su
: Deductive Query Languages for Recursively Typed Complex Objects. 231-261
BibTeX
David Toman
,
Jan Chomicki
: Datalog with Integer Periodicity Constraints. 263-290
BibTeX
Copyright ©
Sun May 17 00:10:07 2009 by
Michael Ley
(
ley@uni-trier.de
)