標(biāo)題: Titlebook: AI*IA 99:Advances in Artificial Intelligence; 6th Congress of the Evelina Lamma,Paola Mello Conference proceedings 2000 Springer-Verlag Be [打印本頁(yè)] 作者: detumescence 時(shí)間: 2025-3-21 16:08
書(shū)目名稱AI*IA 99:Advances in Artificial Intelligence影響因子(影響力)
書(shū)目名稱AI*IA 99:Advances in Artificial Intelligence影響因子(影響力)學(xué)科排名
書(shū)目名稱AI*IA 99:Advances in Artificial Intelligence網(wǎng)絡(luò)公開(kāi)度
書(shū)目名稱AI*IA 99:Advances in Artificial Intelligence網(wǎng)絡(luò)公開(kāi)度學(xué)科排名
書(shū)目名稱AI*IA 99:Advances in Artificial Intelligence被引頻次
書(shū)目名稱AI*IA 99:Advances in Artificial Intelligence被引頻次學(xué)科排名
書(shū)目名稱AI*IA 99:Advances in Artificial Intelligence年度引用
書(shū)目名稱AI*IA 99:Advances in Artificial Intelligence年度引用學(xué)科排名
書(shū)目名稱AI*IA 99:Advances in Artificial Intelligence讀者反饋
書(shū)目名稱AI*IA 99:Advances in Artificial Intelligence讀者反饋學(xué)科排名
作者: 背叛者 時(shí)間: 2025-3-21 22:06
978-3-540-67350-7Springer-Verlag Berlin Heidelberg 2000作者: 戲服 時(shí)間: 2025-3-22 00:43 作者: 不愛(ài)防注射 時(shí)間: 2025-3-22 05:58
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/a/image/142841.jpg作者: 阻礙 時(shí)間: 2025-3-22 10:47 作者: 可互換 時(shí)間: 2025-3-22 13:01
Talking to Children and Adolescentsxpert systems of the 1980s. After the model was criticised by researchers in artificial intelligence and statistics as being ad-hoc in nature, researchers and developers have stopped using the model. Nowadays, it is often stated that the model is merely interesting from a historical point of view. I作者: 確定方向 時(shí)間: 2025-3-22 17:45
Serveh Sharifi Far,Thomas E. Hunt output. An integral part of investigating the output’s reliability is to study its robustness. Robustness pertains to the extent to which varying the probability assessments of the network influences the output. It is studied by subjecting the network to a sensitivity analysis. In this paper, we ad作者: 爵士樂(lè) 時(shí)間: 2025-3-22 21:58
Hau Lam Agnes Chan,De-Hui Ruth Zhouucibles in abductive logic programs can be used to represent actions, and integrity constaints in abductive logic programs can be used to represent active rules of the kind encountered in active databases and reactive rules incorporating reactive behaviour in agents. One would expect that, in this a作者: Lethargic 時(shí)間: 2025-3-23 04:13 作者: 誤傳 時(shí)間: 2025-3-23 09:14
Yuliya Yu Dubrovskaya,Olga A. Moskvitinanstance and a BN, and we solve SAT problem by simulating the BN dynamics. We prove that BN fixed points correspond to the SAT solutions. The mapping presented allows to develop a new class of algorithms to solve SAT. Moreover, this new approach suggests new ways to combine symbolic and connectionist作者: 竊喜 時(shí)間: 2025-3-23 10:50
Joseph S. Ortiz,David Roi Hardoonn-CNF formulas requires (.) converting them into CNF, and (.) applying solvers usually based on the Davis-Putnam (DP) procedure. A well known problem of this solution is that the CNF conversion may introduce many new variables, thus greatly widening the space of assignments in which the DP procedure作者: 玉米 時(shí)間: 2025-3-23 14:39 作者: arthroplasty 時(shí)間: 2025-3-23 19:08 作者: chapel 時(shí)間: 2025-3-24 01:47
Positive Project Management Teams Kowalski and Sergot’s Event Calculus and in its skeptical and credulous modal variants. We replace the traditional generate-and-test strategy of (Modal) Event Calculus by a generate-only strategy that operates on the transitive closure and reduction of the underlying directed acyclic graph of event作者: 伸展 時(shí)間: 2025-3-24 05:12
Felix C. Brodbeck,Yves R. F. GuillaumeProblem (STP). The soft-ware tool satisfies both the requirements to build some common bench-marks useful to compare different research results, and to create a tool for supporting intensive test of new algorithms for temporal constraints management. The paper gives an overview of the functionalitie作者: babble 時(shí)間: 2025-3-24 07:32
Felix C. Brodbeck,Yves R. F. Guillaume which extends classical Interval Algebra (IA). Some results obtained in the framework of Fuzzy Constraint Satisfaction Problem (FCSP) approach [.] are used in the specific domain of temporal reasoning. A new fuzzy interval algebra IA. is defined. Classical concepts of consistency and minimality are作者: 六邊形 時(shí)間: 2025-3-24 11:33
Knowledge Management for ProjectsBD project. in applying Constraint Programming techniques to the task of diagnosing a real-life automotive subsystem. We propose a layered modeling approach: qualitative deviations equations as a high levelmo deldescription language, and Constraint Satisfaction Problems (CSPs) with non binary constr作者: Osteoarthritis 時(shí)間: 2025-3-24 16:31 作者: facilitate 時(shí)間: 2025-3-24 21:48 作者: 摸索 時(shí)間: 2025-3-24 23:39 作者: 解決 時(shí)間: 2025-3-25 03:35
Social Policy, Social Work and Psychology,d in children. The theoretical framework proposed considers learning as a process of formation and revision of a logical theory. INTHELEX, an incremental learning system, was used to emulate the transitions occurring in the human learning process. The experiment proved very interesting both for impr作者: 修飾語(yǔ) 時(shí)間: 2025-3-25 08:35 作者: CON 時(shí)間: 2025-3-25 12:54 作者: 殺菌劑 時(shí)間: 2025-3-25 16:42 作者: FOLLY 時(shí)間: 2025-3-25 20:20
A Description Logic for Image Retrievalal role belongs to fundamental principles and rights at work, comprised in an ILO Declaration in 1998. They provide for freedom of association, collective bargaining and the elimination of child and forced labour and discrimination. There is a growing debate on how other standards should be linked t作者: Toxoid-Vaccines 時(shí)間: 2025-3-26 01:37 作者: 思考才皺眉 時(shí)間: 2025-3-26 06:21
Abduction with Negation as Failure for Active and Reactive Rulesbook explores the multiple legal grounds of Meiji Japan‘s assertion of sovereign statehood within that order: natural law, treaty law, international administrative law, and the laws of war. Contrary to arguments that Japan was victimized by ‘unequal‘ treaties, or that Japan was required to meet a ‘s作者: Fissure 時(shí)間: 2025-3-26 11:28 作者: 通情達(dá)理 時(shí)間: 2025-3-26 15:55
Solving the Satisfiability Problem Through Boolean Networksnd policy community with a better understanding of climate-rThis book studies the topic of forced climate migrants (commonly referred to as “climate refugees”) through the lens of international law and identifies the reasons why these migrants should be granted international protection. Through an a作者: conflate 時(shí)間: 2025-3-26 17:07 作者: 敬禮 時(shí)間: 2025-3-26 22:26 作者: 嘲弄 時(shí)間: 2025-3-27 02:11 作者: 上下倒置 時(shí)間: 2025-3-27 09:03 作者: 痛得哭了 時(shí)間: 2025-3-27 12:01 作者: Nonflammable 時(shí)間: 2025-3-27 14:50 作者: 形上升才刺激 時(shí)間: 2025-3-27 21:02 作者: Genteel 時(shí)間: 2025-3-28 00:40
Experiences with a Logic-based Knowledge Discovery Support Environmentesumes some basic understanding of macroeconomics, it does not require any significant mathematical capability. The first part examines the macro theory of the open economy: the second part examines macroeconomic stabilisation policy in the context of an open economy, and the world economy: and the 作者: Confess 時(shí)間: 2025-3-28 02:43 作者: 群島 時(shí)間: 2025-3-28 08:02
Applied Psycholinguistics and Mental Health minimal knowledge and negation as failure, showing the existence of a full correspondence between these modal formalisms and .. Such a correspondence gives us a unified reading of nonmonotonic reasoning formalisms in terms of the above two assumptions; in particular, it clarifies the relationship between default and autoepistemic logic.作者: fixed-joint 時(shí)間: 2025-3-28 11:59 作者: 輕而薄 時(shí)間: 2025-3-28 16:37
Knowledge Management for Projectssed for efficient reasoning on CSPs derived from qualitative equations..A prototype implementation of a constraint-based diagnostic engine has been developed using .(.) and C++, and some preliminary results on the proposed modeling approach and heuristics are reported.作者: 斷斷續(xù)續(xù) 時(shí)間: 2025-3-28 19:27 作者: accessory 時(shí)間: 2025-3-29 00:11
0302-9743 h Congress of the Italian Association for Artificial Intelligence (AI*IA). The congress of the AI*IA is the most relevant Italian event in the field of Artificial Intelligence, and has been receiving much attention from many researchers and practitioners of different countries. The sixth congress wa作者: 缺陷 時(shí)間: 2025-3-29 05:28
Yuliya Yu Dubrovskaya,Olga A. Moskvitinaresented allows to develop a new class of algorithms to solve SAT. Moreover, this new approach suggests new ways to combine symbolic and connectionist computation and provides a general framework for local search algorithms.作者: 做事過(guò)頭 時(shí)間: 2025-3-29 11:11
Positive Project Management Teamsal) Event Calculus by a generate-only strategy that operates on the transitive closure and reduction of the underlying directed acyclic graph of events. We prove the soundness and completeness of the proposed strategy, and thoroughly analyze its computational complexity.作者: 占線 時(shí)間: 2025-3-29 13:03
Felix C. Brodbeck,Yves R. F. Guillaumee used in the specific domain of temporal reasoning. A new fuzzy interval algebra IA. is defined. Classical concepts of consistency and minimality are generalized to deal with IA.. Path-consistency and branch & bound algorithms are shown. A tractable sub-algebra of IA. is defined.作者: 審問(wèn),審訊 時(shí)間: 2025-3-29 15:59
Applied Psychology for Social Workersalysis and audit planning strategy in fraud detection. We show that the query language deals effectively and uniformly with data preparation, model extraction and model evaluation and analysis, thus providing a powerful formalism where methodologies for classes of challenging applications can be conveniently designed.作者: Vasoconstrictor 時(shí)間: 2025-3-29 22:51 作者: cloture 時(shí)間: 2025-3-30 02:06
Conference proceedings 2000rtificial Intelligence (AI*IA). The congress of the AI*IA is the most relevant Italian event in the field of Artificial Intelligence, and has been receiving much attention from many researchers and practitioners of different countries. The sixth congress was held in Bologna, 14-17 September 1999, an作者: milligram 時(shí)間: 2025-3-30 07:01 作者: 不妥協(xié) 時(shí)間: 2025-3-30 12:02 作者: 6Applepolish 時(shí)間: 2025-3-30 14:20 作者: 歡笑 時(shí)間: 2025-3-30 16:47
Joanne Lyubovnikova,Michael A. Westy using an (exact) algorithm for SAT applied to a formula derived from both . and .. This way, the computational cost needed to find a solution is drastically reduced (to the detriment of completeness). In particular, the proposed algorithm runs in polynomial time on the important class of head cycle free programs.作者: 保全 時(shí)間: 2025-3-30 22:06
Felix C. Brodbeck,Yves R. F. Guillaumes of the software system and describes in detail the random generator able to fast generate sets of temporal networks controlled by a set of macro-parameters that characterize the topology and the temporal flexibility of the networks.作者: 用不完 時(shí)間: 2025-3-31 03:56
Solving the Satisfiability Problem Through Boolean Networkse migrants law” could be built, ultimately arguing for the duty to provide some form of assistance to forced climate migrants in a third state within the international legal system.978-3-030-52404-3978-3-030-52402-9作者: 輕而薄 時(shí)間: 2025-3-31 08:56 作者: NADIR 時(shí)間: 2025-3-31 12:44 作者: 創(chuàng)造性 時(shí)間: 2025-3-31 17:02
