000 04739nam a22004815i 4500
001 978-3-540-47626-9
003 DE-He213
005 20160624102025.0
007 cr nn 008mamaa
008 121227s1993 gw | s |||| 0|eng d
020 _a9783540476269
_9978-3-540-47626-9
024 7 _a10.1007/BFb0018988
_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 _aGWAI-92: Advances in Artificial Intelligence
_h[electronic resource] :
_b16th German Conference on Artificial Intelligence Bonn, Germany, August 31 – September 3, 1992 Proceedings /
_cedited by Hans Jürgen Ohlbach.
260 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c1993.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c1993.
300 _aXIII, 407 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 ;
_v671
505 0 _aHow to construct a logic for your application -- A model elimination calculus with built-in theories -- A new sorted logic -- An explanatory framework for human theorem proving -- Towards first-order deduction based on Shannon graphs -- Success and failure of expert systems in. different fields of industrial application -- Viewing knowledge engineering as a symbiosis of Modeling to make sense and modeling to implement systems -- Cases as a basis for knowledge acquisition in the pre-formal phases of knowledge engineering -- Controlling generate & test in any time -- Efficient computation of solutions for contradictory time interval networks -- Extensions of concept languages for a mechanical engineering application -- Combining terminological and rule-based reasoning for abstraction processes -- Forward logic evaluation: Compiling a partially evaluated meta-interpreter into the WAM -- Concept support as a method for programming neural networks with symbolic knowledge -- A heuristic inductive generalization method and its application to VLSI-design -- Learning plan abstractions -- On discontinuous Q-Functions in reinforcement learning -- An intelligent tutoring system for classification problem solving -- Knowledge-based processing of medical language: A language engineering approach -- Text planning in ITEX: A hybrid approach -- Yes/no questions with negation: Towards integrating semantics and pragmatics -- An efficient decision algorithm for feature logic -- Universally quantified queries in languages with order-sorted logics -- A semantic view of explanation -- Goal-driven similarity assessment -- Delegated negotiation for resource re-allocation -- Towards a specification language for cooperation methods -- Improving operating system usage -- The role of user models for conflicts in a constraint-based model of generation -- Criteria in natural language generation: Minimal criteria and their impacts -- Terminological representation, natural language & relation algebra -- Linking humans and intelligent systems or: What are user agents good for? -- An advisor for the management of the acute radiation syndrome.
520 _aThis volume gives the proceedings of the sixteenth German Conference on Artificial Intelligence, held in the Gustav Stresemann Institute in Berlin from August 31 to September 3, 1992. The volume contains 24 papers presentedin the technical sessions, 8 papers selected from the workshop contributions, and an invited talk by D.M. Gabbay entitled "Howto construct a logic for your application". Topics discussed in the technical papers include: a model elimination calculus, a sorted logic, human theorem proving, deduction based on Shannon graphs, expert system applications, knowledge engineering, time interval networks, forward logic evaluation, concept support, heuristic inductivegeneralization, language engineering, feature logic, similarity assessment, and many others.
650 0 _aComputer science.
650 0 _aArtificial intelligence.
650 1 4 _aComputer Science.
650 2 4 _aArtificial Intelligence (incl. Robotics).
700 1 _aJürgen Ohlbach, Hans.
_eeditor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783540566670
786 _dSpringer
830 0 _aLecture Notes in Computer Science, Lecture Notes in Artificial Intelligence,
_x0302-9743 ;
_v671
856 4 0 _uhttp://dx.doi.org/10.1007/BFb0018988
942 _2EBK6131
_cEBK
999 _c35425
_d35425