|
|
|
|
LEADER |
10757cam a2201273 4500 |
001 |
183-595126650 |
003 |
DE-627 |
005 |
20240214204717.0 |
007 |
cr uuu---uuuuu |
008 |
090328s1993 gw |||||o 00| ||eng c |
020 |
|
|
|a 9783540476269
|9 978-3-540-47626-9
|
024 |
7 |
|
|a 10.1007/BFb0018988
|2 doi
|
035 |
|
|
|a (DE-627)595126650
|
035 |
|
|
|a (DE-576)9595126659
|
035 |
|
|
|a (DE-599)GBV595126650
|
035 |
|
|
|a (DE-601)NLM003721655
|
035 |
|
|
|a (ZBM)0854.00020
|
035 |
|
|
|a (ZBM)0854.00020
|
035 |
|
|
|a (DE-He213)978-3-540-47626-9
|
035 |
|
|
|a (EBP)040481360
|
040 |
|
|
|a DE-627
|b ger
|c DE-627
|e rakwb
|
041 |
|
|
|a eng
|
044 |
|
|
|c XA-DE-BE
|
050 |
|
0 |
|a Q334
|
072 |
|
7 |
|a UYQ
|2 bicssc
|
072 |
|
7 |
|a COM004000
|2 bisacsh
|
084 |
|
|
|a 28
|2 sdnb
|
084 |
|
|
|a SS 4800
|q SEPA
|2 rvk
|0 (DE-625)rvk/143528:
|
084 |
|
|
|a ST 300
|q SEPA
|2 rvk
|0 (DE-625)rvk/143650:
|
084 |
|
|
|a *00B25
|2 msc
|
084 |
|
|
|a 68-06
|2 msc
|
084 |
|
|
|a 54.72
|2 bkl
|
245 |
1 |
0 |
|a GWAI-92: advances in artificial intelligence
|b 16th German Conference on Artificial Intelligence, Bonn, Germany, August 31 - September 3, 1992 ; proceedings
|c Hans Jürgen Ohlbach (ed.)
|
264 |
|
1 |
|a Berlin [u.a.]
|b Springer
|c 1993
|
300 |
|
|
|a Online-Ressource (XI, 397 S.)
|
336 |
|
|
|a Text
|b txt
|2 rdacontent
|
337 |
|
|
|a Computermedien
|b c
|2 rdamedia
|
338 |
|
|
|a Online-Ressource
|b cr
|2 rdacarrier
|
490 |
1 |
|
|a Lecture notes in computer science
|v 671
|a Lecture notes in artificial intelligence
|
500 |
|
|
|a Literaturangaben
|
520 |
|
|
|a How 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 |
|
|
|a This 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.
|
533 |
|
|
|a Online-Ausg.
|b Berlin [u.a.]
|c Springer
|d 2006
|f Springer lecture notes archive
|7 |2006||||||||||
|
650 |
|
0 |
|a Computer science
|
650 |
|
0 |
|a Artificial intelligence
|
650 |
|
4 |
|a Computer Science
|
650 |
|
4 |
|a Artificial Intelligence (incl. Robotics)
|
653 |
|
0 |
|a Artificial
|a Congresses
|
655 |
|
7 |
|a Konferenzschrift
|y 1992
|z Bonn
|0 (DE-588)1071861417
|0 (DE-627)826484824
|0 (DE-576)433375485
|2 gnd-content
|
689 |
0 |
0 |
|D s
|0 (DE-588)4033447-8
|0 (DE-627)106257188
|0 (DE-576)209002050
|a Künstliche Intelligenz
|2 gnd
|
689 |
0 |
|
|5 DE-101
|
700 |
1 |
|
|a Ohlbach, Hans Jürgen
|4 oth
|
711 |
2 |
|
|a GWAI
|n 16
|d 1992
|c Bonn
|0 (DE-588)2129193-7
|0 (DE-627)124360661
|0 (DE-576)194416062
|4 oth
|
776 |
1 |
|
|z 3540566678
|
776 |
1 |
|
|z 9783540566670
|
776 |
0 |
8 |
|i Druckausg.
|t Advances in artificial intelligence
|d Berlin : Springer, 1993
|h XI, 397 S.
|w (DE-627)272032913
|w (DE-576)033735905
|z 3540566678
|z 0387566678
|
830 |
|
0 |
|a Lecture notes in computer science
|v 671
|9 67100
|w (DE-627)316228877
|w (DE-576)093890923
|w (DE-600)2018930-8
|x 1611-3349
|7 ns
|
856 |
4 |
0 |
|u http://www.springerlink.com/content/p77514866752
|x Verlag
|z lizenzpflichtig
|3 Volltext
|
856 |
4 |
0 |
|u http://www.springerlink.de/openurl.asp?genre=book&isbn=978-3-540-56667-0
|x Verlag
|z lizenzpflichtig
|3 Volltext
|
856 |
4 |
0 |
|u http://dx.doi.org/10.1007/BFb0018988
|x Resolving-System
|z lizenzpflichtig
|3 Volltext
|
856 |
4 |
0 |
|u https://doi.org/10.1007/BFb0018988
|m X:SPRINGER
|x Resolving-System
|z lizenzpflichtig
|
856 |
4 |
2 |
|u https://zbmath.org/?q=an:0854.00020
|m B:ZBM
|v 2021-04-12
|x Verlag
|y Zentralblatt MATH
|3 Inhaltstext
|
912 |
|
|
|a ZDB-1-SLN
|
912 |
|
|
|a ZDB-2-LNC
|b 1993
|
912 |
|
|
|a ZDB-2-SCS
|b 1993
|
912 |
|
|
|a ZDB-2-SXCS
|b 1993
|
912 |
|
|
|a ZDB-2-BAE
|b 1993
|
912 |
|
|
|a ZDB-2-SEB
|b 1993
|
912 |
|
|
|a SSG-OPC-bbi
|
912 |
|
|
|a SSG-OPC-mat
|
924 |
1 |
|
|a 1221298518
|b DE-1a
|9 1a
|c GBV
|d d
|h 5:INTERN
|k http://erf.sbb.spk-berlin.de/han/512881081/dx.doi.org/10.1007/BFb0018988
|
924 |
1 |
|
|a 202666980
|b DE-84
|9 84
|c GBV
|d d
|k http://dx.doi.org/10.1007/BFb0018988
|
924 |
1 |
|
|a 201777223
|b DE-46
|9 46
|c GBV
|d d
|k http://dx.doi.org/10.1007/BFb0018988
|
924 |
1 |
|
|a 1162771283
|b DE-18
|9 18
|c GBV
|d d
|k http://dx.doi.org/10.1007/BFb0018988
|k http://emedien.sub.uni-hamburg.de/han/SpringerEbooks/dx.doi.org/10.1007/BFb0018988
|
924 |
1 |
|
|a 202426238
|b DE-830
|9 830
|c GBV
|d d
|k http://dx.doi.org/10.1007/BFb0018988
|
924 |
1 |
|
|a 202690652
|b DE-8
|9 8
|c GBV
|d d
|k http://dx.doi.org/10.1007/BFb0018988
|
924 |
1 |
|
|a 3503727035
|b DE-104
|9 104
|c GBV
|d d
|k http://dx.doi.org/10.1007/BFb0018988
|
924 |
1 |
|
|a 1114763705
|b DE-27
|9 27
|c GBV
|d d
|k http://dx.doi.org/10.1007/BFb0018988
|
924 |
1 |
|
|a 202731804
|b DE-Ilm1
|9 Ilm 1
|c GBV
|d d
|g Online-Ressource
|h Internet
|
924 |
1 |
|
|a 1273487400
|b DE-7
|9 7
|c GBV
|d d
|k http://dx.doi.org/10.1007/BFb0018988
|k http://han.sub.uni-goettingen.de/han/SpringerLectureNotesinComputerScience/dx.doi.org/10.1007/BFb0018988
|
924 |
1 |
|
|a 1159774110
|b DE-705
|9 705
|c GBV
|d d
|k http://dx.doi.org/10.1007/BFb0018988
|
924 |
1 |
|
|a 202643301
|b DE-28
|9 28
|c GBV
|d d
|k http://dx.doi.org/10.1007/BFb0018988
|
924 |
1 |
|
|a 202702480
|b DE-Wim2
|9 Wim 2
|c GBV
|d d
|k http://dx.doi.org/10.1007/BFb0018988
|
924 |
1 |
|
|a 20263146X
|b DE-3
|9 3
|c GBV
|d d
|g ebook
|k http://dx.doi.org/10.1007/BFb0018988
|
924 |
1 |
|
|a 1173496661
|b DE-9
|9 9
|c GBV
|d d
|k http://dx.doi.org/10.1007/BFb0018988
|
924 |
1 |
|
|a 1670357031
|b DE-95
|9 95
|c GBV
|d d
|k http://dx.doi.org/10.1007/BFb0018988
|
924 |
1 |
|
|a 1196440875
|b DE-Ma9
|9 Ma 9
|c GBV
|d d
|g ebook SpringerLectureNotes
|k http://dx.doi.org/10.1007/BFb0018988
|k http://han.med.uni-magdeburg.de/han/NLUNIeBookSpringerLectureNotes/dx.doi.org/10.1007/BFb0018988
|
924 |
1 |
|
|a 119647740X
|b DE-Ma14
|9 Ma 14
|c GBV
|d d
|g ebook SpringerLectureNotes
|k http://dx.doi.org/10.1007/BFb0018988
|k http://han.med.uni-magdeburg.de/han/NLUNIeBookSpringerLectureNotes/dx.doi.org/10.1007/BFb0018988
|
924 |
1 |
|
|a 121741648X
|b DE-Luen4
|9 Lün 4
|c GBV
|d d
|k http://dx.doi.org/10.1007/BFb0018988
|
924 |
1 |
|
|a 1586808664
|b DE-Kt1
|9 Kt 1
|c GBV
|d d
|k http://dx.doi.org/10.1007/BFb0018988
|
924 |
1 |
|
|a 927646056
|b DE-715
|9 715
|c GBV
|d d
|k http://dx.doi.org/10.1007/BFb0018988
|
924 |
1 |
|
|a 1752702077
|b DE-715
|9 715
|c GBV
|d d
|k http://49gbv-uob-primo.hosted.exlibrisgroup.com/openurl/49GBV_UOB/UOB_services_page?u.ignore_date_coverage=true&rft.mms_id=991010472509703501
|l Springer Lecture Notes [Nationallizenz]
|l Campusweiter Zugriff (Universität Oldenburg). - Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden.
|
924 |
1 |
|
|a 202655148
|b DE-700
|9 700
|c GBV
|d d
|k http://dx.doi.org/10.1007/BFb0018988
|
924 |
1 |
|
|a 3848426153
|b DE-Wis1
|9 Wis 1
|c GBV
|d d
|k http://dx.doi.org/10.1007/BFb0018988
|
924 |
1 |
|
|a 1263874568
|b DE-755
|9 755
|c GBV
|d d
|k http://dx.doi.org/10.1007/BFb0018988
|
924 |
1 |
|
|a 1172947546
|b DE-960
|9 960
|c GBV
|d d
|k http://dx.doi.org/10.1007/BFb0018988
|
924 |
1 |
|
|a 203361814
|b DE-916
|9 916
|c GBV
|d d
|k http://dx.doi.org/10.1007/BFb0018988
|
924 |
1 |
|
|a 1823527922
|b DE-Ki95
|9 Ki 95
|c GBV
|d d
|k http://dx.doi.org/10.1007/BFb0018988
|
924 |
1 |
|
|a 1222076985
|b DE-H155
|9 H 155
|c GBV
|d d
|k http://dx.doi.org/10.1007/BFb0018988
|
924 |
1 |
|
|a 202678814
|b DE-517
|9 517
|c GBV
|d d
|k http://dx.doi.org/10.1007/BFb0018988
|
924 |
1 |
|
|a 1172991081
|b DE-960-3
|9 960/3
|c GBV
|d d
|k http://dx.doi.org/10.1007/BFb0018988
|
924 |
1 |
|
|a 4484379236
|b DE-14
|9 14
|c BSZ
|d d
|k https://doi.org/10.1007/BFb0018988
|
924 |
1 |
|
|a 4484379244
|b DE-576
|9 576
|c BSZ
|d d
|
924 |
1 |
|
|a 4484338750
|b DE-Ofb1
|9 Ofb 1
|c BSZ
|d d
|g E-Book Springer
|k https://doi.org/10.1007/BFb0018988
|l Zum Online-Dokument
|l Zugang im Hochschulnetz der HS Offenburg / extern via VPN oder Shibboleth (Login über Institution)
|
936 |
r |
v |
|a SS 4800
|b Lecture notes in computer science
|k Informatik
|k Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen
|k Schriftenreihen (indiv. Sign.)
|k Lecture notes in computer science
|0 (DE-627)1271461242
|0 (DE-625)rvk/143528:
|0 (DE-576)201461242
|
936 |
r |
v |
|a ST 300
|b Allgemeines
|k Informatik
|k Monografien
|k Künstliche Intelligenz
|k Allgemeines
|0 (DE-627)1271119005
|0 (DE-625)rvk/143650:
|0 (DE-576)201119005
|
936 |
b |
k |
|a 54.72
|j Künstliche Intelligenz
|0 (DE-627)10641240X
|
951 |
|
|
|a BO
|
980 |
|
|
|a 595126650
|b 183
|c sid-183-col-kxpbbi
|
SOLR
_version_ |
1797789915052769280 |
author2 |
Ohlbach, Hans Jürgen |
author2_role |
oth |
author2_variant |
h j o hj hjo |
author_corporate |
GWAI |
author_corporate_role |
oth |
author_facet |
Ohlbach, Hans Jürgen, GWAI |
building |
Library A |
callnumber-first |
Q - Science |
callnumber-label |
Q334 |
callnumber-raw |
Q334 |
callnumber-search |
Q334 |
callnumber-sort |
Q 3334 |
callnumber-subject |
Q - General Science |
collection |
ZDB-1-SLN, ZDB-2-LNC, ZDB-2-SCS, ZDB-2-SXCS, ZDB-2-BAE, ZDB-2-SEB, SSG-OPC-bbi, SSG-OPC-mat, sid-183-col-kxpbbi |
contents |
How 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., This 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. |
ctrlnum |
(DE-627)595126650, (DE-576)9595126659, (DE-599)GBV595126650, (DE-601)NLM003721655, (ZBM)0854.00020, (DE-He213)978-3-540-47626-9, (EBP)040481360 |
doi_str_mv |
10.1007/BFb0018988 |
era_facet |
1992 |
facet_912a |
ZDB-1-SLN, ZDB-2-LNC, ZDB-2-SCS, ZDB-2-SXCS, ZDB-2-BAE, ZDB-2-SEB, SSG-OPC-bbi, SSG-OPC-mat |
facet_avail |
Online |
facet_local_del330 |
Künstliche Intelligenz |
facet_topic_nrw_music |
Artificial, Congresses |
finc_class_facet |
Informatik, Allgemeine Naturwissenschaft |
fincclass_txtF_mv |
science-computerscience |
footnote |
Literaturangaben |
format |
eBook, ConferenceProceedings |
format_access_txtF_mv |
Book, E-Book |
format_de105 |
Ebook |
format_de14 |
Book, E-Book |
format_de15 |
Book, E-Book |
format_del152 |
Buch |
format_detail_txtF_mv |
text-online-monograph-independent-conference |
format_dezi4 |
e-Book |
format_finc |
Book, E-Book |
format_legacy |
ElectronicBook |
format_legacy_nrw |
Book, E-Book |
format_nrw |
Book, E-Book |
format_strict_txtF_mv |
E-Book |
genre |
Konferenzschrift 1992 Bonn (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content |
genre_facet |
Konferenzschrift |
geogr_code |
not assigned |
geogr_code_person |
not assigned |
geographic_facet |
Bonn |
hierarchy_parent_id |
183-316228877 |
hierarchy_parent_title |
Lecture notes in computer science |
hierarchy_sequence |
67100 |
hierarchy_top_id |
183-316228877 |
hierarchy_top_title |
Lecture notes in computer science |
id |
183-595126650 |
illustrated |
Not Illustrated |
imprint |
Berlin [u.a.], Springer, 1993 |
imprint_str_mv |
Berlin [u.a.]: Springer, 1993, Online-Ausg.: Berlin [u.a.]: Springer, 2006 |
institution |
FID-BBI-DE-23 |
is_hierarchy_id |
183-595126650 |
is_hierarchy_title |
GWAI-92: advances in artificial intelligence: 16th German Conference on Artificial Intelligence, Bonn, Germany, August 31 - September 3, 1992 ; proceedings |
isbn |
9783540476269 |
isbn_isn_mv |
3540566678, 9783540566670, 0387566678 |
issn_isn_mv |
1611-3349 |
language |
English |
last_indexed |
2024-04-30T19:41:07.728Z |
marc024a_ct_mv |
10.1007/BFb0018988 |
marc_error |
[geogr_code]Unable to make public java.lang.AbstractStringBuilder java.lang.AbstractStringBuilder.append(java.lang.String) accessible: module java.base does not "opens java.lang" to unnamed module @64e01542 |
match_str |
ohlbach1993gwai92advancesinartificialintelligence16thgermanconferenceonartificialintelligencebonngermanyaugust31september31992proceedings |
mega_collection |
K10plus Verbundkatalog, Springer Lecture Notes |
multipart_link |
093890923 |
multipart_part |
(093890923)671 |
physical |
Online-Ressource (XI, 397 S.) |
publishDate |
1993 |
publishDateSort |
1993 |
publishPlace |
Berlin [u.a.] |
publisher |
Springer |
record_format |
marcfinc |
record_id |
595126650 |
recordtype |
marcfinc |
rvk_facet |
SS 4800, ST 300 |
rvk_label |
Informatik, Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen, Schriftenreihen (indiv. Sign.), Lecture notes in computer science, Monografien, Künstliche Intelligenz, Allgemeines |
rvk_path |
SS, ST, SQ - SU, SS 4000 - SS 5999, ST 300, SS 4800, ST 300 - ST 308 |
rvk_path_str_mv |
SS, ST, SQ - SU, SS 4000 - SS 5999, ST 300, SS 4800, ST 300 - ST 308 |
series |
Lecture notes in computer science, 671 |
series2 |
Lecture notes in computer science ; 671 ; Lecture notes in artificial intelligence |
source_id |
183 |
spelling |
GWAI-92: advances in artificial intelligence 16th German Conference on Artificial Intelligence, Bonn, Germany, August 31 - September 3, 1992 ; proceedings Hans Jürgen Ohlbach (ed.), Berlin [u.a.] Springer 1993, Online-Ressource (XI, 397 S.), Text txt rdacontent, Computermedien c rdamedia, Online-Ressource cr rdacarrier, Lecture notes in computer science 671 Lecture notes in artificial intelligence, Literaturangaben, How 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., This 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., Online-Ausg. Berlin [u.a.] Springer 2006 Springer lecture notes archive |2006||||||||||, Computer science, Artificial intelligence, Computer Science, Artificial Intelligence (incl. Robotics), Artificial Congresses, Konferenzschrift 1992 Bonn (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content, s (DE-588)4033447-8 (DE-627)106257188 (DE-576)209002050 Künstliche Intelligenz gnd, DE-101, Ohlbach, Hans Jürgen oth, GWAI 16 1992 Bonn (DE-588)2129193-7 (DE-627)124360661 (DE-576)194416062 oth, 3540566678, 9783540566670, Druckausg. Advances in artificial intelligence Berlin : Springer, 1993 XI, 397 S. (DE-627)272032913 (DE-576)033735905 3540566678 0387566678, Lecture notes in computer science 671 67100 (DE-627)316228877 (DE-576)093890923 (DE-600)2018930-8 1611-3349 ns, http://www.springerlink.com/content/p77514866752 Verlag lizenzpflichtig Volltext, http://www.springerlink.de/openurl.asp?genre=book&isbn=978-3-540-56667-0 Verlag lizenzpflichtig Volltext, http://dx.doi.org/10.1007/BFb0018988 Resolving-System lizenzpflichtig Volltext, https://doi.org/10.1007/BFb0018988 X:SPRINGER Resolving-System lizenzpflichtig, https://zbmath.org/?q=an:0854.00020 B:ZBM 2021-04-12 Verlag Zentralblatt MATH Inhaltstext |
spellingShingle |
GWAI-92: advances in artificial intelligence: 16th German Conference on Artificial Intelligence, Bonn, Germany, August 31 - September 3, 1992 ; proceedings, Lecture notes in computer science, 671, How 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., This 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., Computer science, Artificial intelligence, Computer Science, Artificial Intelligence (incl. Robotics), Artificial, Congresses, Konferenzschrift 1992 Bonn, Künstliche Intelligenz |
title |
GWAI-92: advances in artificial intelligence: 16th German Conference on Artificial Intelligence, Bonn, Germany, August 31 - September 3, 1992 ; proceedings |
title_auth |
GWAI-92: advances in artificial intelligence 16th German Conference on Artificial Intelligence, Bonn, Germany, August 31 - September 3, 1992 ; proceedings |
title_full |
GWAI-92: advances in artificial intelligence 16th German Conference on Artificial Intelligence, Bonn, Germany, August 31 - September 3, 1992 ; proceedings Hans Jürgen Ohlbach (ed.) |
title_fullStr |
GWAI-92: advances in artificial intelligence 16th German Conference on Artificial Intelligence, Bonn, Germany, August 31 - September 3, 1992 ; proceedings Hans Jürgen Ohlbach (ed.) |
title_full_unstemmed |
GWAI-92: advances in artificial intelligence 16th German Conference on Artificial Intelligence, Bonn, Germany, August 31 - September 3, 1992 ; proceedings Hans Jürgen Ohlbach (ed.) |
title_in_hierarchy |
671. GWAI-92: advances in artificial intelligence: 16th German Conference on Artificial Intelligence, Bonn, Germany, August 31 - September 3, 1992 ; proceedings (1993) |
title_short |
GWAI-92: advances in artificial intelligence |
title_sort |
gwai-92: advances in artificial intelligence 16th german conference on artificial intelligence, bonn, germany, august 31 - september 3, 1992 ; proceedings |
title_sub |
16th German Conference on Artificial Intelligence, Bonn, Germany, August 31 - September 3, 1992 ; proceedings |
title_unstemmed |
GWAI-92: advances in artificial intelligence: 16th German Conference on Artificial Intelligence, Bonn, Germany, August 31 - September 3, 1992 ; proceedings |
topic |
Computer science, Artificial intelligence, Computer Science, Artificial Intelligence (incl. Robotics), Artificial, Congresses, Konferenzschrift 1992 Bonn, Künstliche Intelligenz |
topic_facet |
Computer science, Artificial intelligence, Computer Science, Artificial Intelligence (incl. Robotics), Konferenzschrift, Künstliche Intelligenz, Artificial, Congresses |
url |
http://www.springerlink.com/content/p77514866752, http://www.springerlink.de/openurl.asp?genre=book&isbn=978-3-540-56667-0, http://dx.doi.org/10.1007/BFb0018988, https://doi.org/10.1007/BFb0018988, https://zbmath.org/?q=an:0854.00020 |
work_keys_str_mv |
AT ohlbachhansjurgen gwai92advancesinartificialintelligence16thgermanconferenceonartificialintelligencebonngermanyaugust31september31992proceedings, AT gwaibonn gwai92advancesinartificialintelligence16thgermanconferenceonartificialintelligencebonngermanyaugust31september31992proceedings |