EPIA 89 : 4th Portuguese Conference on Artificial Intelligence, Lisbon, Portugal, September 26-29, 1989 : proceedings

書誌事項

EPIA 89 : 4th Portuguese Conference on Artificial Intelligence, Lisbon, Portugal, September 26-29, 1989 : proceedings

J.P. Martins, E.M. Morgado (eds.)

(Lecture notes in computer science, 390 . Lecture notes in artificial intelligence)

Springer-Verlag, c1989

  • : gw
  • : us

タイトル別名

EPIA 89 : 4th Portuguese Conference on Artificial Intelligence, Lisbon, Portugal, September 1989 : proceedings

大学図書館所蔵 件 / 56

この図書・雑誌をさがす

注記

Includes bibliographical references

内容説明・目次

目次

A pragmatic look at artificial intelligence.- An original object-oriented approach for relation management.- Conceptual representation techniques in the framework of large knowledge based systems.- Efficient frame systems.- First order theories of quantification.- A horn clause theory of inheritance and temporal reasoning.- Explicit context-based blackboards enhancing blackboard systems performance.- Reasoning with the unknown.- Path - based inference in SNeBR.- Relevant counterfactuals.- Non-monotonic reasoning with the ATMS.- On the classification and existence of structures in default logic.- Inscription - A rule of conjecture.- Algorithmic debugging of prolog side-effects.- Cooperating rewrite processes revisited.- CLG : A grammar formalism based on constraint resolution.- Some comments on a logic programming approach to natural language semantics.- Semantic analysis of time and tense in natural language: an implementation.- Extra-sentential dependencies, meaning representation, and generics.- Enhancing text quality in a question-answering system.- A knowledge-based system to synthesize FP programs from examples.- A path planner for the cutting of nested irregular layouts.- Reasoning objects with dynamic knowledge bases.- Prose: A constraint language with control structures.- An external database for Prolog.- Non-exact matching.- Rad: The risk advisor expert system.- Run-through algorithms for applications of autonomous mobile robots.- Events, situations, and adverbs.- LING2: A system for induction.- Logical foundations of nonmonotonic truth maintenance.- The CASSIE projects: An approach to natural language competence.- Knowledge acquisition by teachable systems.- List of contributors.

「Nielsen BookData」 より

関連文献: 1件中  1-1を表示

詳細情報

ページトップへ