KI-98: Advances in Artificial Intelligence
KI-98: Advances in Artificial Intelligence

Author: Otthein Herzog

Publisher: Springer Science & Business Media

Published: 1998-09-09

Total Pages: 376

ISBN-13: 9783540650805

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 22nd Annual German Conference on Artificial Intelligence, KI-98, held in Bremen, Germany, in September 1998. The 16 revised full papers presented were carefully reviewed and selected for inclusion in the proceedings. Also included are three invited papers and abstracts of two invited talks, as well as an appendix containing up-to-date descriptions of German AI projects. Thus the volume gives a unique overview of AI research in Germany.

Advanced Topics in Artificial Intelligence
Advanced Topics in Artificial Intelligence

Author: John K. Slaney

Publisher: Springer Science & Business Media

Published: 1998-10-07

Total Pages: 358

ISBN-13: 9783540651383

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 10th Australian Joint Conference on Artificial Intelligence, AI'97, held in Perth, Australia, in November/December 1997. The volume presents 48 revised full papers selected from a total of 143 submissions. Also included are three keynote talks and one invited paper. The book is divided into topical sections on constraint satisfaction and scheduling, computer vision, distributed AI, evolutionary computing, knowledge-based systems, knowledge representation and reasoning, learning and machine vision, machine learning, NLP and user modeling, neural networks, robotics and machine recognition, and temporal qualitative reasoning.

KI 2003: Advances in Artificial Intelligence
KI 2003: Advances in Artificial Intelligence

Author: Andreas Gu nter

Publisher: Springer Science & Business Media

Published: 2003-09-09

Total Pages: 675

ISBN-13: 3540200592

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 26th Annual German Conference on Artificial Intelligence, KI 2003, held in Hamburg, Germany in September 2003. The 42 revised full papers presented together with 5 invited papers were carefully reviewed and selected from 90 submissions from 22 countries. The papers are organized in topical sections on logics and ontologies, cognitive modeling, reasoning methods, machine learning, neural networks, reasoning under uncertainty, planning and constraints, spatial modeling, user modeling, and agent technology.

KI 2003: Advances in Artificial Intelligence
KI 2003: Advances in Artificial Intelligence

Author: Andreas Günter

Publisher: Springer

Published: 2003-09-09

Total Pages: 675

ISBN-13: 3540394516

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 26th Annual German Conference on Artificial Intelligence, KI 2003, held in Hamburg, Germany in September 2003. The 42 revised full papers presented together with 5 invited papers were carefully reviewed and selected from 90 submissions from 22 countries. The papers are organized in topical sections on logics and ontologies, cognitive modeling, reasoning methods, machine learning, neural networks, reasoning under uncertainty, planning and constraints, spatial modeling, user modeling, and agent technology.

AI 2003: Advances in Artificial Intelligence
AI 2003: Advances in Artificial Intelligence

Author: Tamas D. Gedeon

Publisher: Springer Science & Business Media

Published: 2003-11-24

Total Pages: 1095

ISBN-13: 3540206469

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 16th Australian Conference on Artificial Intelligence, AI 2003, held in Perth, Australia in December 2003. The 87 revised full papers presented together with 4 keynote papers were carefully reviewed and selected from 179 submissions. The papers are organized in topical sections on ontologies, problem solving, knowledge discovery and data mining, expert systems, neural network applications, belief revision and theorem proving, reasoning and logic, machine learning, AI applications, neural computing, intelligent agents, computer vision, medical applications, machine learning and language, AI and business, soft computing, language understanding, and theory.

KI 2005: Advances in Artificial Intelligence
KI 2005: Advances in Artificial Intelligence

Author: Ulrich Furbach

Publisher: Springer Science & Business Media

Published: 2005-08-30

Total Pages: 420

ISBN-13: 3540287612

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 28th Annual German Conference on Artificial Intelligence, KI 2005, held in Koblenz, Germany, in September 2005 - co-located with the 3rd German Conference on Multiagent System Technologies (MATES 2005). The 29 revised full papers presented together with 3 invited contributions were carefully reviewed and selected from 113 submissions. The papers are organized in topical sections on knowledge representation and reasoning, machine learning, diagnosis, neural networks, planning, robotics, and cognitive modeling, philosopy, natural language.

Lectures on Petri Nets I: Basic Models
Lectures on Petri Nets I: Basic Models

Author: Wolfgang Reisig

Publisher: Springer Science & Business Media

Published: 1998-11-04

Total Pages: 714

ISBN-13: 9783540653066

DOWNLOAD EBOOK

The two-volume set originates from the Advanced Course on Petri Nets held in Dagstuhl, Germany in September 1996; beyond the lectures given there, additional chapters have been commissioned to give a well-balanced presentation of the state of the art in the area. Together with its companion volume "Lectures on Petri Nets II: Applications" this book is the actual reference for the area and addresses professionals, students, lecturers, and researchers who are - interested in systems design and would like to learn to use Petri nets familiar with subareas of the theory or its applications and wish to view the whole area - interested in learning about recent results presented within a unified framework - planning to apply Petri nets in practical situations - interested in the relationship of Petri nets to other models of concurrent systems.

Lectures on Petri Nets II: Applications
Lectures on Petri Nets II: Applications

Author: Wolfgang Reisig

Publisher: Springer Science & Business Media

Published: 1998-11-04

Total Pages: 942

ISBN-13: 9783540653073

DOWNLOAD EBOOK

The two-volume set originates from the Advanced Course on Petri Nets held in Dagstuhl, Germany in September 1996; beyond the lectures given there, additional chapters have been commissioned to give a well-balanced presentation of the state of the art in the area. Together with its companion volume "Lectures on Petri Nets I: Basic Models" this book is the actual reference for the area and addresses professionals, students, lecturers, and researchers who are - interested in systems design and would like to learn to use Petri nets familiar with subareas of the theory or its applications and wish to view the whole area - interested in learning about recent results presented within a unified framework - planning to apply Petri nets in practical situations - interested in the relationship of Petri nets to other models of concurrent systems.

Fuzzy Logic in Artificial Intelligence
Fuzzy Logic in Artificial Intelligence

Author: Anca L. Ralescu

Publisher: Springer Science & Business Media

Published: 1999-07-28

Total Pages: 264

ISBN-13: 9783540663744

DOWNLOAD EBOOK

This volume constitutes the thoroughly refereed post-workshop proceedings of an international workshop on fuzzy logic in Artificial Intelligence held in Negoya, Japan during IJCAI '97. The 17 revised full papers presented have gone through two rounds of reviewing and revision. Three papers by leading authorities in the area are devoted to the general relevance of fuzzy logic and fuzzy sets to AI. The remaining papers address various relevant issues ranging from theory to application in areas like knowledge representation, induction, logic programming, robotics, pattern recognition, etc.

Logical Aspects of Computational Linguistics
Logical Aspects of Computational Linguistics

Author: Alain Lecomte

Publisher: Springer Science & Business Media

Published: 1999-03-17

Total Pages: 710

ISBN-13: 9783540657514

DOWNLOAD EBOOK

This book constitutes the thoroughly refereed post-proceedings of the Second International Conference on Logical Aspects of Computational Linguistics, LACL '97, held in Nancy, France in September 1997. The 10 revised full papers presented were carefully selected during two rounds of reviewing. Also included are two comprehensive invited papers. Among the topics covered are type theory, various types of grammars, linear logic, parsing, type-directed natural language processing, proof-theoretic aspects, concatenation logics, and mathematical languages.