Non-monotonic Extensions Of Logic Programming
Subtitle: Iclp '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994. Selected Papers (Lecture Notes in Computer Science)
Publisher: Springer
Published: June 30, 1995
Language: eng
Format: Paperback
Number of pages: 229
ISBN-13: 9783540594673
Subjects: Artificial intelligence; Computer Programming; Computer architecture & logic design; Programming - General; Computer Science; Computers; Computers - Languages / Programming; Computer Books: General
First sentence: In [PAA92a, PAA93] we introduce a suitable form of closed world assumption (CWA), and use it to safely and undisputably assume false some of the atoms absent from the well founded model of a program.