KI-98: Advances in Artificial Intelligence


Book Description

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.




KI 2003: Advances in Artificial Intelligence


Book Description

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.




Advanced Topics in Artificial Intelligence


Book Description

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.




AI 2003: Advances in Artificial Intelligence


Book Description

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


Book Description

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


Book Description

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


Book Description

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


Book Description

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


Book Description

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.




Workflow Management Systems for Process Organisations


Book Description

All of us have learned a lot during this exercise, and the enormous success of the first edition of this book shows the great international interest for the topic and the results. A French edition appeared last year and met with equal interest. Springer-Verlag has therefore decided to publish a second edition of this book, which is not just a reprint but brings the literature and results to the newest state. This is a rare occurrence in the history of the LNCS series. We congratulate Thomas Schael on this success, and we are sure that reader- scientists and practitioners - will likewise profit from it. Aachen and Milan Giorgio De Michelis, Klaus Henning, Matthias Jarke August 1998 Preface to the Second Edition This book is a bit of a mixture of scientific and management literature. It is based on my research activities in the CSCW community, and also reflects the last ten years of my professional experience in consulting. I have had the opportunity to live in different cultural settings, to work in many companies, and to meet people all over the world, which has helped me to reflect on what I was doing and to focus on the content of this book. This second edition reflects the fast moving field of Computer Supported Cooperative Work (CSCW) and the discussion on Business Process Re-engineering (BPR). It contains the latest developments in the scientific and managerial discussion of the issues developed in the first edition.