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 JAprg H. Siekmann. The 30 revised reviewed papers are written by former and current students and colleagues of JAprg Siekmann; also included is an appraisal of the scientific career of JAprg Siekmann entitled qA Portrait of a Scientist: Logics, AI, and Politics.q The papers are organized in four parts on logic and deduction, applications of logic, formal methods and security, and agents and planning.Essays in Honor of JAprg H. Siekmann on the Occasion of His 60th Birthday Dieter Hutter, Werner Stephan ... increasing importance of the world-wide telecommunication and computer networks, especially the Internet and the World Wide Webanbsp;...
|Title||:||Mechanizing Mathematical Reasoning|
|Author||:||Dieter Hutter, Werner Stephan|
|Publisher||:||Springer Science & Business Media - 2005-02-23|