Logic Programming and Negation: A Survey

Logic Programming and Negation: A Survey (1994)

by Krzysztof R. Apt , Roland Bol

Venue:	JOURNAL OF LOGIC PROGRAMMING
Citations:	216 - 8 self

User correction supplied by mph

Datum	Value	Source
TITLE	Logic Programming and Negation: A Survey	INFERENCE
AUTHOR NAME	Krzysztof R. Apt	user correction
AUTHOR AFFIL	CWI	user correction
AUTHOR ADDR	P.O. Box 94079, 1090 GB Amsterdam, The Netherlands	user correction
AUTHOR NAME	Roland Bol	user correction
AUTHOR AFFIL	Department of Mathematics and Computer Science; Eindhoven University of Technology	user correction
AUTHOR ADDR	P.O. Box 513, 5600 MB Eindhoven, The Netherlands	user correction
ABSTRACT	We survey here various approaches which were proposed to incorporate negation in logic programs. We concentrate on the proof-theoretic and model-theoretic issues and the relationships between them.	user correction
YEAR	1994	INFERENCE
VENUE	JOURNAL OF LOGIC PROGRAMMING	user correction
VENUE TYPE	JOURNAL	INFERENCE
PAGES	9--71	INFERENCE
VOLUME	19	INFERENCE
CITATIONS	174 found	ParsCit 1.0