標(biāo)題: Titlebook: GWAI-91 15. Fachtagung für Künstliche Intelligenz; Bonn, 16.-20. Septem Thomas Christaller Conference proceedings 1991 Springer-Verlag Berl [打印本頁(yè)] 作者: fibrous-plaque 時(shí)間: 2025-3-21 18:39
書目名稱GWAI-91 15. Fachtagung für Künstliche Intelligenz影響因子(影響力)
書目名稱GWAI-91 15. Fachtagung für Künstliche Intelligenz影響因子(影響力)學(xué)科排名
書目名稱GWAI-91 15. Fachtagung für Künstliche Intelligenz網(wǎng)絡(luò)公開度
書目名稱GWAI-91 15. Fachtagung für Künstliche Intelligenz網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱GWAI-91 15. Fachtagung für Künstliche Intelligenz被引頻次
書目名稱GWAI-91 15. Fachtagung für Künstliche Intelligenz被引頻次學(xué)科排名
書目名稱GWAI-91 15. Fachtagung für Künstliche Intelligenz年度引用
書目名稱GWAI-91 15. Fachtagung für Künstliche Intelligenz年度引用學(xué)科排名
書目名稱GWAI-91 15. Fachtagung für Künstliche Intelligenz讀者反饋
書目名稱GWAI-91 15. Fachtagung für Künstliche Intelligenz讀者反饋學(xué)科排名
作者: 使更活躍 時(shí)間: 2025-3-21 21:26
A Completeness Proof Technique for Resolution with Equalitywell-known semantic trees. We will show how to enumerate E-interpretations with a device called semantic E-tree and show how such a tree can be used as a basis for a refutation of a given unsatisfiable clause set. As a side effect of our proof technique we obtain new high-level inference rules for t作者: Stable-Angina 時(shí)間: 2025-3-22 01:13
Answers for disjunctive logic programs and a result concerning its correspondence to a minimal model semantics is improved. As an operational semantics V-resolution is proposed and its answer correctness and completeness is proved. Finally the use of the splitting rule for computing answers for disjunctive logic programs is depicted.作者: 招惹 時(shí)間: 2025-3-22 06:10
Zur Steuerung und Optimierung der SIP-Auswahl in der Magic Set Transformationd durch die SIP-Auswahl (sideways information passing) entscheidend beeinflu?t. In bisherigen Systemen wird vor allem ein regellokaler reiner links-rechts SIP verwendet. In diesem Papier wird eine Datenstruktur, der AND/OR-SIP Graph, und ein kombinierter Such- und Generierungsalgorithmus darauf, der作者: 沐浴 時(shí)間: 2025-3-22 10:34 作者: Scintigraphy 時(shí)間: 2025-3-22 14:48 作者: Scintigraphy 時(shí)間: 2025-3-22 17:43
Using Integrated Knowledge Acquisition to Prepare Sophisticated Expert Plans for Their Re-Use in Novdomain contain very valuable planning knowledge. In order to make this compiled knowledge re-usable for novel situations, a specific integrated knowledge acquisition method has been developed: First, a domain theory is established from documentation materials or texts, which is then used as the foun作者: 不公開 時(shí)間: 2025-3-22 23:36 作者: absolve 時(shí)間: 2025-3-23 01:33 作者: 相互影響 時(shí)間: 2025-3-23 08:52 作者: Seizure 時(shí)間: 2025-3-23 12:27
Fokusmodellierung durch Sichtabh?ngigkeitsgraphen bei der Interpretation natürlichsprachlicher Datenenutzer in der Regel nur ein Ausschnitt der in der Datenbank modellierten Diskurswelt bekannt ist. Updates, die für den Benutzer sinnvoll und eindeutig formuliert sind, k?nnen h?ufig nicht direkt in eine ?nderung der Datenbank übersetzt werden. Wir schlagen ein Benutzermodell vor, in dem der Fokus e作者: 使苦惱 時(shí)間: 2025-3-23 13:56
The Morphological Principleentation formalism using principles, rules and a lexicon. Lexical rules are not necessary furthermore, because they are replaced by a new principle and new types of lexicon entries. This enables us to give up an extra implementation for lexical rules. The main exemplification is taken from Russian v作者: Misnomer 時(shí)間: 2025-3-23 19:13 作者: insidious 時(shí)間: 2025-3-23 23:20 作者: 服從 時(shí)間: 2025-3-24 04:06
0343-3005 Overview: 978-3-540-54558-3978-3-662-02711-0Series ISSN 0343-3005 作者: MIR 時(shí)間: 2025-3-24 07:46 作者: confide 時(shí)間: 2025-3-24 13:04 作者: 退出可食用 時(shí)間: 2025-3-24 17:19 作者: 疲憊的老馬 時(shí)間: 2025-3-24 22:10 作者: Endometrium 時(shí)間: 2025-3-24 23:27
Non-Monotonic Reasoning for Clause Logic Programming in a General Settingmonotonic reasoning is given that synthesizes several semantical and syntactical approaches that are aimed at a foundation of this area. Some typical results are presented within this framework and problems related to logic programming are discussed.作者: 腐爛 時(shí)間: 2025-3-25 04:29 作者: 易碎 時(shí)間: 2025-3-25 11:06 作者: 他姓手中拿著 時(shí)間: 2025-3-25 12:25
The Ecological Paradigm: Persons in SettingsIn this paper a method of representing speech acts is outlined which is suitable for implementation in a natural language consulting system. Speech acts are classified according to the discourse situation in which they arise and the change in the discourse situation they incur. The approach is formulated in a Situation Semantics framework.作者: DRILL 時(shí)間: 2025-3-25 16:04 作者: MIRTH 時(shí)間: 2025-3-25 22:05
On the Representation of Speech Acts in Situation SemanticsIn this paper a method of representing speech acts is outlined which is suitable for implementation in a natural language consulting system. Speech acts are classified according to the discourse situation in which they arise and the change in the discourse situation they incur. The approach is formulated in a Situation Semantics framework.作者: Feckless 時(shí)間: 2025-3-26 03:32 作者: 改變 時(shí)間: 2025-3-26 05:06
Member Accessibility and Overloading,well-known semantic trees. We will show how to enumerate E-interpretations with a device called semantic E-tree and show how such a tree can be used as a basis for a refutation of a given unsatisfiable clause set. As a side effect of our proof technique we obtain new high-level inference rules for t作者: 膽汁 時(shí)間: 2025-3-26 11:23 作者: mitral-valve 時(shí)間: 2025-3-26 16:22 作者: pericardium 時(shí)間: 2025-3-26 18:52
Introduction and Problem Formulation,monotonic reasoning is given that synthesizes several semantical and syntactical approaches that are aimed at a foundation of this area. Some typical results are presented within this framework and problems related to logic programming are discussed.作者: 輕打 時(shí)間: 2025-3-26 22:08 作者: Collected 時(shí)間: 2025-3-27 04:55
https://doi.org/10.1057/9780230501515domain contain very valuable planning knowledge. In order to make this compiled knowledge re-usable for novel situations, a specific integrated knowledge acquisition method has been developed: First, a domain theory is established from documentation materials or texts, which is then used as the foun作者: Nebulous 時(shí)間: 2025-3-27 09:18 作者: absorbed 時(shí)間: 2025-3-27 11:23
https://doi.org/10.1007/978-3-030-05303-1ntics of generic generalisations, and explains the principles of its implementation. It argues against an analysis of generic generalisations by means of a default logic and shows how semantics and knowledge structures can meaningfully be seperated.作者: MORT 時(shí)間: 2025-3-27 14:44
A Python Data Analyst’s Toolkitto the reasons behind the solution of a constraint-satisfaction problem. The generation process attempts to achieve certain goals comprising the relevance of the arguments included, the appropriateness of the associated degree of detail, and the adequacy of the presentation structure, which we belie作者: pantomime 時(shí)間: 2025-3-27 20:54 作者: 他一致 時(shí)間: 2025-3-28 01:40 作者: 丑惡 時(shí)間: 2025-3-28 02:20 作者: 樸素 時(shí)間: 2025-3-28 09:38
https://doi.org/10.1057/9780230501515st of a sequence of general plan elements, so that each plan element can be independently refined. The skeletal plan thus accounts for the interactions between the various concrete operations of the plan at a general level. The complexity of the planning problem is thereby factored in a domain-speci作者: 通知 時(shí)間: 2025-3-28 12:05 作者: gnarled 時(shí)間: 2025-3-28 16:57
Introduction and Problem Formulation,chts SIP verwendet. In diesem Papier wird eine Datenstruktur, der AND/OR-SIP Graph, und ein kombinierter Such- und Generierungsalgorithmus darauf, der HSB-SIP Algorithmus, vorgestellt, der über eine Kostenfunktion eine optimale SIP-Auswahl trifft. Dadurch werden beliebige, auch regelglobale SIP-Strategien unterstützt.作者: 多產(chǎn)子 時(shí)間: 2025-3-28 20:35 作者: inchoate 時(shí)間: 2025-3-28 23:54 作者: 獨(dú)行者 時(shí)間: 2025-3-29 04:08
A Python Data Analyst’s Toolkition seeking request. In addition, the relations between the propositional specifications selected and natural language texts adequate to convey the content expressed by the propositions are discussed.作者: GULP 時(shí)間: 2025-3-29 08:00
Feature Construction during Tree Learningexperiments are reported, and besides of considerations related to the size of the generated trees we also discuss the important issue of how comprehensible these trees are. In particular, we are interested in the intelligibility of the discovered features.作者: Dignant 時(shí)間: 2025-3-29 12:50 作者: 浸軟 時(shí)間: 2025-3-29 16:15
Statements and Flow of Execution,s generated by the deduction method. We argue by means of examples that these dependencies allow the method to avoid some redundant deductions, and that they are useful in forward reasoning in the presence of negation-as-failure.作者: 值得贊賞 時(shí)間: 2025-3-29 23:25
Generalized Earley Deduction and its Correctnesss generated by the deduction method. We argue by means of examples that these dependencies allow the method to avoid some redundant deductions, and that they are useful in forward reasoning in the presence of negation-as-failure.作者: parallelism 時(shí)間: 2025-3-30 02:04 作者: BILK 時(shí)間: 2025-3-30 06:27 作者: 弄臟 時(shí)間: 2025-3-30 08:44 作者: 兇兆 時(shí)間: 2025-3-30 13:00 作者: Bouquet 時(shí)間: 2025-3-30 19:45
Ramin Rostamkhani,Thurasamy Ramayahines Datenbank-Dialogs in einem Sichtabh?ngigkeitsgraphen festgehalten wird. Eine Update-?u?erung kann dann als Update der im Graphen dargestellten Sicht aufgefa?t werden, wodurch sich das natürlichsprachliche Update-Problem auf das ViewUpdate-Problem in relationalen Datenbanken zurückführen l??t.作者: 保存 時(shí)間: 2025-3-30 20:43
