KI 96 Advances in Artificial Intelligence

KI 96  Advances in Artificial Intelligence

This book constitutes the refereed proceedings of the 20th Annual German Conference on Artificial Intelligence, KI-96, held in Dresden, Germany, in September 1996.

Author: Germany) German Conference on Artificial Intelligence 1996 (Dresden

Publisher: Lecture Notes in Artificial Intelligence

ISBN: UCSC:32106013479313

Category: Computers

Page: 386

View: 293

This book constitutes the refereed proceedings of the 20th Annual German Conference on Artificial Intelligence, KI-96, held in Dresden, Germany, in September 1996. The book presents three invited papers together with 23 revised full research papers, nine posters and four systems demonstrations. All contributions were carefully selected from a larger number of excellent submissions, of which a considerable part had been submitted from abroad. The papers address many subareas of AI; however, there is a certain focus on new develpments in theorem proving, knowledge representation, and reasoning.
Categories: Computers

KI 98 Advances in Artificial Intelligence

KI 98  Advances in Artificial Intelligence

Falldaten : Case - based reasoning for the diagnosis of technical devices . In G. Görz , S. Hölldobler , editors , KI - 96 : Advances in Artificial Intelligence , LNAI 1137 , 149–161 . Springer 1996 . 3. M. KUNZE .

Author: Otthein Herzog

Publisher: Springer Science & Business Media

ISBN: 3540650806

Category: Computers

Page: 376

View: 787

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.
Categories: Computers

Artificial Intelligence in Medicine

Artificial Intelligence in Medicine

1126 : J.J. Alferes , L. Moniz Pereira , E. Orlowska ( Eds . ) , Logics in Artificial Intelligence . Proceedings , 1996. IX , 417 pages . 1996 . Vol . 1137 : G. Görz , S. Hölldobler ( Eds . ) , KI - 96 : Advances in Artificial ...

Author: Elpida Keravnou

Publisher: Springer Science & Business Media

ISBN: 354062709X

Category: Computers

Page: 550

View: 723

Content Description #Includes bibliographical references and index.
Categories: Computers

Fuzzy Logic in Artificial Intelligence

Fuzzy Logic in Artificial Intelligence

1126 : J.J. Alferes , L. Moniz Pereira , E. Orlowska ( Eds . ) , Logics in Artificial Intelligence . Proceedings , 1996. IX , 417 pages . 1996 . Vol . 1137 : G. Görz , S. Hölldobler ( Eds . ) , KI - 96 : Advances in Artificial ...

Author: Trevor Martin

Publisher: Springer Science & Business Media

ISBN: 3540624740

Category: Mathematics

Page: 294

View: 826

This thoroughly refereed and well organized collection of papers is largely based on papers originally presented at the IJCAI'95 Workshop on Fuzzy Logic in AI, held in Montreal, Canada, in August 1995. Additionally, a few papers were invited in order to round off the scope and competent coverage of relevant topics. The 20 revised full papers included are organized in sections on hybrid and novel architectures, machine learning and data mining, image processing and computer vision, and theoretical developments. Focusing on the most pressing problems of AI, the volume supports the view that fuzzy systems combined with traditional AI leads the move towards the next generation of intelligent systems.
Categories: Mathematics

Logics in Artificial Intelligence

Logics in Artificial Intelligence

European Workshop, JELIA '96, Evora, Portugal, September 30 - October 3, 1996, Proceedings Jose Julio Alferes, Luis Moniz Pereira, ... 1137 : G. Görz , S. Hölldobler ( Eds . ) , KI - 96 : Advances in Artificial Intelligence .

Author: Jose Julio Alferes

Publisher: Springer Science & Business Media

ISBN: 3540616306

Category: Computers

Page: 436

View: 597

This book presents the refereed proceedings of the Sixth European Workshop on Logics in Artificial Intelligence, JELIA '96, held in Evora, Portugal in September/October 1996. The 25 revised full papers included together with three invited papers were selected from 57 submissions. Many relevant aspects of AI logics are addressed. The papers are organized in sections on automated reasoning, modal logics, applications, nonmonotonic reasoning, default logics, logic programming, temporal and spatial logics, and belief revision and paraconsistency.
Categories: Computers

Intelligent Agent Systems

Intelligent Agent Systems

1126 : J.J. Alferes , L. Moniz Pereira , E. Orlowska ( Eds . ) , Logics in Artificial Intelligence . Proceedings , 1996. IX , 417 pages . 1996 . Vol . 1137 : G. Görz , S. Hölldobler ( Eds . ) , KI - 96 : Advances in Artificial ...

Author: Lawrence Cavedon

Publisher: Springer Science & Business Media

ISBN: 3540626867

Category: Computers

Page: 208

View: 865

The agents approach is not just another abstract computing paradigm, but has matured during recent years into a booming research area and software engineering technology which holds great promise for the design and application of complex distributed systems. This book presents 12 revised full chapters grouped around 3 main topics in intelligent agent systems; agent architectures, formal theories of rationality and cooperation and collaboration. Among the topics addressed are software agents, BDI architectures, social commitment, believable agents and artificial life. The book is based on the Workshop on Theoretical and Practical Foundations of Intelligent Agents held at the Fourth Pacific Rim International Conference on Artificial Intelligence in Cairns, Australia, in August 1996.
Categories: Computers

Grammatical Inference Learning Syntax from Sentences

Grammatical Inference  Learning Syntax from Sentences

1126 : J.J. Alferes , L. Moniz Pereira , E. Orlowska ( Eds . ) , Logics in Artificial Intelligence . Proceedings , 1996. IX , 417 pages . 1996 . Vol . 1137 : G. Görz , S. Hölldobler ( Eds . ) , KI - 96 : Advances in Artificial ...

Author: Laurent Miclet

Publisher: Springer Science & Business Media

ISBN: 3540617787

Category: Computers

Page: 340

View: 260

This book constitutes the refereed proceedings of the Third International Colloquium on Grammatical Inference, ICGI-96, held in Montpellier, France, in September 1996. The 25 revised full papers contained in the book together with two invited key papers by Magerman and Knuutila were carefully selected for presentation at the conference. The papers are organized in sections on algebraic methods and algorithms, natural language and pattern recognition, inference and stochastic models, incremental methods and inductive logic programming, and operational issues.
Categories: Computers

Advances in Case Based Reasoning

Advances in Case Based Reasoning

Third European Workshop, EWCBR-96, Lausanne, Switzerland, November 14 - 16, 1996, Proceedings Ian Smith, Boi Faltings, ... 1996 . Vol . 1137 : G. Görz , S. Hölldobler ( Eds . ) , KI - 96 : Advances in Artificial Intelligence .

Author: Ian Smith

Publisher: Springer Science & Business Media

ISBN: 3540619550

Category: Computers

Page: 548

View: 607

This book constitutes the refereed proceedings of the Third European Workshop on Case-Based Reasoning, EWCBR-96, held in Lausanne, Switzerland, in November 1996. Case-based reasoning is an appealing technique for dealing with the knowledge acquisition bottleneck in computer applications; solutions to new problems are found by adapting similar experience from the past, called cases. The 38 revised full papers presented were carefully selected from a broad variety of submissions after a thorough refereeing process. The volume refleats the state of the art in case-based reasoning research and applications.
Categories: Computers

Non Monotonic Extensions of Logic Programming

Non Monotonic Extensions of Logic Programming

Lecture Notes in Artificial Intelligence ( LNAI ) Lecture Notes in Computer Science - Lecture Notes in Artificial ... 1137 : G. Görz , S. Hölldobler ( Eds . ) , KI - 96 : Advances in Artificial Intelligence . Proceedings , 1996.

Author: Germany) NMELP'96 (2nd : 1996 : Bad Honnef

Publisher: Springer Science & Business Media

ISBN: 3540628436

Category: Computers

Page: 244

View: 374

This book constitutes the thoroughly refereed post-workshop proceedings of the 6th International Workshop on Non-Monotonic Extensions of Logic Programming, NMELP '96, held in Bad Honnef, Germany, in September 1996. The nine full papers presented in the volume in revised version were carefully reviewed and selected from a total of 18 submissions; the set of papers addresses theoretical, applicational and implementational issues and reflects the current state of the art in the area of non-monotonic extensions of logic programming. An introductory survey by the volume editors entitled "Prolegomena to Logic Programming for Non-Monotonic Reasoning" deserves special mentioning; it contains a bibliography listing 136 entries.
Categories: Computers

Automated Reasoning with Analytic Tableaux and Related Methods

Automated Reasoning with Analytic Tableaux and Related Methods

1137 : G. Görz , S. Hölldobler ( Eds . ) , KI - 96 : Advances in Artificial Intelligence . Proceedings , 1996. XI , 387 pages . 1996 . Vol . 1147 : L. Miclet , C. de la Higuera ( Eds . ) , Grammatical Inference : Learning Syntax from ...

Author: Didier Galmiche

Publisher: Springer Science & Business Media

ISBN: 3540629203

Category: Computers

Page: 392

View: 767

This book constitutes the refereed proceedings of the 1998 International Conference on Analytic Tableaux and Related Methods, TABLEAUX'98, held in Oisterwijk near Tilburg, The Netherlands, in May 1998. The volume presents 17 revised full papers and three system descriptions selected from 34 submissions; also included are several abstracts of invited lectures, tutorials, and system comparison papers. The book presents new research results for automated deduction in various non-standard logics as well as in classical logic. Areas of application include software verification, systems verification, deductive databases, knowledge representation and its required inference engines, and system diagnosis.
Categories: Computers