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

ISBN-13: 9783540516651 / Angielski / Miękka / 1989 / 406 str.

Joao P. Martins;Ernesto M. Morgado

Opis

Springer Book Archives

Spis treści

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.