Skip to main content
SpringerLink
Log in

Progress in Artificial Intelligence

9th Portuguese Conference on Artificial Intelligence, EPIA '99, Evora, Portugal, September 21-24, 1999, Proceedings

  • Conference proceedings
  • © 1999

Overview

Editors:
  1. Pedro Barahona

    1. Departamento de Informática, Universidade Nova de Lisboa, Caparica, Portugal

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. José J. Alferes

    1. Departamento de Matemática, Universidade de Évora, Évora, Portugal

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

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
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
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 (26 papers)

  1. Front Matter

    Pages I-XI
    Download chapter PDF

  2. Invited Lectures

    1. Combinatorial Optimization in OPL Studio

      • P. Van Hentenryck, L. Michel, P. Laborie, W. Nuijten, J. Rogerie
      Pages 1-15

    2. Challenges for Inductive Logic Programming

      • Nada Lavrač
      Pages 16-33

    3. Holonic Multiagent Systems — Theory and Applications —

      • Klaus Fischer
      Pages 34-48

  3. Constraint Programming

    1. On the Accuracy and Running Time of GSAT

      • Deborah East, Mirosław Truszczyński
      Pages 49-61

    2. The Impact of Branching Heuristics in Propositional Satisfiability Algorithms

      • João Marques-Silva
      Pages 62-74

    3. A Tractable Subclass of the Block Algebra: Constraint Propagation and Preconvex Relations

      • Philippe Balbiani, Jean-François Condotta, Luis Fariñas del Cerro
      Pages 75-89

    4. Is \( \mathcal{P}\mathcal{L}_2 \) a Tractable Language?

      • Aida Vitória, Margarida Mamede
      Pages 90-98

  4. Natural Language Processing

    1. Inclusion of Picture Sequences in Generated Documents

      • Kees van Deemter, Richard Power
      Pages 99-112

    2. Using LocalMaxs Algorithm for the Extraction of Contiguous and Non-contiguous Multiword Lexical Units

      • Joaquim Ferreira da Silva, Gaël Dias, Sylvie Guilloré, José Gabriel Pereira Lopes
      Pages 113-132

    3. On the Formal Distinction between Literal and Figurative Language

      • Udo Hahn, Katja Markert
      Pages 133-147

  5. Spatial Reasoning

    1. Qualitative Theory of Shape and Structure

      • Vincent Dugat, Pierre Gambarotto, Yannick Larvor
      Pages 148-162

  6. Logic Programming

    1. A New Formulation of Tabled Resolution with Delay

      • Terrance Swift
      Pages 163-177

    2. YapOr: An Or-Parallel Prolog System Based on Environment Copying

      • Ricardo Rocha, Fernando Silva, Vítor Santos Costa
      Pages 178-192

  7. Theorem Proving

    1. Structure Theorems for Closed Sets of Implicates/Implicants in Temporal Logic

      • I. P. de Guzmán, P. Cordero, M. Enciso
      Pages 193-207

    2. Critical Agents Supporting Interactive Theorem Proving

      • Christoph Benzmüller, Volker Sorge
      Pages 208-221

  8. Reasoning Under Uncertainty

    1. A Practical Approach to Fusing Prioritized Knowledge Bases

      • Salem Benferhat, Didier Dubois, Henri Prade, Mary-Anne Williams
      Pages 222-236

    2. Fuzzy Behaviors and Behavior Arbitration in Autonomous Vehicles

      • António Abreu, Luís Correia
      Pages 237-251

  9. Multi-agent Systems

    1. A Multi-agent System for Electronic Commerce Including Adaptive Strategic Behaviours

      • Henrique Lopes Cardoso, Max Schaefer, Eugénio Oliveira
      Pages 252-266

    2. Choice and Institutions in Agent Societies

      • José Castro Caldas, Helder Coelho
      Pages 267-281
Back to top

Keywords

About this book

The Portuguese Association for Arti cial Intelligence (APPIA) has been re- larly organising the Portuguese Conference on Arti cial Intelligence (EPIA). This ninth conference follows previous ones held in Porto (1985), Lisboa (1986), Braga (1987), Lisboa (1989), Albufeira (1991), Porto (1993), Funchal (1995) and Coimbra (1997). Starting in 1989, the conferences have been held biennially (alternating with an APPIA Advanced School on Arti cial Intelligence) and become truly international: English has been adopted as the o cial language and the proceedings are published in Springer’s LNAI series. The conference has recon rmed its high international standard this year, largely due to its programme committee, composed of distinguished researchers in a variety of specialities in Arti cial Intelligence, half of them from Portuguese universities. This has attracted a signi cant international interest, well expressed by the number of papers submitted (66), from 17 di erent countries, 29 of which are by Portuguese researchers. From the 66 papers submitted, about one third of them (23) were selected for oral presentation and have been published in this volume. The review process enabled the selection of high quality papers, each paper being reviewed by two or three reviewers, either from the programme committee or by their appointment. We would like to thank all of the reviewers for their excellent and hard work.

Editors and Affiliations

  • Departamento de Informática, Universidade Nova de Lisboa, Caparica, Portugal

    Pedro Barahona

  • Departamento de Matemática, Universidade de Évora, Évora, Portugal

    José J. Alferes

Bibliographic Information

  • Book Title: Progress in Artificial Intelligence

  • Book Subtitle: 9th Portuguese Conference on Artificial Intelligence, EPIA '99, Evora, Portugal, September 21-24, 1999, Proceedings

  • Editors: Pedro Barahona, José J. Alferes

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/3-540-48159-1

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1999

  • Softcover ISBN: 978-3-540-66548-9Published: 08 September 1999

  • eBook ISBN: 978-3-540-48159-1Published: 31 July 2003

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XII, 392

  • Topics: Artificial Intelligence

Publish with us

Policies and ethics

Back to top

Search

Navigation