000 03560nam a22004815i 4500
001 978-3-540-46743-4
003 DE-He213
005 20160624102017.0
007 cr nn 008mamaa
008 121227s1989 gw | s |||| 0|eng d
020 _a9783540467434
_9978-3-540-46743-4
024 7 _a10.1007/3-540-51665-4
_2doi
050 4 _aQ334-342
050 4 _aTJ210.2-211.495
072 7 _aUYQ
_2bicssc
072 7 _aTJFM1
_2bicssc
072 7 _aCOM004000
_2bisacsh
082 0 4 _a006.3
_223
245 1 0 _aEPIA 89
_h[electronic resource] :
_b4th Portuguese Conference on Artificial Intelligence Lisbon, Portugal, September 26–29, 1989 Proceedings /
_cedited by J. P. Martins, E. M. Morgado.
260 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c1989.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c1989.
300 _aXIV, 406 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science, Lecture Notes in Artificial Intelligence,
_x0302-9743 ;
_v390
505 0 _aA 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.
650 0 _aComputer science.
650 0 _aArtificial intelligence.
650 1 4 _aComputer Science.
650 2 4 _aArtificial Intelligence (incl. Robotics).
700 1 _aMartins, J. P.
_eeditor.
700 1 _aMorgado, E. M.
_eeditor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783540516651
786 _dSpringer
830 0 _aLecture Notes in Computer Science, Lecture Notes in Artificial Intelligence,
_x0302-9743 ;
_v390
856 4 0 _uhttp://dx.doi.org/10.1007/3-540-51665-4
942 _2EBK5884
_cEBK
999 _c35178
_d35178