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

by Portuguese Conference on Artificial Intelligence 1999 Evora, portugal; Alferes, Jose Julio; Carbonell, J. G.

• ISBN13: 9783540665489
• ISBN10: 354066548X
• Format: Paperback
• Copyright: 1999-11-01
• Publisher: Springer Verlag

Summary

This book constitutes the refereed proceedings of the 9th Portuguese Conference on Artificial Intelligence, EPIA '99, held in Évora, Portugal in September 1999.The 23 revised full papers presented together with three invited full papers were carefully reviewed and selected from a total of 66 submissions from 17 different countries. The papers are organized in topical sections on constraint programming, natural language processing, spatial reasoning, logic programming, theorem proving, reasoning under uncertainty, multi-agent systems, abduction and revision, and genetic algorithms.

Table of Contents

Combinatorial Optimization in OPL Studio	p. 1
Challenges for Inductive Logic Programming	p. 16
Holonic Multiagent Systems - Theory and Applications	p. 34
On the Accuracy and Running Time of GSAT	p. 49
The Impact of Branching Heuristics in Propositional Satisfiability Algorithms	p. 62
A Tractable Subclass of the Block Algebra: Constraint Propagation and Preconvex Relations	p. 75
Is PL[subscript 2] a Tractable Language?	p. 90
Inclusion of Picture Sequences in Generated Documents	p. 99
Using LocalMaxs Algorithm for the Extraction of Contiguous and Non-contiguous Multiword Lexical Units	p. 113
On the Formal Distinction between Literal and Figurative Language	p. 133
Qualitative Theory of Shape and Structure	p. 148
A New Formulation of Tabled Resolution with Delay	p. 163
YapOr: An Or-Parallel Prolog System Based on Environment Copying	p. 178
Structure Theorems for Closed Sets of Implicates/Implicants in Temporal Logic	p. 193
Critical Agents Supporting Interactive Theorem Proving	p. 208
A Practical Approach to Fusing Prioritized Knowledge Bases	p. 222
Fuzzy Behaviors and Behavior Arbitration in Autonomous Vehicles	p. 237
A Multi-agent System for Electronic Commerce Including Adaptative Strategic Behaviours	p. 252
Choice and Institutions in Agent Societies	p. 267
Analytic Modal Revision for Multi-agent Systems	p. 282
Decisions Based upon Multiple Values: The BVG Agent Architecture	p. 297
Temporal Abductive Diagnosis	p. 312
A New Approach to Base Revision	p. 327
Improving Optical Music Recognition by Means of Abductive Constraint Logic Programming	p. 342
Genetic Algorithms for Solving Open Shop Scheduling Problems	p. 357
Expressing Population Based Optimization Heuristics Using PLATO	p. 369
Author Index	p. 385
Table of Contents provided by Blackwell. All Rights Reserved.