標題: Titlebook: Artificial Intelligence: Methodology, Systems, and Applications; 8th International Co Fausto Giunchiglia Conference proceedings 1998 Spring [打印本頁] 作者: 選民 時間: 2025-3-21 18:12
書目名稱Artificial Intelligence: Methodology, Systems, and Applications影響因子(影響力)
書目名稱Artificial Intelligence: Methodology, Systems, and Applications影響因子(影響力)學科排名
書目名稱Artificial Intelligence: Methodology, Systems, and Applications網(wǎng)絡公開度
書目名稱Artificial Intelligence: Methodology, Systems, and Applications網(wǎng)絡公開度學科排名
書目名稱Artificial Intelligence: Methodology, Systems, and Applications被引頻次
書目名稱Artificial Intelligence: Methodology, Systems, and Applications被引頻次學科排名
書目名稱Artificial Intelligence: Methodology, Systems, and Applications年度引用
書目名稱Artificial Intelligence: Methodology, Systems, and Applications年度引用學科排名
書目名稱Artificial Intelligence: Methodology, Systems, and Applications讀者反饋
書目名稱Artificial Intelligence: Methodology, Systems, and Applications讀者反饋學科排名
作者: 語源學 時間: 2025-3-21 20:30 作者: Cardiac 時間: 2025-3-22 04:08 作者: 材料等 時間: 2025-3-22 06:04 作者: ascend 時間: 2025-3-22 09:44 作者: 粉筆 時間: 2025-3-22 15:19 作者: Mendicant 時間: 2025-3-22 20:23
Andrew J. Clark,Theodore A. UyenoWe propose here a new approach for computing extensions from the prioritized default theories initially proposed by Brewka [4]. By this way, we obtain two results, one for extension calculus, and another for query answering. Given a prioritized default theory, in the first case we are able to build 作者: Acumen 時間: 2025-3-22 21:42 作者: 努力趕上 時間: 2025-3-23 04:50
Andrew J. Clark,Theodore A. Uyeno intelligent default suggestion mechanism for commands. Such mechanisms support the user by decreasing the necessary interactions during the proof construction. Although many systems offer such facilities, they are often limited in their functionality. In this paper we present a new agent-based mech作者: 梯田 時間: 2025-3-23 08:48
Essential Components of the Diet,ndling of inconsistency to be adopted. First, a disciplined use of non-monotonic ingredients is made available to the knowledge engineer to prevent many inconsistencies that would occur if a standard logical interpretation and representation of beliefs were conducted. Remaining inconsistencies are c作者: GLUT 時間: 2025-3-23 11:05 作者: 不適 時間: 2025-3-23 17:17
https://doi.org/10.1007/978-3-319-77941-6ic tableaux as a tool for plan search, following the “planning as satisfiability” approach [11]. We claim that LTL can be a good specification language for planning problems, because of its rich expressive power and the underlying simple model of time and actions. We propose the use of Tabplan, a ta作者: 慷慨援助 時間: 2025-3-23 19:35 作者: MURAL 時間: 2025-3-24 01:17 作者: 環(huán)形 時間: 2025-3-24 03:41 作者: sleep-spindles 時間: 2025-3-24 09:22 作者: 種類 時間: 2025-3-24 14:45
Feelgood-Management im Konzeptvergleich,earch by lemma-knowledge, which is generated and elicitated by the prover system. The performance of the proposed method depends critically on the usefulness of the elicitated lemmata for the actual proof task. In this context an evaluation function called . is introduced, which relates the effort r作者: NATTY 時間: 2025-3-24 15:17
https://doi.org/10.1007/BFb0057429Extension; algorithms; automated reasoning; automated theorem proving; expert system; intelligence; knowle作者: 樂器演奏者 時間: 2025-3-24 21:22 作者: 殘暴 時間: 2025-3-25 02:31
https://doi.org/10.1007/978-3-658-23977-0In this paper we report on SMV and N.S. performances on a set of “model checking problems” variously generated starting from deterministic domain descriptions. The comparison with other state-of-the-art planning systems reveals that “planning via model checking” is a promising research line.作者: Minikin 時間: 2025-3-25 05:11 作者: jealousy 時間: 2025-3-25 10:49 作者: CHASE 時間: 2025-3-25 12:38 作者: 障礙 時間: 2025-3-25 17:12
Artificial Intelligence: Methodology, Systems, and Applications978-3-540-49793-6Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 組裝 時間: 2025-3-25 23:27
R. Goulder,E. J. Bent,A. C. Boaketwork. It studies the possible relations between such generalized intervals and introduces the notion of a generalized interval network. It proves the tractability of the problem of the consistency of a generalized network which constraints are preconvex.作者: Conclave 時間: 2025-3-26 03:28
Reasoning about generalized intervals,etwork. It studies the possible relations between such generalized intervals and introduces the notion of a generalized interval network. It proves the tractability of the problem of the consistency of a generalized network which constraints are preconvex.作者: 貪心 時間: 2025-3-26 06:15
https://doi.org/10.1007/978-3-031-35271-3ficulties to resolve anaphora could be used to find wrong, missing and/or cognitively difficult translations. The paper explains the algorithms for checking term consistency. An evaluation of the approach and prospects for further work conclude the paper.作者: 向外才掩飾 時間: 2025-3-26 11:21 作者: FRAUD 時間: 2025-3-26 12:58
https://doi.org/10.1007/978-3-319-77941-6by means of different LTL theories, each encoding making the model construction procedure simulate a different search strategy, namely planning by progression and partial order regression planning in the style of [14].作者: 擋泥板 時間: 2025-3-26 17:42 作者: 發(fā)怨言 時間: 2025-3-26 21:15 作者: 使服水土 時間: 2025-3-27 02:13 作者: 萬花筒 時間: 2025-3-27 06:37
Using linear temporal logic to model and solve planning problems,by means of different LTL theories, each encoding making the model construction procedure simulate a different search strategy, namely planning by progression and partial order regression planning in the style of [14].作者: 流利圓滑 時間: 2025-3-27 11:00 作者: 匍匐前進 時間: 2025-3-27 15:28
Feeding Practices of Mares and Young Horses,architecture for modeling social agent behavior, with particular attention to Natural Language dialog. The architecture can be used both to recognize a speaker‘s intentions and generate intention-driven behavior in agent interactions; therefore, it is suited to interface agents for HCI, which require a friendly interaction with users.作者: Abduct 時間: 2025-3-27 18:37 作者: 有限 時間: 2025-3-27 23:06 作者: ingenue 時間: 2025-3-28 05:04 作者: inclusive 時間: 2025-3-28 06:47
0302-9743 ce: Methodology, Systems, Applications, AIMSA‘98, held in Sozopol, Bulgaria, in September 1998..The 40 revised full papers presented were carefully reviewed and selected from a total of 90 submissions. The papers address the whole spectrum of current topics in AI, in particular case-based reasoning,作者: 不在灌木叢中 時間: 2025-3-28 10:56
Feeding Growing Race Horses in Work, this paper we introduce an approach to incorporate constraint solving in term rewriting and we compare it with the Constraint Logic Programming scheme. We compare the two approaches both at the theoretical and at the implementational level and discuss potentials for cross-fertilisation.作者: 不在灌木叢中 時間: 2025-3-28 16:15
Andrew J. Clark,Theodore A. Uyeno two results, one for extension calculus, and another for query answering. Given a prioritized default theory, in the first case we are able to build more efficiently all its extensions, and in the second case we are able to compute the prioritized default proof of a given formula.作者: 強行引入 時間: 2025-3-28 22:13 作者: 暫時過來 時間: 2025-3-28 22:58 作者: carbohydrate 時間: 2025-3-29 04:34 作者: Ballerina 時間: 2025-3-29 10:32 作者: Pillory 時間: 2025-3-29 15:01 作者: arabesque 時間: 2025-3-29 19:20 作者: 序曲 時間: 2025-3-29 21:45 作者: BILK 時間: 2025-3-30 01:32
,Modelling uncertainty with kripke’s semantics,ccessibility relation of a model of modal logic are fixed, different value assignment functions will induce different measures on the set of atomic propositions. The latter can be obtained easily from the measures on the set of possible worlds.作者: TAIN 時間: 2025-3-30 04:26
Theories and proofs in fault diagnosis,sis algorithm on them. MetaProlog theories are used both in the representation of digital circuits and in the implementation of the fault diagnosis algorithm. Fail branches and the ability to control their construction play a key role during the construction of hypothesises to explain the fault in a given faulty circuit.作者: Anthrp 時間: 2025-3-30 09:36
Acquisition of useful lemma-knowledge in automated reasoning,fulness of the elicitated lemmata for the actual proof task. In this context an evaluation function called . is introduced, which relates the effort required for the production of a lemma . to the problem relevancy of .. Experiments show its high potential.作者: construct 時間: 2025-3-30 15:05
An agent model for NL dialog interfaces,architecture for modeling social agent behavior, with particular attention to Natural Language dialog. The architecture can be used both to recognize a speaker‘s intentions and generate intention-driven behavior in agent interactions; therefore, it is suited to interface agents for HCI, which require a friendly interaction with users.作者: Intrepid 時間: 2025-3-30 18:45
,Formalizing belief reports — The approach and a case study,or translated into the reporter‘s language (allowing for transparency). We show that MultiContext systems allow for the formalization of these two phenomena at the same time, thanks to their multi-language feature.作者: Feckless 時間: 2025-3-30 21:25
Multicontext systems with importing contexts,contexts can import assertions proven to be true in the outside world, but are unable to export any assertions modifying the original KBs of the other units. A number of properties of the importing contexts are presented and discussed in a framework of cooperative reasoning systems.作者: 欲望小妹 時間: 2025-3-31 01:13 作者: 周年紀念日 時間: 2025-3-31 07:41 作者: 適宜 時間: 2025-3-31 11:13 作者: Collected 時間: 2025-3-31 13:57
A blackboard architecture for guiding interactive proofs,t suggestions. Although the agents we discuss in this paper are rather simple from a computational viewpoint, we indicate how the presented approach can be extended in order to increase its deductive power.作者: 高深莫測 時間: 2025-3-31 17:31 作者: 煞費苦心 時間: 2025-4-1 00:21
Nonmonotonic reasoning under uncertain evidence,rization of the set of conclusions is given, and a derivation procedure is proven sound and complete with respect to this semantics. The system overcomes some common problems arising in nonmonotonic reasoning, such as multiple extensions, inconsistent contexts or reasoning deadlocks.作者: meditation 時間: 2025-4-1 02:55 作者: Gratuitous 時間: 2025-4-1 08:14
https://doi.org/10.1007/978-1-4613-3318-0ns solve the original constrained planning problem. Therefore PCL-1 planning problems can be solved with an ordinary planner after a translation phase..In this paper we show that solving general constrained planning problems requires the extension of SATPLAN, a planning approach for unconstrained do作者: 過份 時間: 2025-4-1 10:20
https://doi.org/10.1007/978-3-662-65794-2rization of the set of conclusions is given, and a derivation procedure is proven sound and complete with respect to this semantics. The system overcomes some common problems arising in nonmonotonic reasoning, such as multiple extensions, inconsistent contexts or reasoning deadlocks.作者: 確定方向 時間: 2025-4-1 14:56
The gain of failures: Using side-effects of anaphora resolution for term consistency checks,HT). We present the linguistic resources and the knowledge base (KB) of the system as well as their place in the processes. To discover missing or misleading translations, the checker relies on the lexicon information and the hierarchy in the KB. To detect comprehension difficulties, the module chec作者: Thyroiditis 時間: 2025-4-1 19:24
An agent model for NL dialog interfaces,taken into account the requirements raised by studies on human Natural Language communication, the most developed means of interaction. The fundamental missing point is the role of intention recognition, which is the basis of human dialog interactions. In this paper, we describe a declarative agent
