Logic Programming and Automated Reasoning
Subtitle: International Conference Lpar '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artific)
Contributors: Andrei Voronkov (Editor); A. Voronkov (Other Contributor)
Publisher: Springer
Published: July 1992
Language: eng
Format: Paperback
Number of pages: 509
ISBN-13: 9783540557272
Subjects: Artificial intelligence; Artificial Intelligence - General; Logic; Computers - General Information; Congresses; Logic programming
First sentence: Partial deduction (or evaluation) has been introduced to logic programming in 1981 by Komorowski [KomSl].