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
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.