Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 990)
Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents(45 papers)
Keywords
- Automated Reasoning
- Automatisches Schließen
- Maschinelles Lernen
- Nich-monotones Schließen
- Verteilte Künstliche Intelligenz
- Zwangsbasiertes Schließen
- case-based reasoning
- constraint-based reasoning
- distributed artificial intelligence
- expert system
- genetic algorithms
- knowledge representation
- nonmonotonic reasoning
- optimization
- uncertainty
About this book
The 30 revised full papers and the 15 poster presentations included were selected during a highly competitive selection process from a total of 167 submissions from all over the world. Among the topics covered are automated reasoning and theorem proving, belief revision, constraint-based reasoning, distributed artificial intelligence, genetic algorithms, machine learning, neural networks, non-monotonic reasoning, planning and case-based reasoning, qualitative reasoning, robotics and control, and theory of computation.
Bibliographic Information
Book Title: Progress in Artificial Intelligence
Book Subtitle: 7th Portuguese Conference on Artificial Intelligence, EPIA '95, Funchal, Madeira Island, Portugal, October 3 - 6, 1995. Proceedings
Editors: Carlos Pinto-Ferreira, Nuno J. Mamede
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/3-540-60428-6
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1995
Softcover ISBN: 978-3-540-60428-0Published: 22 September 1995
eBook ISBN: 978-3-540-45595-0Published: 13 July 2005
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: DVIII, 492
Topics: Artificial Intelligence