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
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.
Similar content being viewed by others
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
Table of contents (45 papers)
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