9. EPIA 1999: Évora, Portugal

@proceedings{DBLP:conf/epia/1999,
  editor    = {Pedro Barahona and
               Jos{\'e} J{\'u}lio Alferes},
  title     = {Progress in Artificial Intelligence, 9th Portuguese Conference
               on Artificial Intelligence, EPIA '99, {\'E}vora, Portugal,
               September 21-24, 1999, Proceedings},
  booktitle = {EPIA},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1695},
  year      = {1999},
  isbn      = {3-540-66548-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Lectures

• Pascal Van Hentenryck, Laurent Michel, Philippe Laborie, Wim Nuijten, Jerome Rogerie: Combinatorial Optimization in OPL Studio. 1-15 BibTeX
• Nada Lavrac: Challenges for Inductive Logic Programming. 16-33 BibTeX
• Klaus Fischer: Holonic Multiagent Systems - Theory and Applications. 34-48 BibTeX

Constraint Programming

• Deborah East, Miroslaw Truszczynski: On the Accuracy and Running Time of GSAT. 49-61 BibTeX
• João P. Marques Silva: The Impact of Branching Heuristics in Propositional Satisfiability Algorithms. 62-74 BibTeX
• Philippe Balbiani, Jean-François Condotta, Luis Fariñas del Cerro: A Tractable Subclass of the Block Algebra: Constraint Propagation and Preconvex Relations. 75-89 BibTeX
• Aida Vitória, Margarida Mamede: Is PL₂ a Tractable Language? 90-98 BibTeX

Natural Language Processing

• Kees van Deemter, Richard Power: Inclusion of Picture Sequences in Generated Documents. 99-112 BibTeX
• Joaquim Ferreira da Silva, Gaël Dias, Sylvie Guilloré, José Gabriel Pereira Lopes: Using LocalMaxs Algorithm for the Extraction of Contiguous and Non-contiguous Multiword Lexical Units. 113-132 BibTeX
• Udo Hahn, Katja Markert: On the Formal Distinction between Literal and Figurative Language. 133-147 BibTeX

Spatial Reasoning

• Vincent Dugat, Pierre Gambarotto, Yannick Larvor: Qualitative Theory of Shape and Structure. 148-162 BibTeX

Logic Programming

• Terrance Swift: A New Formulation of Tabled Resolution with Delay. 163-177 BibTeX
• Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa: YapOr: an Or-Parallel Prolog System Based on Environment Copying. 178-192 BibTeX

Theorem Proving

• Inman P. de Guzmán, Pablo Cordero, Manuel Enciso: Structure Theorems for Closed Sets of Implicates/ Implicants in Temporal Logic. 193-207 BibTeX
• Christoph Benzmüller, Volker Sorge: Critical Agents Supporting Interactive Theorem Proving. 208-221 BibTeX

Reasoning Under Uncertainty

• Salem Benferhat, Didier Dubois, Henri Prade, Mary-Anne Williams: A Practical Approach to Fusing Prioritized Knowledge Bases. 223-236 BibTeX
• António Abreu, Luís Correia: Fuzzy Behaviors and Behavior Arbitration in Autonomous Vehicles. 237-251 BibTeX

Multi-agent Systems

• Henrique Lopes Cardoso, Max Schaefer, Eugenio Oliveira: A Multi-agent System for Electronic Commerce including Adaptive Strategic Behaviours. 252-266 BibTeX
• José Castro Caldas, Helder Coelho: Choice and Institutions in Agent Societies. 267-281 BibTeX
• Paolo Di Giusto, Guido Governatori: Analytic Modal Revision for Multi-agent Systems. 282-296 BibTeX
• Luis Antunes, Helder Coelho: Decisions Based upon Multiple Values: The BVG Agent Architecture. 297-311 BibTeX

Abduction and Revision

• Elpida T. Keravnou, John Washbrook: Temporal Abductive Diagnosis. 312-326 BibTeX
• Paolo Di Giusto, Guido Governatori: A New Approach to Base Revision. 327-341 BibTeX
• Miguel Ferrand, João Alexandre Leite, Amílcar Cardoso: Improving Optical Music Recognition by Means of Abductive Constraint Logic Programming. 342-356 BibTeX

Genetic Algorithms

• Sami Khuri, Sowmya Rao Miryala: Genetic Algorithms for Solving Open Shop Scheduling Problems. 357-368 BibTeX
• Luís Correia, Fernando Moura-Pires, Joaquim Nunes Aparício: Expressing Population Based Optimization Heuristics Using PLATO. 367-383 BibTeX