5. EPIA 1991: Alfufeira, Portugal

Pedro Barahona, Luís Moniz Pereira, António Porto (Eds.): EPIA 91, 5th Portuguese Conference on Artificial Intelligence, Albufeira, Portugal, October 1-3, 1991, Proceedings. Lecture Notes in Computer Science 541 Springer 1991, ISBN 3-540-54535-2 BibTeX

@proceedings{DBLP:conf/epia/1991,
  editor    = {Pedro Barahona and
               Lu\'{\i}s Moniz Pereira and
               Ant{\'o}nio Porto},
  title     = {EPIA 91, 5th Portuguese Conference on Artificial Intelligence,
               Albufeira, Portugal, October 1-3, 1991, Proceedings},
  booktitle = {EPIA},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {541},
  year      = {1991},
  isbn      = {3-540-54535-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Constraints

Miguel Filgueiras, Ana Paula Tomás: Solving Linear Constraints on Finite Domains Through Parsing. 1-16 BibTeX
Francisco Menezes, Pedro Barahona: Constraint Solving in Finite Domains under User Control. 17-29 BibTeX
Ana Paula Tomás, Miguel Filgueiras: A New Method for Solving Linear Constraints on the Natural Numbers. 30-44 BibTeX
Kevin Lano: A Constraint-Based Fuzzy Inference System. 45-59 BibTeX
Margarida Mamede, Luís Monteiro: A Constraint-Based Language for Querying Taxonomic Systems. 60-75 BibTeX

Search

José António Mendes, Pedro Rangel Henriques: Heuristic Parsing and Search Space Pruning. 76-91 BibTeX
Peter C. Nelson, Anestis A. Toptsis: Wave-shaping in Multiprocessor Bidirectional Heuristic State Space Search. 92-104 BibTeX

Knowledge Representation

Luís Moniz Pereira, José Júlio Alferes, Joaquim Nunes Aparício: The Extended Stable Models of Contradiction Removal Semantics. 105-119 BibTeX
Deepak Kumar, Stuart C. Shapiro: Modelling a Rational Cognitive Agent in SNePS. 120-134 BibTeX
Gabriel David, António Porto: Semantics of Property Inheritance in a Hierarchic System with Explicit Negation. 135-150 BibTeX

Temporal Reasoning

Amílcar Cardoso, Ernesto Costa: Time in Conflucences: Dealing with Delays for Consistency-Checking. 151-164 BibTeX
Éric Rutten: A Temporal Representation for Imperatively Structured Plans of Actions. 165-179 BibTeX
Cristina Ribeiro, António Porto: Maximal Intervals: An Approach to Temporal Reasoning. 180-194 BibTeX

Planning

Martin Decker, Guido Moerkotte, Holger Müller, Joachim Posegga: Consistency Driven Planning. 195-209 BibTeX
Carlos Ramos, Eugenio Oliveira: An Efficient Approach to Planning in Assembly Tasks. 210-221 BibTeX

Diagnosis and Repair

Gerhard Friedrich, Georg Gottlob, Wolfgang Nejdl: Towards a Theory of the Repair Process. 222-236 BibTeX
Miguel Calejo, Luís Moniz Pereira: Declarative Source Debugging. 237-249 BibTeX

Learning

Klaus Peter Kratzer: A Neural Approach to Data Compression and Classification. 250-263 BibTeX
Raoul Vorc'h: Generalization for a Propositional Calculus: A Constraints-Based Approach. 264-277 BibTeX
Lothar Winkelbauer, Christian Stary: Adaptive Learning Using a Qualitative Feedback Loop. 278-292 BibTeX