![](https://dblp.uni-trier.de./img/logo.320x120.png)
![search dblp search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
default search action
5th EPIA 1991: Alfufeira, Portugal
- Pedro Barahona
, Luís Moniz Pereira, António Porto:
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
Constraints
- Miguel Filgueiras, Ana Paula Tomás
:
Solving Linear Constraints on Finite Domains Through Parsing. 1-16 - Francisco Menezes, Pedro Barahona
:
Constraint Solving in Finite Domains under User Control. 17-29 - Ana Paula Tomás
, Miguel Filgueiras:
A New Method for Solving Linear Constraints on the Natural Numbers. 30-44 - Kevin Lano:
A Constraint-Based Fuzzy Inference System. 45-59 - Margarida Mamede
, Luís Monteiro:
A Constraint-Based Language for Querying Taxonomic Systems. 60-75
Search
- José António Mendes, Pedro Rangel Henriques
:
Heuristic Parsing and Search Space Pruning. 76-91 - Peter C. Nelson, Anestis A. Toptsis:
Wave-shaping in Multiprocessor Bidirectional Heuristic State Space Search. 92-104
Knowledge Representation
- Luís Moniz Pereira, José Júlio Alferes
, Joaquim Nunes Aparício:
The Extended Stable Models of Contradiction Removal Semantics. 105-119 - Deepak Kumar, Stuart C. Shapiro:
Modelling a Rational Cognitive Agent in SNePS. 120-134 - Gabriel David
, António Porto:
Semantics of Property Inheritance in a Hierarchic System with Explicit Negation. 135-150
Temporal Reasoning
- Amílcar Cardoso
, Ernesto Costa:
Time in Conflucences: Dealing with Delays for Consistency-Checking. 151-164 - Éric Rutten:
A Temporal Representation for Imperatively Structured Plans of Actions. 165-179 - Cristina Ribeiro
, António Porto:
Maximal Intervals: An Approach to Temporal Reasoning. 180-194
Planning
- Martin Decker, Guido Moerkotte, Holger Müller, Joachim Posegga:
Consistency Driven Planning. 195-209 - Carlos Ramos
, Eugénio C. Oliveira
:
An Efficient Approach to Planning in Assembly Tasks. 210-221
Diagnosis and Repair
- Gerhard Friedrich, Georg Gottlob, Wolfgang Nejdl:
Towards a Theory of the Repair Process. 222-236 - Miguel Calejo, Luís Moniz Pereira:
Declarative Source Debugging. 237-249
Learning
- Klaus Peter Kratzer:
A Neural Approach to Data Compression and Classification. 250-263 - Raoul Vorc'h:
Generalization for a Propositional Calculus: A Constraints-Based Approach. 264-277 - Lothar Winkelbauer, Christian Stary:
Adaptive Learning Using a Qualitative Feedback Loop. 278-292
![](https://dblp.uni-trier.de./img/cog.dark.24x24.png)
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.