Progress in Artificial Intelligence: 7th Portuguese Conference on Artificial Intelligence, EPIA '95, Funchal, Madeira Island, Portugal, October 3 - 6, [Paperback]

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.Terminological meta-reasoning by reification and multiple contexts.- A new continuous propositional logic.- Super-polynomial speed-ups in proof length by new tautologies.- Belief revision in non-monotonic reasoning.- A new representation of JTMS.- The retrieval problem in a concept language with number restrictions.- Formalizing local propagation in constraint maintenance systems.- A dependency parser of Korean based on connectionist/symbolic techniques.- A symbiotic approach to arc and path consistency checking.- Where do intentions come from ?: A framework for goals and intentions adoption, derivation and evolution.- A closer look to artificial learning environments.- Building multi-agent societies from descriptions to systems: Inter-layer translations.- GA/TS: A hybrid approach for job shop scheduling in a production system.- A controlled experiment: Evolution for learning difficult image classification.- Minimal model complexity search.- Characterization of classification algorithms.- Neurons, glia and the borderline between subsymbolic and symbolic processing.- Arguments and defeat in argument-based nonmonotonic reasoning.- A preference semantics for ground nonmonotonic modal logics.- Logical omniscience vs. logical ignorance on a dilemma of epistemic logic.- On the rolCV