Research Catalog

Progress in artificial intelligence : 7th Portuguese Conference on Artificial Intelligence, EPIA '95, Funchal, Madeira Island, Portugal, October 3-6, 1995 : proceedings

Title
  1. Progress in artificial intelligence : 7th Portuguese Conference on Artificial Intelligence, EPIA '95, Funchal, Madeira Island, Portugal, October 3-6, 1995 : proceedings / Carlos Pinto-Ferreira, Nuno J. Mamede (eds.).
Published by
  1. Berlin ; New York : Springer-Verlag, ©1995.
Author
  1. Portuguese Conference on Artificial Intelligence (7th : 1995 : Funchal, Madeira Islands)

Items in the library and off-site

Filter by

Displaying 1 item

StatusFormatAccessCall numberItem location
Status
Request for on-site useRequest scan
How do I pick up this item and when will it be ready?
FormatTextAccessUse in libraryCall numberQ334 .P67 1995Item locationOff-site

Details

Additional authors
  1. Pinto-Ferreira, Carlos.
  2. Mamede, Nuno J. (Nuno João)
Description
  1. xiv, 487 pages : illustrations; 24 cm
Summary
  1. "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."--PUBLISHER'S WEBSITE.
Series statement
  1. Lecture notes in computer science ; 990. Lecture notes in artificial intelligence
Uniform title
  1. Lecture notes in computer science ; 990.
  2. Lecture notes in computer science. Lecture notes in artificial intelligence
Subject
  1. Artificial intelligence > Congresses
  2. Artificial intelligence
  3. Künstliche Intelligenz
  4. Kongress
  5. Kunstmatige intelligentie
  6. Intelligence artificielle > Congrès
  7. Kongreß
Genre/Form
  1. Conference papers and proceedings
  2. Funchal (1995)
Contents
  1. Terminological Meta-Reasoning by Reification and Multiple Contexts / Klemens Schnattinger, Udo Hahn and Manfred Klenner -- A New Continuous Propositional Logic / Riccardo Poli, Mark Ryan and Aaron Sloman -- Super-Polynomial Speed-Ups in Proof Length by New Tautologies / Uwe Egly -- Belief Revision in Non-Monotonic Reasoning / Jose Alferes, Luis Moniz Pereira and T. Przymusinski -- A New Representation of JTMS / Truong Quoc Dung -- The Retrieval Problem in a Concept Language with Number Restrictions / Aida Vitoria, Margarida Mamede and Luis Monteiro -- Formalizing Local Propagation in Constraint Maintenance Systems / Gilles Trombettoni -- A Dependency Parser of Korean Based on Connectionist / Symbolic Techniques / Jong-Hyeok Lee and Geunbae Lee -- A Symbiotic Approach to Arc and Path Consistency Checking / Pierre Berlandier -- Where Do Intentions Come From?: A Framework for Goals and Intentions Adoption, Derivation and Evolution / Graca Gaspar and Helder Coelho.
Owning institution
  1. Princeton University Library
Bibliography (note)
  1. Includes bibliographical references.