Download E-books KI 2002: Advances in Artificial Intelligence: 25th Annual German Conference on AI, KI 2002 Aachen, Germany, September 16–20, 2002 Proceedings PDF

By L. Ciortuz (auth.), Matthias Jarke, Gerhard Lakemeyer, Jana Koehler (eds.)

This booklet constitutes the refereed complaints of the twenty fifth Annual German convention on synthetic Intelligence, KI 2002, held in Aachen, Germany in September 2002.
The 20 revised complete papers offered have been conscientiously reviewed and chosen from fifty eight submissions. The ebook deals topical sections on common language processing; computing device studying; wisdom illustration, semantic net, and AI; neural networks; good judgment programming, theorem proving, and version checking; and imaginative and prescient and spatial reasoning.

Show description

Read or Download KI 2002: Advances in Artificial Intelligence: 25th Annual German Conference on AI, KI 2002 Aachen, Germany, September 16–20, 2002 Proceedings PDF

Similar International Conferences And Symposiums books

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: First International Conference, CPAIOR 2004, Nice, France, April 20-22, 2004. Proceedings

This booklet constitutes the refereed complaints of the 1st foreign convention on Integration of AI and OR recommendations in Constraint Programming for Combinatorial Optimization difficulties, CPAIOR 2004, held in great, France in April 2004. The 23 revised complete papers and seven revised brief papers provided including an invited speak have been rigorously reviewed and chosen from fifty six submissions.

Software Security — Theories and Systems: Mext-NSF-JSPS International Symposium, ISSS 2002 Tokyo, Japan, November 8–10, 2002 Revised Papers

For greater than the final 3 many years, the protection of software program structures has been a massive region of computing device technology, but it's a relatively contemporary basic attractiveness that applied sciences for software program safeguard are hugely wanted. This publication assesses the state-of-the-art in software program and platforms protection via proposing a delicately prepared collection of revised invited and reviewed papers.

CONCUR 2008 - Concurrency Theory: 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings

This publication constitutes the refereed complaints of the nineteenth foreign convention on Concurrency conception, CONCUR 2008, held in Toronto, Canada, August 19-22, 2008. The 33 revised complete papers provided including 2 software papers have been conscientiously reviewed and chosen from a hundred and twenty submissions. the themes contain version checking, approach calculi, minimization and equivalence checking, varieties, semantics, chance, bisimulation and simulation, genuine time, and formal languages.

Extra resources for KI 2002: Advances in Artificial Intelligence: 25th Annual German Conference on AI, KI 2002 Aachen, Germany, September 16–20, 2002 Proceedings

Show sample text content

Rated 4.44 of 5 – based on 23 votes