Progress in Artificial Intelligence: 7th Portuguese Conference on Artificial Intelligence, EPIA '95, Funchal, Madeira Island, Portugal, October 3 - 6, 1995. Proceedings / Edition 1

Progress in Artificial Intelligence: 7th Portuguese Conference on Artificial Intelligence, EPIA '95, Funchal, Madeira Island, Portugal, October 3 - 6, 1995. Proceedings / Edition 1

by Carlos Pinto-Ferreira
     
 

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

See more details below

Overview

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.

Product Details

ISBN-13:
9783540604280
Publisher:
Springer Berlin Heidelberg
Publication date:
11/03/1995
Series:
Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence Series, #990
Edition description:
1995
Pages:
492
Product dimensions:
1.02(w) x 6.14(h) x 9.21(d)

Table of Contents

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 role of splitting and merging past cases for generation of a new solution.- Theorem proving by analogy — A compelling example.- Non-atomic actions in the situation calculus.- Planning under uncertainty: A qualitative approach.- Qualitative reasoning under uncertainty.- Systematic construction of qualitative physics-based rules for process diagnostics.- Integrated process supervision: A structured approach to expert control.- Using shastic grammars to learn robotic tasks.- Constraint categorial grammars.- A new translation algorithm from lambda calculus into combinatory logic.- Interlocking multi-agent and blackboard architectures.- A model theory for paraconsistent logic programming.- Promoting software reuse through explicit knowledge representations.- Efficient learning in Multi-Layered Perceptron using the Grow-And-Learn algorithm.- A non-diffident combinatorial optimization algorithm.- Modelling diagnosis systems with the logic programming.- Agreement: A logical approach to approximate reasoning.- Constructing extensions by resolving a system of linear equations.- Presenting significant information in expert system explanation.- A cognitive model of problem solving with incomplete information.- Filtering software specifications written in natural language.- Parsimonious Diagnosis in SNePS.- Syntactic and semantic filtering in a chart parser.- GA approach to solving Multiple Vehicle Routing Problem.- Multilevel refinement planning in an interval-based temporal logic.

Read More

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >