Extensions of Logic Programming
Subtitle: 5th International Workshop, ELP '96, Leipzig, Germany, March 28 - 30, 1996. Proceedings. (Lecture Notes in Computer Science)
Contributors: Roy Dyckhoff (Editor); Heinrich Herre (Editor); Peter Schroeder-Heister (Editor)
Edition: 1 edition
Publisher: Springer
Published: March 13, 1996
Language: eng
Format: Paperback
Number of pages: 318
ISBN-13: 9783540609834
Subjects: Artificial intelligence; Computer architecture & logic design; Programming languages; Science/Mathematics; Computers - Languages / Programming; Computer Architecture - General; Computers; Programming - Object Oriented Programming; Computer Books: General; Logic Programming; Congresses; Artificial Intelligence - General; Logic; Beweistheorie; Computers / Artificial Intelligence; Knowledge Representation; Linear Logic; Lineare Logik; Logisches Programmieren; Nichtmonotones Schließen; Nonmonotonic Reasoning