EPIA '91: 5th Portuguese Conference on Artificial Intelligence, Albufeira, Portugal, October 1-3, 1991 : Proceedings
"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."--PUBLISHER'S WEBSITE.
What people are saying - Write a review
We haven't found any reviews in the usual places.
Constraint Solving in Finite Domains under User Control
A New Method for Solving Linear Constraints on the Natural Numbers
16 other sections not shown
Other editions - View all
agent algorithm algorithm PBA annotated approach Artificial Intelligence atomic axioms behavior belief revision bidirectional bottom-up Branch and Bound CFXSMs chart parser clauses components Computer consistency constraint Constraint Logic Programming context-free grammar Contradiction Removal corresponding d(v_Qs d(v_Tin debugging decision tree declarative defined definition denote derivation described diagnosis episodes equations evaluation example execution Figure Filgueiras formula function goal grammar heuristic implementation inference inference rule inheritance input instance interpretation knowledge knowledge representation language linear literals Logic Programming lookahead maximal intervals minimal solutions negation notion operator parsing Pereira performed possible preconditions predicate problem Prolog III proof properties propositional qualitative query reference nodes relation representation represented robot rules schemata search space semantics sequent sequent schema SNePS solving specific strategy string structure subset subtree symbolic temporal theorem transformation tree undefined valid sequent values variables WS_PBA X-nodes