Computational Logic: Logic Programming and Beyond
Subtitle: Essays in Honour of Robert A. Kowalski, Part I (Lecture Notes in Computer Science)
Contributors: A.C. Kakas (Editor); F. Sadri (Editor)
Edition: 1 edition
Publisher: Springer
Published: August 26, 2002
Language: eng
Format: Paperback
Number of pages: 678
ISBN-13: 9783540439592
Subjects: Computer Programming; Computer architecture & logic design; Logic programming; Computers; Programming - Object Oriented Programming; Computer Logic; Computers - Languages / Programming; Logic Design; Computer Books: Internet General; Kowalski, Robert; Artificial Intelligence - General; General; AI logics; Computers / Artificial Intelligence; agent-oriented programming; automated reasoning; computational logic; description logics; formal verification; Logic programming languages; Automatic theorem proving