Coverart for item
The Resource 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.)

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.)

Label
Progress in artificial intelligence : 7th Portuguese Conference on Artificial Intelligence, EPIA '95, Funchal, Madeira Island, Portugal, October 3-6, 1995 : proceedings
Title
Progress in artificial intelligence
Title remainder
7th Portuguese Conference on Artificial Intelligence, EPIA '95, Funchal, Madeira Island, Portugal, October 3-6, 1995 : proceedings
Statement of responsibility
Carlos Pinto-Ferreira, Nuno J. Mamede (eds.)
Creator
Contributor
Subject
Genre
Language
eng
Summary
"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
Member of
Cataloging source
DLC
Illustrations
illustrations
Index
no index present
LC call number
  • Q334
  • QA76
LC item number
  • .P67 1995
  • .L4 no.990
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
1995
http://bibfra.me/vocab/lite/meetingName
Portuguese Conference on Artificial Intelligence
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorName
  • Pinto-Ferreira, Carlos
  • Mamede, Nuno J.
Series statement
  • Lecture notes in computer science
  • Lecture notes in artificial intelligence
Series volume
990.
http://library.link/vocab/subjectName
  • Artificial intelligence
  • commande
  • robotique
  • raisonnement non monotone
  • apprentissage machine
  • algorithme génétique
  • croyance
  • démonstration théorème
  • raisonnement qualitatif
  • raisonnement par cas
  • raisonnement base contrainte
  • raisonnement automatique
  • intelligence artificielle répartie
  • Intelligence artificielle
  • Artificial intelligence
  • Kunstmatige intelligentie
  • Intelligence artificielle
  • Kongreß
  • Künstliche Intelligenz
Label
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.)
Instantiates
Publication
Bibliography note
Includes bibliographical references
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
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
Dimensions
24 cm.
Extent
xiv, 487 pages
Isbn
9783540604280
Lccn
96135639
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations
System control number
  • (OCoLC)33427949
  • (OCoLC)ocm33427949
Label
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.)
Publication
Bibliography note
Includes bibliographical references
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
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
Dimensions
24 cm.
Extent
xiv, 487 pages
Isbn
9783540604280
Lccn
96135639
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations
System control number
  • (OCoLC)33427949
  • (OCoLC)ocm33427949

Library Locations

  • African Studies LibraryBorrow it
    771 Commonwealth Avenue, 6th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Alumni Medical LibraryBorrow it
    72 East Concord Street, Boston, MA, 02118, US
    42.336388 -71.072393
  • Astronomy LibraryBorrow it
    725 Commonwealth Avenue, 6th Floor, Boston, MA, 02445, US
    42.350259 -71.105717
  • Fineman and Pappas Law LibrariesBorrow it
    765 Commonwealth Avenue, Boston, MA, 02215, US
    42.350979 -71.107023
  • Frederick S. Pardee Management LibraryBorrow it
    595 Commonwealth Avenue, Boston, MA, 02215, US
    42.349626 -71.099547
  • Howard Gotlieb Archival Research CenterBorrow it
    771 Commonwealth Avenue, 5th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Mugar Memorial LibraryBorrow it
    771 Commonwealth Avenue, Boston, MA, 02215, US
    42.350723 -71.108227
  • Music LibraryBorrow it
    771 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Pikering Educational Resources LibraryBorrow it
    2 Silber Way, Boston, MA, 02215, US
    42.349804 -71.101425
  • School of Theology LibraryBorrow it
    745 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350494 -71.107235
  • Science & Engineering LibraryBorrow it
    38 Cummington Mall, Boston, MA, 02215, US
    42.348472 -71.102257
  • Stone Science LibraryBorrow it
    675 Commonwealth Avenue, Boston, MA, 02445, US
    42.350103 -71.103784
Processing Feedback ...