KI-97: Advances in Artificial Intelligence
KI-97: Advances in Artificial Intelligence

Author: Gerhard Brewka

Publisher: Springer Science & Business Media

Published: 1997-08-27

Total Pages: 68

ISBN-13: 9783540634935

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 21st Annual German Conference on Artificial Intelligence, KI-97, held in Freiburg, Germany, in September 1997. The volume presents revised versions of 26 full papers and 10 posters selected from around 70 submissions from more than 15 countries. Also included are three excellent invited contributions by Anthony G. Cohn, Kurt Konolige, and Pat Langley. The papers are organized in topical sections on theorem proving, nonclassical logics, knowledge representation, spatial reasoning, computational linguistics, computer perception and neural nets, and on planning, diagnosis and search.

Ki-97
Ki-97

Author: Gerhard Brewka

Publisher:

Published: 2014-01-15

Total Pages: 432

ISBN-13: 9783662166574

DOWNLOAD EBOOK

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.

Advances in Artificial Intelligence
Advances in Artificial Intelligence

Author: Canadian Society for Computational Studies of Intelligence. Conference

Publisher: Springer Science & Business Media

Published: 1998-05-27

Total Pages: 488

ISBN-13: 9783540645757

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 12th Biennial Conference of the Canadian Society for Computational Studies of Intelligence, AI'98, held in Vancouver, BC, Canada in June 1998. The 28 revised full papers presented together with 10 extended abstracts were carefully reviewed and selected from a total of more than twice as many submissions. The book is divided in topical sections on planning, constraints, search and databases; applications; genetic algorithms; learning and natural language; reasoning; uncertainty; and learning.

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.

AI*Ia 97
AI*Ia 97

Author: Maurizio Lenzerini

Publisher:

Published: 2014-01-15

Total Pages: 480

ISBN-13: 9783662209349

DOWNLOAD EBOOK

EP '98
EP '98

Author: Roger Hersch

Publisher: Springer Science & Business Media

Published: 1998-03-18

Total Pages: 596

ISBN-13: 9783540642985

DOWNLOAD EBOOK

This book presents the refereed proceedings of the EP'98 and RIDT'98 conferences, held jointly during the Second International Week on Electronic Publishing and Typography in St. Malo, France, in March/April 1998. The 43 revised full papers presented were carefully selected for inclusion in the book. Among the topics covered are artistic imaging, tools and methods in typography, non-latin type, typographic creation, imaging, character recognition, handwriting models, legibility and design issues, fonts and design, time and multimedia, electronic and paper documents, document engineering, documents and linguistics, document reuse, hypertext and the Web, and hypertext creation and management.

Progress in Artificial Intelligence
Progress in Artificial Intelligence

Author: Ernesto Costa

Publisher: Springer Science & Business Media

Published: 1997-09-19

Total Pages: 420

ISBN-13: 9783540635864

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 8th Portuguese Conference on Artificial Intelligence, EPIA '97, held in Coimbra, Portugal, in October 1997. The volume presents 24 revised full papers and 9 revised posters selected from 74 submissions from various countries. Also included are two full invited papers and two abstracts of invited talks. The papers are organized in topical sections on automated reasoning and theorem proving; CBR and machine learning; constraints; intelligent tutoring; knowledge representation; multi-agent systems and DAI; nonmonotonic, qualitative and temporal reasoning, and problem solving.

Lectures on Proof Verification and Approximation Algorithms
Lectures on Proof Verification and Approximation Algorithms

Author: Ernst W. Mayr

Publisher: Springer Science & Business Media

Published: 1998-02-25

Total Pages: 370

ISBN-13: 9783540642015

DOWNLOAD EBOOK

This is a self-contained presentation of the enormous recent progress on the interplay between and applications of the theory of probabilistically checkable proofs and approximation algorithms.

Advances in Computational Intelligence
Advances in Computational Intelligence

Author: Sudip Kumar Sahana

Publisher: Springer

Published: 2016-11-08

Total Pages: 431

ISBN-13: 9811025258

DOWNLOAD EBOOK

This volume comprises the proceedings of the International Conference on Computational Intelligence 2015 (ICCI15). This book aims to bring together work from leading academicians, scientists, researchers and research scholars from across the globe on all aspects of computational intelligence. The work is composed mainly of original and unpublished results of conceptual, constructive, empirical, experimental, or theoretical work in all areas of computational intelligence. Specifically, the major topics covered include classical computational intelligence models and artificial intelligence, neural networks and deep learning, evolutionary swarm and particle algorithms, hybrid systems optimization, constraint programming, human-machine interaction, computational intelligence for the web analytics, robotics, computational neurosciences, neurodynamics, bioinspired and biomorphic algorithms, cross disciplinary topics and applications. The contents of this volume will be of use to researchers and professionals alike.