The Portuguese Association for Artificial Intelligence has been organizing Portuguese Conferences on Artificial Intelligence, now held every second year, since 1985. This volume contains selected papers from the Fifth Conference on Artificial Intelligence. The conference has an international status: 62 contributions from 13 countries were received, of which 26 were from Portugal. To guarantee a high scientific standard, all the contributions were reviewed by at least three researchers,and only 20 papers were accepted and included in these proceedings. The papers are organized into sections on constraints, search, knowledge representation, temporal reasoning, planning, diagnosis and repair, and learning.
Author(s): Miguel Filgueiras, Ana Paula Tomás (auth.), Pedro Barahona, Luís Moniz Pereira, António Porto (eds.)
Series: Lecture Notes in Computer Science 541
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1991
Language: English
Pages: 298
Tags: Artificial Intelligence (incl. Robotics)
Solving linear constraints on finite domains through parsing....Pages 1-16
Constraint solving in finite domains under user control....Pages 17-29
A new method for solving linear constraints on the natural numbers....Pages 30-44
A constraint-based fuzzy inference system....Pages 45-59
A constraint-based language for querying taxonomic systems....Pages 60-75
Heuristic parsing and search space pruning....Pages 76-91
Wave-shaping in multiprocessor bidirectional heuristic state space search....Pages 92-104
The extended stable models of contradiction removal semantics....Pages 105-119
Modeling a rational cognitive agent in SNePS....Pages 120-134
Semantics of property inheritance in a hierarchic system with explicit negation....Pages 135-150
Time in confluences: Dealing with delays for consistency-checking....Pages 151-164
A temporal representation for imperatively structured plans of actions....Pages 165-179
Maximal intervals: An approach to temporal reasoning....Pages 180-194
Consistency driven planning....Pages 195-209
An efficient approach to planning in assembly tasks....Pages 210-221
Towards a theory of the repair process....Pages 222-236
Declarative source debugging....Pages 237-249
A neural approach to data compression and classification....Pages 250-263
Generalization for a propositional calculus: a constraints-based approach....Pages 264-277
Adaptive learning using a qualitative feedback loop....Pages 278-292
