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