EPIA 89 4th Portuguese Conference on Artificial Intelligence Lisbon, Portugal, September 26–29, 1989 Proceedings / [electronic resource] :
edited by J. P. Martins, E. M. Morgado.
- Berlin, Heidelberg : Springer Berlin Heidelberg, 1989.
- XIV, 406 p. online resource.
- Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence, 390 0302-9743 ; .
- Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence, 390 .
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.
9783540467434
10.1007/3-540-51665-4 doi
Computer science.
Artificial intelligence.
Computer Science.
Artificial Intelligence (incl. Robotics).
Q334-342 TJ210.2-211.495
006.3
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.
9783540467434
10.1007/3-540-51665-4 doi
Computer science.
Artificial intelligence.
Computer Science.
Artificial Intelligence (incl. Robotics).
Q334-342 TJ210.2-211.495
006.3