標題: Titlebook: KI-96: Advances in Artificial Intelligence; 20th Annual German C Günther G?rz,Steffen H?lldobler Conference proceedings 1996 Springer-Verla [打印本頁] 作者: cerebral 時間: 2025-3-21 20:08
書目名稱KI-96: Advances in Artificial Intelligence影響因子(影響力)
書目名稱KI-96: Advances in Artificial Intelligence影響因子(影響力)學科排名
書目名稱KI-96: Advances in Artificial Intelligence網(wǎng)絡(luò)公開度
書目名稱KI-96: Advances in Artificial Intelligence網(wǎng)絡(luò)公開度學科排名
書目名稱KI-96: Advances in Artificial Intelligence被引頻次
書目名稱KI-96: Advances in Artificial Intelligence被引頻次學科排名
書目名稱KI-96: Advances in Artificial Intelligence年度引用
書目名稱KI-96: Advances in Artificial Intelligence年度引用學科排名
書目名稱KI-96: Advances in Artificial Intelligence讀者反饋
書目名稱KI-96: Advances in Artificial Intelligence讀者反饋學科排名
作者: 細頸瓶 時間: 2025-3-21 20:18
DisLoP: A disjunctive logic programming system based on PROTEIN theorem prover,nding this further to minimal model reasoning and query processing wrt normal disjunctive logic programming too. The first phase of the project is complete and DisLoP can now perform minimal model reasoning with positive disjunctive logic programs, using both bottom-up and top-down strategies.作者: 沙草紙 時間: 2025-3-22 01:56 作者: 慢跑鞋 時間: 2025-3-22 07:34
Reasoning about action and change: Defeasible observations and actions with abnormal effects,rmalities, what allows us to prefer some actions and/or observations while resolving conflicts..To represent actions, we use Dijkstra‘s methodology, originally developed for reasoning about programs. To deal with abnormalities, Dijkstra‘s approach is combined with Reiter‘s version of default logic with priorities.作者: CHARM 時間: 2025-3-22 10:22 作者: 閑蕩 時間: 2025-3-22 16:37
0302-9743 road. The papers address many subareas of AI; however, there is a certain focus on new develpments in theorem proving, knowledge representation, and reasoning.978-3-540-61708-2978-3-540-70669-4Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 使隔離 時間: 2025-3-22 19:34
A revision of Dependency-Directed Backtracking for JTMS, contradiction foundations that allows to use the premises as added justifications. Our revised DDB allows to resolve more inconsistencies than Petrie‘s DDB. Moreover, a preference ordering over the assumption justifications can be integrated; this order gives the problem solver some control over the choice of electives.作者: Dawdle 時間: 2025-3-22 21:58 作者: mortgage 時間: 2025-3-23 04:53
,Solving hard combinatorial problems with GSAT — A case study,ch are responsible for GSAT‘s poor performance on this problem class. An empirical analysis indicates that several methods which have been designed to improve GSAT on structured problems are not effective for SAT-transformed HCP-instances.作者: 驚惶 時間: 2025-3-23 06:11 作者: Cpap155 時間: 2025-3-23 10:01
Using rippling for equational reasoning,mbols we define different abstractions of formulas which are used for planning of proofs. Rippling techniques are used to refine single planning steps, e.g. the application of a bridge lemma, on a next planning level.作者: 陳腐思想 時間: 2025-3-23 15:04
Conference proceedings 1996contributions were carefully selected from a larger number of excellent submissions, of which a considerable part had been submitted from abroad. The papers address many subareas of AI; however, there is a certain focus on new develpments in theorem proving, knowledge representation, and reasoning.作者: Intruder 時間: 2025-3-23 20:38 作者: Esalate 時間: 2025-3-24 01:50
Planning for distributed theorem proving: The teamwork approach,l this task and how this information is processed to result in a plan or in revising a plan. Experimental results show that this planning approach for the assignment of experts to a team enables the system to solve many different examples in an acceptable time with the same start configuration and without any intervention by the user.作者: 萬靈丹 時間: 2025-3-24 03:15 作者: 別炫耀 時間: 2025-3-24 08:04
Conference proceedings 1996ptember 1996..The book presents three invited papers together with 23 revised full research papers, nine posters and four systems demonstrations. All contributions were carefully selected from a larger number of excellent submissions, of which a considerable part had been submitted from abroad. The 作者: 漂亮 時間: 2025-3-24 11:04 作者: 公豬 時間: 2025-3-24 16:50 作者: 省略 時間: 2025-3-24 19:29
Abstraction as a heuristic to guide planning,ill be found by our search method. Design criteria for a suitable abstraction function can be derived from formal analysis. Furthermore our approach allows the integration of heuristics formulated at different abstraction levels, thus providing a powerful and convenient tool for problem solving.作者: Hectic 時間: 2025-3-25 02:54 作者: 有發(fā)明天才 時間: 2025-3-25 04:56
Improving the functionality of a text-to-speech system by adding morphological knowledge,cturing of the text based on syntactic knowledge are prerequisites for this goal. After the implementation of the morphological analysis system mpro, developed at IAI Saarbruecken, these functions are available in the text-to-speech system of the Dresden University of Technology.作者: 刀鋒 時間: 2025-3-25 07:57
Integration of prosodic and grammatical information in the analysis of dialogs,segments is a problem. In this paper we present a system for turn analysis. It is based on an extension of HPSG grammar for turns and takes into account extra-linguistic prosodic information. We show how this information can be integrated and represented in the grammar, and how it is used to reduce the search space in parsing.作者: Palate 時間: 2025-3-25 13:05
978-3-540-61708-2Springer-Verlag Berlin Heidelberg 1996作者: Fermentation 時間: 2025-3-25 17:57 作者: Thyroxine 時間: 2025-3-25 20:52
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/k/image/541665.jpg作者: PIZZA 時間: 2025-3-26 01:37 作者: abreast 時間: 2025-3-26 05:10 作者: 擔心 時間: 2025-3-26 11:48
DisLoP: A disjunctive logic programming system based on PROTEIN theorem prover,eorem proving calculi, such as restart model elimination and hyper tableaux, that are suitable for working with positive disjunctive logic programs. In particular, restart model elimination calculus is answer complete for postive queries. The DisLoP project started at this point with the aim of exte作者: 改變 時間: 2025-3-26 15:01
Abstraction as a heuristic to guide planning,ill be found by our search method. Design criteria for a suitable abstraction function can be derived from formal analysis. Furthermore our approach allows the integration of heuristics formulated at different abstraction levels, thus providing a powerful and convenient tool for problem solving.作者: LARK 時間: 2025-3-26 20:01 作者: Acetaldehyde 時間: 2025-3-26 21:24 作者: 耐寒 時間: 2025-3-27 04:51
A revision of Dependency-Directed Backtracking for JTMS,fficient but are neither safe nor complete. Petrie‘s DDB solves this problem, but it can lead to cases where odd loops are introduced . into JTMS network by new justifications, and so can sometimes miss legitimate admissible labelings. Moreover, Petrie‘s DDB cannot resolve an inconsistency if all po作者: 案發(fā)地點 時間: 2025-3-27 07:50 作者: 博識 時間: 2025-3-27 10:14 作者: Flawless 時間: 2025-3-27 13:58
Optimized nearest-neighbor classifiers using generated instances,instance-based learning setting, we do not rely on (parts of) the given training set as the basis of a nearest-neighbor classifier, but we try to employ artificially generated instances as concept prototypes. The extremely hard problem of finding an appropriate set of concept prototypes is tackled b作者: 誘騙 時間: 2025-3-27 20:57
Towards a totally distributed meeting scheduling system,ndees try to schedule a common meeting (their group goal) taking into account their individual preferences (their individual goals). In this paper, we present our preliminary work towards this direction; we view meeting scheduling as a distributed task where each agent knows its user‘s preferences a作者: 輕信 時間: 2025-3-28 01:22
Improving the functionality of a text-to-speech system by adding morphological knowledge,cturing of the text based on syntactic knowledge are prerequisites for this goal. After the implementation of the morphological analysis system mpro, developed at IAI Saarbruecken, these functions are available in the text-to-speech system of the Dresden University of Technology.作者: 壓倒性勝利 時間: 2025-3-28 03:00 作者: 說不出 時間: 2025-3-28 09:29 作者: 謙卑 時間: 2025-3-28 11:11 作者: 態(tài)度暖昧 時間: 2025-3-28 14:46 作者: 允許 時間: 2025-3-28 21:08 作者: Mast-Cell 時間: 2025-3-28 23:44
sie einerseits das traditionelle Ideal der patriarchalen Kleinfamilie befürworten. Sie konstruieren ihre eigene Nation als erweiterte patriarchale Familie und Europa als Familie der Vaterl?nder. Andererseits betrachten die gleichen Politikerinnen ihre Position in der Politik als selbstverst?ndlich 作者: 大量殺死 時間: 2025-3-29 03:35
Sven-Erik Bornscheuer sie einerseits das traditionelle Ideal der patriarchalen Kleinfamilie befürworten. Sie konstruieren ihre eigene Nation als erweiterte patriarchale Familie und Europa als Familie der Vaterl?nder. Andererseits betrachten die gleichen Politikerinnen ihre Position in der Politik als selbstverst?ndlich 作者: 托運 時間: 2025-3-29 09:07 作者: Agnosia 時間: 2025-3-29 14:16
Chandrabose Aravindanund den jeweiligen psychologischen Hintergründen durchgeführt wurden. Aus den Ergebnissen der Forscher zu ihren Experimenten lassen sich bestimmte Strategien ableiten, die auch Ihnen bei Ihren zukünftigen Verhandlungen von Nutzen sein k?nnen. So rufen beispielsweise Frauen, die einen hohen sozialen 作者: 失望昨天 時間: 2025-3-29 17:46 作者: Engaged 時間: 2025-3-29 22:58 作者: 谷類 時間: 2025-3-30 02:43 作者: 聯(lián)邦 時間: 2025-3-30 07:21 作者: Enthralling 時間: 2025-3-30 11:33 作者: venous-leak 時間: 2025-3-30 12:54 作者: DEMN 時間: 2025-3-30 19:16 作者: 舊石器 時間: 2025-3-30 21:16
Dieter Hutterharakterisieren: Im einen Fall handelt es sich um ein Zeugnis aus dem Westen, w?hrend das zweite Beispiel in den Osten verweist. Zwischen beiden klafft der unüberbrückbare Unterschied zwischen der verheerenden Ausbeutung der Natur durch die Industriegesellschaft und einer alle Zeiten überdauernden F作者: 靈敏 時間: 2025-3-31 02:41 作者: Lamina 時間: 2025-3-31 06:20 作者: 謙虛的人 時間: 2025-3-31 10:23
Application of a genetic algorithm for plausible justification of observations,作者: Germinate 時間: 2025-3-31 15:53
sradikale Historie ist über die Erinnerung an die F?rderung der Familie integriert. In der herk?mmlichen geschlechtsblinden Rechtsradikalismusforschung wird die Familienorientierung bestenfalls als nebens?chliches Element rechtsradikaler Programmatik und rechtsradikaler ?u?erungen berücksichtigt. Gl作者: 性冷淡 時間: 2025-3-31 18:28
Sven-Erik Bornscheuersradikale Historie ist über die Erinnerung an die F?rderung der Familie integriert. In der herk?mmlichen geschlechtsblinden Rechtsradikalismusforschung wird die Familienorientierung bestenfalls als nebens?chliches Element rechtsradikaler Programmatik und rechtsradikaler ?u?erungen berücksichtigt. Gl作者: TRACE 時間: 2025-3-31 21:47
Sven-Erik Bornscheuer,Torsten Seilernd der Auseinandersetzung ab. Zur Abmilderung dieses Effekts kann es daher für Sie hilfreich sein, sich vorzustellen, im Interesse eines Dritten, etwa der Familie oder von Freunden, zu verhandeln. Das Ergebnis weiterer Forschung ist, dass Frauen in Verhandlungen nur dann profitieren k?nnen, wenn sie
