default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID9th EPIA 1999: Évora, Portugal
- Pedro Barahona, José Júlio Alferes
:
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 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 PL2 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, Eugénio C. 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-03-08 00:36 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
