Automated Deduction in Classical and Non-Classical Logics
Subtitle: Selected Papers (Lecture Notes in Computer Science)
Contributors: Ricardo Caferra (Editor); Gernot Salzer (Editor)
Edition: 1 edition
Publisher: Springer
Published: March 15, 2000
Language: eng
Format: Paperback
Number of pages: 299
ISBN-13: 9783540671909
Subjects: Artificial intelligence; Logic, Symbolic and mathematic; Computers; Mathematical And Symbolic Logic; Automata; Computers - General Information; Logic; Computer Books: General; General; Artificial Intelligence - General; Expert Systems; Automated Deduction; Classical Logic; Computers / Artificial Intelligence; Modal Logics; Nonclassical Logics; Resolution; Tableaux-Based Inference; Logic, Symbolic and mathematical; Computer Science; Automatic theorem proving
First sentence: Higher-order theorem proving (e.g. higher-order resolution [1, 17, 18]) is different from first-order theorem proving in several respects.