Advances in Artificial Intelligence
Contributors: Guilherme Bittencourt (Editor); Geber L. Ramalho (Editor)
Edition: 1 edition
Publisher: Springer
Published: December 5, 2002
Language: eng
Format: Paperback
Number of pages: 417
ISBN-13: 9783540001249
Subjects: Computers - General Information; Computer Bks - General Information; Computers; Computer Books: General; Logic; Congresses; Artificial Intelligence - General; General; AI Logics; Algorithmic Learning; Cognition; Cognitive Technologies; Computers / Artificial Intelligence; Distributed Artificial Intelligence; Intelligent Agents; Intelligent Information Processing; Intelligent Systems; Knowledge Discovery; Uncertainty; Artificial Intelligence
First sentence: In this paper we provide a framework for theorem proving in logics for 'generally' based on special functions, which permit using proof procedures and theorem provers for classical first-order logic to reason about assertions involving 'generally'.