|
" EPIA '91 : "
P. Barahona, L. Moniz Pereira, A. Porto (eds.).
Document Type
|
:
|
BL
|
Record Number
|
:
|
740114
|
Doc. No
|
:
|
b560048
|
Main Entry
|
:
|
P. Barahona, L. Moniz Pereira, A. Porto (eds.).
|
Title & Author
|
:
|
EPIA '91 : : 5th Portuguese Conference on Artifical Intelligence, Albufeira, Portugal, October 1-3, 1991 : proceedings\ P. Barahona, L. Moniz Pereira, A. Porto (eds.).
|
Publication Statement
|
:
|
Berlin ; New York: Springer-Verlag, ©1991.
|
Series Statement
|
:
|
Lecture notes in computer science, 541.; Lecture notes in computer science. Lecture notes in artificial intelligence.
|
Page. NO
|
:
|
292 p.
|
ISBN
|
:
|
0387545352
|
|
:
|
: 3540545352
|
|
:
|
: 9780387545356
|
|
:
|
: 9783540545354
|
Contents
|
:
|
Solving linear constraints on finite domains through parsing.- Constraint solving in finite domains under user control.- A new method for solving linear constraints on the natural numbers.- A constraint-based fuzzy inference system.- A constraint-based language for querying taxonomic systems.- Heuristic parsing and search space pruning.- Wave-shaping in multiprocessor bidirectional heuristic state space search.- The extended stable models of contradiction removal semantics.- Modeling a rational cognitive agent in SNePS.- Semantics of property inheritance in a hierarchic system with explicit negation.- Time in confluences: Dealing with delays for consistency-checking.- A temporal representation for imperatively structured plans of actions.- Maximal intervals: An approach to temporal reasoning.- Consistency driven planning.- An efficient approach to planning in assembly tasks.- Towards a theory of the repair process.- Declarative source debugging.- A neural approach to data compression and classification.- Generalization for a propositional calculus: a constraints-based approach.- Adaptive learning using a qualitative feedback loop.
|
Subject
|
:
|
Informatique.
|
Subject
|
:
|
intelligence artificielle -- congrès.
|
Subject
|
:
|
Intelligence artificielle.
|
Added Entry
|
:
|
A Porto
|
|
:
|
Luís Moniz Pereira
|
|
:
|
P Barahona
|
| |