LEADER 03863nam 22005295 450 001 996465277503316 005 20200704092212.0 010 $a3-540-38459-6 024 7 $a10.1007/3-540-54535-2 035 $a(CKB)1000000000233715 035 $a(SSID)ssj0000322932 035 $a(PQKBManifestationID)11245559 035 $a(PQKBTitleCode)TC0000322932 035 $a(PQKBWorkID)10289795 035 $a(PQKB)11602464 035 $a(DE-He213)978-3-540-38459-5 035 $a(PPN)155214047 035 $a(EXLCZ)991000000000233715 100 $a20121227d1991 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aEPIA'91$b[electronic resource] $e5th Portuguese Conference on Artificial Intelligence, Albufeira, Portugal, October 1-3, 1991. Proceedings /$fedited by Pedro Barahona, Luis Moniz Pereira, Antonio Porto 205 $a1st ed. 1991. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1991. 215 $a1 online resource (X, 298 p.) 225 1 $aLecture Notes in Artificial Intelligence ;$v541 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-54535-2 327 $aSolving 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. 330 $aThe 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. 410 0$aLecture Notes in Artificial Intelligence ;$v541 606 $aArtificial intelligence 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 615 0$aArtificial intelligence. 615 14$aArtificial Intelligence. 676 $a006.3 702 $aBarahona$b Pedro$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMoniz Pereira$b Luis$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aPorto$b Antonio$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aPortuguese Conference on Artificial Intelligence 906 $aBOOK 912 $a996465277503316 996 $aEPIA'91$92832043 997 $aUNISA