Skip to main content
SpringerLink
Log in

Progress in Artificial Intelligence

8th Portuguese Conference on Artificial Intelligence, EPIA '97, Coimbra, Portugal, October 6-9, 1997. Proceedings

  • Conference proceedings
  • © 1997

Overview

Editors:
  1. Ernesto Coasta
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Amilcar Cardoso
    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 1323)

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

Included in the following conference series:

Conference proceedings info: EPIA 1997.

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 (37 papers)

  1. Front Matter

    Download chapter PDF

  2. Flexible proof-replay with heuristics

    • Marc Fuchs
    Pages 1-12

  3. Flexible re-enactment of proofs

    • Matthias Fuchs
    Pages 13-24

  4. Inference rights for controlling search in generating theorem provers

    • Dirk Fuchs
    Pages 25-36

  5. A retrieval method for exploration of a case memory

    • Paulo Gomes, Carlos Bento
    Pages 37-48

  6. Incremental concept evolution based on adaptive feature weighting

    • Udo Hahn, Manfred Klenner
    Pages 49-60

  7. A 0–1 quadratic knapsack problem for modelizing and solving the constraint satisfaction problems

    • Mohamed Ettaouil
    Pages 61-72

  8. An algorithm for solving systems of linear diophantine equations in naturals

    • Ana Paula Tomás, Miguel Filgueiras
    Pages 73-84

  9. GenSAT: A navigational approach

    • Yury Smirnov, Manuela M. Veloso
    Pages 85-96

  10. Timetabling using demand profiles

    • Pedro Soares, Nuno J. Mamede
    Pages 97-110

  11. Intelligent VR training

    • Lu Ruqian, Han Ke, Ma Yinghao, Zhang Wenyan, Wang Wenbiao
    Pages 111-118

  12. Training strategies and knowledge acquisition: Using the same reflective tools for different purposes

    • Christophe Choquet, Pierre Tchounikine, Francky Trichet
    Pages 119-129

  13. About the intended meaning of a linguistic negation

    • Daniel Pacholczyk
    Pages 131-142

  14. Integration of inheritance in SNePS

    • H. Sofia Pinto
    Pages 143-154

  15. Measures of uncertainty and independence concept in different calculi

    • JiÅ™ina Vejnarová
    Pages 155-166

  16. A Multi-agent approach to first-order logic

    • Guilherme Bittencourt, Isabel Tonin
    Pages 167-178

  17. Modelling dynamic aspects of intentions

    • Michael da Costa Móra, Gabriel Pereira Lopes, Helder Coelho, Rosa M. Viccari
    Pages 179-194

  18. Multi-agent negotiation algorithms for resources cost estimation: A case study

    • Jose Manuel Fonseca, Eugénio de Oliveira, Adolfo Steiger-Garção
    Pages 195-206

  19. Parla: A cooperation language for cognitive multi-agent systems

    • A. C. P. L. da Costa, G. Bittencourt
    Pages 207-215

  20. Vivid agents arguing about distributed extended logic programs

    • Michael Schroeder, Iara Móra, José Julio Alferes
    Pages 217-228
Back to top

Other volumes

  1. Progress in Artificial Intelligence

Keywords

About this book

This book constitutes the refereed proceedings of the 8th Portuguese Conference on Artificial Intelligence, EPIA '97, held in Coimbra, Portugal, in October 1997.
The volume presents 24 revised full papers and 9 revised posters selected from 74 submissions from various countries. Also included are two full invited papers and two abstracts of invited talks. The papers are organized in topical sections on automated reasoning and theorem proving; CBR and machine learning; constraints; intelligent tutoring; knowledge representation; multi-agent systems and DAI; nonmonotonic, qualitative and temporal reasoning, and problem solving.

Bibliographic Information

  • Book Title: Progress in Artificial Intelligence

  • Book Subtitle: 8th Portuguese Conference on Artificial Intelligence, EPIA '97, Coimbra, Portugal, October 6-9, 1997. Proceedings

  • Editors: Ernesto Coasta, Amilcar Cardoso

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/BFb0023905

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1997

  • Softcover ISBN: 978-3-540-63586-4Published: 19 September 1997

  • eBook ISBN: 978-3-540-69605-6Published: 19 November 2005

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XIV, 402

  • Topics: Artificial Intelligence

Publish with us

Policies and ethics

Back to top

Search

Navigation