AI*IA 2003: Advances in Artificial Intelligence
Subtitle: 8th Congress of the Italian Association for Artificial Intelligence, Pisa, Italy, September 23-26, 2003, ... / Lecture Notes in Artificial Intelligence)
Contributors: Amedeo Cappelli (Editor); Franco Turini (Editor)
Edition: 1 edition
Publisher: Springer
Published: December 5, 2003
Language: eng
Format: Paperback
Number of pages: 552
ISBN-13: 9783540201199
Subjects: Artificial intelligence; Computers; Computer Bks - General Information; Computers - General Information; Computer Books: General; Logic; Congresses; Artificial Intelligence - General; Computer Science; Computers / Artificial Intelligence; General
First sentence: The classical Logic Programming [8] provability relation, logic implication, has been shown to be undecidable [12], which is too strict a bias to be accepted.