𝔖 Scriptorium
✦   LIBER   ✦

📁

Progress in Artificial Intelligence: 9th Portuguese Conference on Artificial Intelligence, EPIA ’99 Évora, Portugal, September 21–24, 1999 Proceedings

✍ Scribed by P. Van Hentenryck, L. Michel, P. Laborie, W. Nuijten, J. Rogerie (auth.), Pedro Barahona, José J. Alferes (eds.)


Publisher
Springer-Verlag Berlin Heidelberg
Year
1999
Tongue
English
Leaves
394
Series
Lecture Notes in Computer Science 1695 : Lecture Notes in Artificial Intelligence
Edition
1
Category
Library

⬇  Acquire This Volume

No coin nor oath required. For personal study only.

✦ Synopsis


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.

✦ Table of Contents


Combinatorial Optimization in OPL Studio....Pages 1-15
Challenges for Inductive Logic Programming....Pages 16-33
Holonic Multiagent Systems — Theory and Applications —....Pages 34-48
On the Accuracy and Running Time of GSAT....Pages 49-61
The Impact of Branching Heuristics in Propositional Satisfiability Algorithms....Pages 62-74
A Tractable Subclass of the Block Algebra: Constraint Propagation and Preconvex Relations....Pages 75-89
Inclusion of Picture Sequences in Generated Documents....Pages 90-98
Using LocalMaxs Algorithm for the Extraction of Contiguous and Non-contiguous Multiword Lexical Units....Pages 99-112
On the Formal Distinction between Literal and Figurative Language....Pages 113-132
Qualitative Theory of Shape and Structure....Pages 133-147
A New Formulation of Tabled Resolution with Delay....Pages 148-162
YapOr: An Or-Parallel Prolog System Based on Environment Copying....Pages 163-177
Structure Theorems for Closed Sets of Implicates/Implicants in Temporal Logic....Pages 178-192
Critical Agents Supporting Interactive Theorem Proving....Pages 193-207
A Practical Approach to Fusing Prioritized Knowledge Bases....Pages 208-221
Fuzzy Behaviors and Behavior Arbitration in Autonomous Vehicles....Pages 222-236
A Multi-agent System for Electronic Commerce Including Adaptive Strategic Behaviours....Pages 237-251
Choice and Institutions in Agent Societies....Pages 252-266
Analytic Modal Revision for Multi-agent Systems....Pages 267-281
Decisions Based upon Multiple Values: The BVG Agent Architecture....Pages 282-296
Temporal Abductive Diagnosis....Pages 297-311
A New Approach to Base Revision....Pages 312-326
Improving Optical Music Recognition by Means of Abductive Constraint Logic Programming....Pages 327-341
Genetic Algorithms for Solving Open Shop Scheduling Problems....Pages 342-356
Expressing Population Based Optimization Heuristics Using PLATO....Pages 357-368
....Pages 369-383

✦ Subjects


Artificial Intelligence (incl. Robotics)


📜 SIMILAR VOLUMES


Progress in Artificial Intelligence: 9th
✍ Pedro Barahona (editor), Jose J. Alferes (editor) 📂 Library 📅 1999 🏛 Springer 🌐 English

<span>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),

Progress in Artificial Intelligence: 17t
✍ Francisco Pereira, Penousal Machado, Ernesto Costa, Amílcar Cardoso (eds.) 📂 Library 📅 2015 🏛 Springer International Publishing 🌐 English

<p>This book constitutes the refereed proceedings of the 17th Portuguese Conference on Artificial Intelligence, EPIA 2015, held in Coimbra, Portugal, in September 2015. The 45 revised full papers presented together with 36 revised short papers were carefully reviewed and selected from a total of 131

Progress in Artificial Intelligence: 8th
✍ Marc Fuchs (auth.), Ernesto Coasta, Amilcar Cardoso (eds.) 📂 Library 📅 1997 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

<p>This book constitutes the refereed proceedings of the 8th Portuguese Conference on Artificial Intelligence, EPIA '97, held in Coimbra, Portugal, in October 1997.<BR>The volume presents 24 revised full papers and 9 revised posters selected from 74 submissions from various countries. Also included

Progress in Artificial Intelligence: 8th
✍ Marc Fuchs (auth.), Ernesto Coasta, Amilcar Cardoso (eds.) 📂 Library 📅 1997 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

<p>This book constitutes the refereed proceedings of the 8th Portuguese Conference on Artificial Intelligence, EPIA '97, held in Coimbra, Portugal, in October 1997.<BR>The volume presents 24 revised full papers and 9 revised posters selected from 74 submissions from various countries. Also included

Progress in Artificial Intelligence: 11t
✍ Alexander Bockmayr (auth.), Fernando Moura Pires, Salvador Abreu (eds.) 📂 Library 📅 2003 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

<P>This book constitutes the refereed proceedings of the 11th Portuguese Conference on Artificial Intelligence, EPIA 2003, held in Beja, Portugal in December 2003.</P><P>The 29 revised full papers and 20 revised short papers presented were carefully reviewed and selected from a total of 119 submissi

Progress in Artificial Intelligence: 14t
✍ André Luiz Cunha, José Elievam Bessa Jr., José Reynaldo Setti (auth.), Luís Seab 📂 Library 📅 2009 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

<p><P>This book contains a selection of higher quality and reviewed papers of the 14th Portuguese Conference on Artificial Intelligence, EPIA 2009, held in Aveiro, Portugal, in October 2009.<BR>The 55 revised full papers presented were carefully reviewed and selected from a total of 163 submissions.