標(biāo)題: Titlebook: Web Reasoning and Rule Systems; 9th International Co Balder ten Cate,Alessandra Mileo Conference proceedings 2015 Springer International Pu [打印本頁] 作者: legerdemain 時(shí)間: 2025-3-21 18:30
書目名稱Web Reasoning and Rule Systems影響因子(影響力)
書目名稱Web Reasoning and Rule Systems影響因子(影響力)學(xué)科排名
書目名稱Web Reasoning and Rule Systems網(wǎng)絡(luò)公開度
書目名稱Web Reasoning and Rule Systems網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Web Reasoning and Rule Systems被引頻次
書目名稱Web Reasoning and Rule Systems被引頻次學(xué)科排名
書目名稱Web Reasoning and Rule Systems年度引用
書目名稱Web Reasoning and Rule Systems年度引用學(xué)科排名
書目名稱Web Reasoning and Rule Systems讀者反饋
書目名稱Web Reasoning and Rule Systems讀者反饋學(xué)科排名
作者: jovial 時(shí)間: 2025-3-21 22:13 作者: 減震 時(shí)間: 2025-3-22 02:26 作者: 危機(jī) 時(shí)間: 2025-3-22 07:57
Weronika T. Adrian,Nicola Leone,Marco MannaSer. Solid-State Sci., Vol. 31) is devoted to non equilibrium theories. Particular emphasis is placed on fundamental principles and basic con- cepts and ideas. We start with physical examples of probability and kinetics, and then describe the general principles of statistical mechanics, with appli- 作者: Ischemic-Stroke 時(shí)間: 2025-3-22 09:23 作者: 陳舊 時(shí)間: 2025-3-22 13:33
Reza Basseda,Michael Kifersentation in terms of interacting limit-cycle oscillators. In sections three and four, we discuss how each oscillating unit, either in isolation or in interaction with other units, may be effectively described with a phase variable having a first-order dynamics in time, and then deriving the form of作者: Maximizer 時(shí)間: 2025-3-22 17:46
Carmine Dodaro,Nicola Leone,Barbara Nardi,Francesco Riccae calls not made, if a plane departure is delayed due to a mechanical failure - these are rather ordinary annoyances which we have come to accept as normal occur- rences. Contrast this with failure of a food product. If foreign matter is found in a food, if a product is discolored or crushed, if ill作者: 夾克怕包裹 時(shí)間: 2025-3-23 00:11 作者: 散布 時(shí)間: 2025-3-23 02:35 作者: 清醒 時(shí)間: 2025-3-23 05:54 作者: 清澈 時(shí)間: 2025-3-23 10:37 作者: landfill 時(shí)間: 2025-3-23 15:39 作者: 膽大 時(shí)間: 2025-3-23 18:28
Mario Alviano,Wolfgang Fabern teaching courses in quantitative analysis for undergraduate and graduate stu- dents in archaeology over a number of years. The book is set specifically in the context of archaeology, not because the issues dealt with are uniquely archaeological in nature, but because many people find it much easie作者: 翻布尋找 時(shí)間: 2025-3-24 00:21 作者: enmesh 時(shí)間: 2025-3-24 02:20 作者: freight 時(shí)間: 2025-3-24 07:25
Stefano Germano,Thu-Le Pham,Alessandra Mileonon-deductive inferences. Deductive inferences are truth preserving, that is, the truth of the premises is preserved in the con- clusion. As a result, the conclusion of a deductive inference is already ‘contained‘ in the premises, although we may not know this fact until the inference is performed. 作者: Commonwealth 時(shí)間: 2025-3-24 11:04 作者: MAIZE 時(shí)間: 2025-3-24 17:56
Thomas Eiter,Jeff Z. Pan,Patrik Schneider,Mantas ?imkus,Guohui Xiaoistical techniques used. Thus non-statisticians are likely to find some of the papers written by statisticians difficult at times, and conversely statisticians 978-0-387-96189-7978-1-4612-5138-5Series ISSN 0930-0325 Series E-ISSN 2197-7186 作者: 割公牛膨脹 時(shí)間: 2025-3-24 22:16
agmatic Considerations When Using Resampling / Terminology / The Essential Stats / Case Study: New Mexico‘s 2004 Presidential Ballots / References978-3-031-02393-4Series ISSN 1938-1743 Series E-ISSN 1938-1751 作者: Fecal-Impaction 時(shí)間: 2025-3-25 02:15 作者: 甜得發(fā)膩 時(shí)間: 2025-3-25 04:22 作者: 幼兒 時(shí)間: 2025-3-25 09:01
Giovanni Adorni,Marco Maratea,Laura Pandolfo,Luca Pulina, potentially interesting information contained in deviating data are neglected. An opportunity for scientific progress may be lost. The author presents alternative ways of dealing with outliers, based on a sound discussion from a philosophy of science point of view. He concludes his work with an ex作者: endocardium 時(shí)間: 2025-3-25 14:40 作者: 把手 時(shí)間: 2025-3-25 16:01 作者: 不幸的人 時(shí)間: 2025-3-25 21:09
Reza Basseda,Michael Kifernchronization in the Kuramoto model, using the methods of Kuramoto, and Ott and Antonsen. In the final section, we address the behavior of the dynamics of oscillators with second-order dynamics in time, which is achieved when the oscillators have finite inertia; we provide a comparison of the behavi作者: 極小量 時(shí)間: 2025-3-26 02:53 作者: insert 時(shí)間: 2025-3-26 08:10 作者: LIMIT 時(shí)間: 2025-3-26 09:54
out the database in a view or a snapshot. Statistical queries can be processed using the view rather than the real database. A crucial issue is that the . of the precomputed information in the view deteriorates with time, because of the dynamic nature of the underlying database. Thus the answer prov作者: 一窩小鳥 時(shí)間: 2025-3-26 14:58 作者: 杠桿支點(diǎn) 時(shí)間: 2025-3-26 20:30 作者: Decrepit 時(shí)間: 2025-3-26 21:20 作者: HEDGE 時(shí)間: 2025-3-27 02:40 作者: FADE 時(shí)間: 2025-3-27 05:59
Carmine Dodaro,Nicola Leone,Barbara Nardi,Francesco Riccakshop on Statistics and the Sciences, held at the Centro Stefano Franscini in Ascona, Switzerland, during the week of May 23 to 28, 1999. The meeting was jointly organized by the Swiss Federal Institutes of Technology in Lausanne and Zurich, with the financial support of the Minerva Research Foundat作者: 灌溉 時(shí)間: 2025-3-27 11:37
Stefano Germano,Thu-Le Pham,Alessandra Mileoes in which conclusions regarding the future are drawn from knowledge of the past. Since the body of scientific knowledge is increasing, it is obvious that the method of science must allow non-deductive as well as deductive inferences. Indeed, the explosive growth of science in recent times points t作者: notice 時(shí)間: 2025-3-27 17:07 作者: BAN 時(shí)間: 2025-3-27 20:15
Supportedly Stable Answer Sets for Logic Programs with Generalized Atoms,ajor previously proposed semantics for programs with convex generalized atoms, and that it in general admits more intended models than other semantics in the presence of non-convex generalized atoms. We show that the complexity of supportedly stable answer sets is on the second level of the polynomi作者: 心胸開闊 時(shí)間: 2025-3-28 00:38 作者: Pelvic-Floor 時(shí)間: 2025-3-28 04:20 作者: 寵愛 時(shí)間: 2025-3-28 09:57 作者: Trigger-Point 時(shí)間: 2025-3-28 10:41
Supportedly Stable Answer Sets for Logic Programs with Generalized Atoms,ajor previously proposed semantics for programs with convex generalized atoms, and that it in general admits more intended models than other semantics in the presence of non-convex generalized atoms. We show that the complexity of supportedly stable answer sets is on the second level of the polynomi作者: 洞察力 時(shí)間: 2025-3-28 16:00
Planning with Regression Analysis in Transaction Logic,. Moreover, we show that extensions to that algorithm that allow indirect effects and action ramification are obtained almost for free. Finally, a compact and clear logical formulation of the algorithm lets us prove the completeness of .—a result that, to the best of our knowledge, has not been know作者: 團(tuán)結(jié) 時(shí)間: 2025-3-28 20:09 作者: 減至最低 時(shí)間: 2025-3-29 02:11
Domenico Cantone,Cristiano Longo,Marianna Nicolosi-Asmundo,Daniele Francesco Santamaria作者: 迎合 時(shí)間: 2025-3-29 03:04 作者: cravat 時(shí)間: 2025-3-29 09:45 作者: depreciate 時(shí)間: 2025-3-29 13:40
Semantic Views of Homogeneous Unstructured Data,programming. Moreover, we design and implement a system, named KnowRex, that has been successfully applied to curriculum vitae in the Europass style to offer a semantic view of them, and be able, for example, to select those which exhibit required skills.作者: BLANC 時(shí)間: 2025-3-29 15:56 作者: 可忽略 時(shí)間: 2025-3-29 23:04
Web Stream Reasoning in Practice: On the Expressivity vs. Scalability Tradeoff,for heuristics to design adaptive solutions and, following an empirical approach, we highlight some key concepts and ideas that can guide the design of heuristics for adaptive optimization of Web Stream Reasoning.作者: athlete’s-foot 時(shí)間: 2025-3-30 03:07
Web Stream Reasoning in Practice: On the Expressivity vs. Scalability Tradeoff,for heuristics to design adaptive solutions and, following an empirical approach, we highlight some key concepts and ideas that can guide the design of heuristics for adaptive optimization of Web Stream Reasoning.作者: 消滅 時(shí)間: 2025-3-30 05:40 作者: 關(guān)節(jié)炎 時(shí)間: 2025-3-30 12:08
Semantic Views of Homogeneous Unstructured Data,lues. Building on such properties, it would be desirable to automatically process HUD to access the main information through a semantic layer – typically an ontology – called .. Hence, we propose an ontology-based approach for extracting semantically rich information from HUD, by integrating and ext作者: 混雜人 時(shí)間: 2025-3-30 14:51
Supportedly Stable Answer Sets for Logic Programs with Generalized Atoms,al extensions by generalizing the notion of atom used in these programs. Among these, there are dl-atoms, aggregate atoms, HEX atoms, generalized quantifiers, and abstract constraints. In this paper we refer to these constructs collectively as generalized atoms. The idea common to all of these const作者: CLEAR 時(shí)間: 2025-3-30 17:28 作者: 指耕作 時(shí)間: 2025-3-30 20:42 作者: manifestation 時(shí)間: 2025-3-31 04:06 作者: 正論 時(shí)間: 2025-3-31 06:17
A Rule-based Framework for Creating Instance Data from ,,egration. It has been acknowledged however that judging the performance of such reasoners and their underlying algorithms is difficult due to the lack of publicly available datasets with large amounts of .. In this paper we describe a framework and a toolbox for creating such datasets, which is base作者: PALMY 時(shí)間: 2025-3-31 11:47
Web Stream Reasoning in Practice: On the Expressivity vs. Scalability Tradeoff,ut of streaming data. The trade-off between scalability and expressivity is a key challenge in this setting, and more investigation is required to identify what are the relevant features in optimizing this trade-off, and what role do they have in the optimization. In this paper we motivate the need 作者: 違法事實(shí) 時(shí)間: 2025-3-31 14:40
A Procedure for an Event-Condition-Transaction Language,ion-Action languages have been proposed in the literature, differing e.g. on the expressivity of the language and on its operational behavior, existing Event-Condition-Action languages do not generally support the action component to be formulated as a transaction. In this paper, sustaining that it 作者: resistant 時(shí)間: 2025-3-31 20:31
Extending Datalog Intelligence, such data are becoming more accessible with the development of business models like cloud computing, open-source and crowd sourcing. But that data have characteristics that pose challenges to traditional database systems. Due to the uncontrolled nature by which data is produced, much of it is free 作者: magenta 時(shí)間: 2025-3-31 22:51 作者: CLOUT 時(shí)間: 2025-4-1 04:03 作者: Oratory 時(shí)間: 2025-4-1 09:09
Planning with Regression Analysis in Transaction Logic,r, adding heuristics usually leads to very complicated planning algorithms. In order to study different properties (e.g. completeness) of those complicated planning algorithms, it is important to use an appropriate formal language and framework. In this paper, we argue that Transaction Logic is just作者: Digest 時(shí)間: 2025-4-1 11:47 作者: 防止 時(shí)間: 2025-4-1 14:29
Allotment Problem in Travel Industry: A Solution Based on ASP,on. The selection of package tours is done according to several preference criteria aimed at maximizing the expected earnings given a budget. In this paper we formalize an allotment problem that abstracts the requirements of a real travel agent, and we solve it using Answer Set Programming. The obta作者: mechanical 時(shí)間: 2025-4-1 19:34 作者: infelicitous 時(shí)間: 2025-4-2 00:26 作者: Sputum 時(shí)間: 2025-4-2 04:48
A Procedure for an Event-Condition-Transaction Language,ion-Action languages have been proposed in the literature, differing e.g. on the expressivity of the language and on its operational behavior, existing Event-Condition-Action languages do not generally support the action component to be formulated as a transaction. In this paper, sustaining that it 作者: 剛開始 時(shí)間: 2025-4-2 08:39
Conference proceedings 2015, in August 2015. The 5 full papers, 4 technical communications presented together with 4 invited talks were carefully reviewed and selected from 16 submissions. The scale and the heterogenous nature of web data poses many challenges, and turns basic tasks such as query answering and data transforma作者: 改變立場(chǎng) 時(shí)間: 2025-4-2 14:11 作者: prick-test 時(shí)間: 2025-4-2 16:09
