Logic for Programming, Artificial Intelligence, and Reasoning
Subtitle: 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings (Lecture Notes in Computer Science)
Contributors: Franz Baader (Editor); Andrei Voronkov (Editor)
Edition: 1 edition
Publisher: Springer
Published: April 19, 2005
Language: eng
Format: Paperback
Number of pages: 562
ISBN-13: 9783540252368
Subjects: Computer Programming; Programming - General; Computers; Computers - General Information; Computer Books: Languages; Programming - Software Development; Artificial Intelligence - General; AI logics; Computers / Artificial Intelligence; abstraction; automated deduction; automated inference; automated resoning; constraint satisfaction problems; description logics; Logic Design; Artificial intelligence; Automatic theorem proving; Congresses; Logic programming
First sentence: The core of classical cut-elimination methods in the style of Gentzen [8] consists of the permutation of inferences and of the reduction of cuts to cuts on the immediate subformulas of the cut formula.