Skip to main content
SpringerLink
Log in

Progress in Artificial Intelligence

7th Portuguese Conference on Artificial Intelligence, EPIA '95, Funchal, Madeira Island, Portugal, October 3 - 6, 1995. Proceedings

  • Conference proceedings
  • © 1995

Overview

Editors:
  1. Carlos Pinto-Ferreira
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Nuno J. Mamede
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 990)

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (45 papers)

  1. Front Matter

    Download chapter PDF

  2. Terminological meta-reasoning by reification and multiple contexts

    • Klemens Schnattinger, Udo Hahn, Manfred Klenner
    Pages 1-16

  3. A new continuous propositional logic

    • Riccardo Poli, Mark Ryan, Aaron Sloman
    Pages 17-28

  4. Super-polynomial speed-ups in proof length by new tautologies

    • Uwe Egly
    Pages 29-40

  5. Belief revision in non-monotonic reasoning

    • José Alferes, Luís Moniz Pereira, Teodor C. Przymusinski
    Pages 41-56

  6. A new representation of JTMS

    • Truong Quoc Dung
    Pages 57-68

  7. The retrieval problem in a concept language with number restrictions

    • Aida Vitória, Margarida Mamede, Luís Monteiro
    Pages 69-82

  8. Formalizing local propagation in constraint maintenance systems

    • Gilles Trombettoni
    Pages 83-94

  9. A dependency parser of Korean based on connectionist/symbolic techniques

    • Jong -Hyeok Lee, Geunbae Lee
    Pages 95-106

  10. A symbiotic approach to arc and path consistency checking

    • Pierre Berlandier
    Pages 107-114

  11. Where do intentions come from ?: A framework for goals and intentions adoption, derivation and evolution

    • Graça Gaspar, Helder Coelho
    Pages 115-127

  12. A closer look to artificial learning environments

    • Helder Coelho, Augusto Eusébio, Ernesto Costa
    Pages 129-142

  13. Building multi-agent societies from descriptions to systems: Inter-layer translations

    • Helder Coelho, Luis Antunes, Luis Moniz
    Pages 143-152

  14. GA/TS: A hybrid approach for job shop scheduling in a production system

    • José Ramón Zubizarreta Aizpuru, Javier Arrieta Usunáriz
    Pages 153-164

  15. A controlled experiment: Evolution for learning difficult image classification

    • Astro Teller, Manuela Veloso
    Pages 165-176

  16. Minimal model complexity search

    • Chris McConnell
    Pages 177-187

  17. Characterization of classification algorithms

    • J. Gama, P. Brazdil
    Pages 189-200

  18. Neurons, glia and the borderline between subsymbolic and symbolic processing

    • J. G. Wallace, K. Bluff
    Pages 201-211

  19. Arguments and defeat in argument-based nonmonotonic reasoning

    • Bart Verheij
    Pages 213-224

  20. A preference semantics for ground nonmonotonic modal logics

    • Daniele Nardi, Riccardo Rosati
    Pages 225-235
Back to top

Keywords

About this book

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.

Bibliographic Information

  • Book Title: Progress in Artificial Intelligence

  • Book Subtitle: 7th Portuguese Conference on Artificial Intelligence, EPIA '95, Funchal, Madeira Island, Portugal, October 3 - 6, 1995. Proceedings

  • Editors: Carlos Pinto-Ferreira, Nuno J. Mamede

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/3-540-60428-6

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1995

  • Softcover ISBN: 978-3-540-60428-0Published: 22 September 1995

  • eBook ISBN: 978-3-540-45595-0Published: 13 July 2005

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: DVIII, 492

  • Topics: Artificial Intelligence

Publish with us

Policies and ethics

Back to top

Search

Navigation