EPIA 91 : 5th Portuguese Conference on Artificial Intelligence, Albufeira, Portugal, October 1-3, 1991 : proceedings
著者
書誌事項
EPIA 91 : 5th Portuguese Conference on Artificial Intelligence, Albufeira, Portugal, October 1-3, 1991 : proceedings
(Lecture notes in computer science, 541 . Lecture notes in artificial intelligence)
Springer-Verlag, c1991
- : gw
- : us
大学図書館所蔵 全58件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ
注記
Includes bibliographical references
内容説明・目次
内容説明
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.
目次
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.
「Nielsen BookData」 より