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 JArg H.
Siekmann.
The 30 revised reviewed papers are written by former and current
students and colleagues of JArg Siekmann; also included is an
appraisal of the scientific career of JArg 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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!