Martins

EPIA'89

4th Portuguese Conference on Artificial Intelligence, Lisbon, Portugal, September 26-29, 1989. Proceedings
Herausgegeben:Martins, Joao P.; Morgado, Ernesto M.

• Broschiertes Buch

Produktbeschreibung

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.

Produktdetails

• Lecture Notes in Computer Science 390
• Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
• Artikelnr. des Verlages: 978-3-540-51665-1
• 1989
• Seitenzahl: 420
• Erscheinungstermin: 6. September 1989
• Englisch
• Abmessung: 235mm x 155mm x 23mm
• Gewicht: 754g
• ISBN-13: 9783540516651
• ISBN-10: 3540516654
• Artikelnr.: 09250752

Inhaltsangabe

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.