TY - BOOK ID - 2573561 TI - Progress in artificilal intelligence : 7th Portuguese conference on Artificial Intelligence, EPIA 95, Funchal, Madeira Island, Portugal, October 1995 ; Proceedings AU - PINOT-FERREIRA, Carlos AU - Mamede, Nuno J. PY - 1995 VL - 990 *112 SN - 3540604286 3540455957 PB - Berlin : Springer-Verlag, DB - UniCat KW - Artificial intelligence KW - Congresses KW - Artificial intelligence. KW - Artificial Intelligence. KW - AI (Artificial intelligence) KW - Artificial thinking KW - Electronic brains KW - Intellectronics KW - Intelligence, Artificial KW - Intelligent machines KW - Machine intelligence KW - Thinking, Artificial KW - Bionics KW - Cognitive science KW - Digital computer simulation KW - Electronic data processing KW - Logic machines KW - Machine theory KW - Self-organizing systems KW - Simulation methods KW - Fifth generation computers KW - Neural computers UR - https://www.unicat.be/uniCat?func=search&query=sysid:2573561 AB - This book presents the refereed proceedings of the 7th Portuguese Conference on Artificial Intelligence, EPIA'95, held in Funchal, Madeira Island, Portugal, in October 1995. 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. ER -