9. EPIA 1999: Évora, Portugal

Pedro Barahona, José Júlio Alferes (Eds.): Progress in Artificial Intelligence, 9th Portuguese Conference on Artificial Intelligence, EPIA '99, Évora, Portugal, September 21-24, 1999, Proceedings. Lecture Notes in Computer Science 1695 Springer 1999, ISBN 3-540-66548-X

Invited Lectures

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

Constraint Programming

Deborah East, Miroslaw Truszczynski:
On the Accuracy and Running Time of GSAT. 49-61
João P. Marques Silva:
The Impact of Branching Heuristics in Propositional Satisfiability Algorithms. 62-74
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
Aida Vitória, Margarida Mamede: Is PL₂ a Tractable Language? 90-98

Natural Language Processing

Kees van Deemter, Richard Power:
Inclusion of Picture Sequences in Generated Documents. 99-112
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
Udo Hahn, Katja Markert:
On the Formal Distinction between Literal and Figurative Language. 133-147

Spatial Reasoning

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

Logic Programming

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

Theorem Proving

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

Reasoning Under Uncertainty

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

Multi-agent Systems

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

Abduction and Revision

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

Genetic Algorithms

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

Last update Wed May 22 23:26:39 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page