Description
By presenting state-of-the-art results in logical reasoning and formal methods in the context of artificial intelligence and AI applications, this book commemorates the 60th birthday of Jörg H. Siekmann. The 30 revised reviewed papers are written by former and current students and colleagues of Jörg Siekmann; also included is an appraisal of the scientific career of Jörg Siekmann entitled "A Portrait of a Scientist: Logics, AI, and Politics." The papers are organized in four parts on logic and deduction, applications of logic, formal methods and security, and agents and planning. (Description from external book data)
listed in Computers | 6 similar books linked from this page.
Offers
Currently unavailable
There are no swap offers for this book right now.
Only Offers/Searches from registered users with name will be displayed. Set up a name here to see your offers.
Rate/Setting
Please log in to rate or offer books. Log in
Offer this book
Log in to add your own offer, choose the format and describe delivery options.
More to discover
Find more books by this author, in this category or in the same language.