TY - BOOK AU - Martins,J.P. AU - Morgado,E.M. ED - SpringerLink (Online service) TI - EPIA 89: 4th Portuguese Conference on Artificial Intelligence Lisbon, Portugal, September 26–29, 1989 Proceedings T2 - Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence, SN - 9783540467434 AV - Q334-342 U1 - 006.3 23 PY - 1989/// CY - Berlin, Heidelberg PB - Springer Berlin Heidelberg KW - Computer science KW - Artificial intelligence KW - Computer Science KW - Artificial Intelligence (incl. Robotics) N1 - 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 UR - http://dx.doi.org/10.1007/3-540-51665-4 ER -