標(biāo)題: Titlebook: Rules and Reasoning; International Joint Stefania Costantini,Enrico Franconi,Dumitru Roman Conference proceedings 2017 Springer Internatio [打印本頁] 作者: informed 時(shí)間: 2025-3-21 18:50
書目名稱Rules and Reasoning影響因子(影響力)
書目名稱Rules and Reasoning影響因子(影響力)學(xué)科排名
書目名稱Rules and Reasoning網(wǎng)絡(luò)公開度
書目名稱Rules and Reasoning網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Rules and Reasoning被引頻次
書目名稱Rules and Reasoning被引頻次學(xué)科排名
書目名稱Rules and Reasoning年度引用
書目名稱Rules and Reasoning年度引用學(xué)科排名
書目名稱Rules and Reasoning讀者反饋
書目名稱Rules and Reasoning讀者反饋學(xué)科排名
作者: 糾纏,纏繞 時(shí)間: 2025-3-21 23:48
ject to regulation by different factors (Table 1) including pressure (Nopanitaya et al., 1976, Fraser et al., 1980), alcohol (Mak and Lieber, 1984; Horn et al., 1987), carbon tetrachloride (Okazaki et al., 1973), hypoxia, serotonin, norepinephrine, and cytochalasin B (Stefan et al. 1987).作者: endure 時(shí)間: 2025-3-22 02:16 作者: cuticle 時(shí)間: 2025-3-22 07:36
Marco Alberti,Marco Gavanelli,Evelina Lamma,Fabrizio Riguzzi,Riccardo Zeseject to regulation by different factors (Table 1) including pressure (Nopanitaya et al., 1976, Fraser et al., 1980), alcohol (Mak and Lieber, 1984; Horn et al., 1987), carbon tetrachloride (Okazaki et al., 1973), hypoxia, serotonin, norepinephrine, and cytochalasin B (Stefan et al. 1987).作者: Default 時(shí)間: 2025-3-22 12:17 作者: 大方一點(diǎn) 時(shí)間: 2025-3-22 16:47
Abdelraouf Hecham,Pierre Bisquert,Madalina Croitorunuclease, T7EI. Assays employing this enzyme entail initial amplification of DNA encompassing the targeted region. Thereafter the amplicons are denatured and reannealed to allow hybridization between indel-containing and wild-type sequences. Heteroduplexes that contain mismatched regions are suscept作者: thwart 時(shí)間: 2025-3-22 18:50 作者: 雪白 時(shí)間: 2025-3-22 21:39
Christian Meilicke,Daniel Ruffinelli,Andreas Nolle,Heiko Paulheim,Heiner Stuckenschmidty ., 1971), serum HBsAg may be masked by components of normal serum proteins such as complement factors (Miller ., 1972) and certainly by anti-HBs itself (Shorey and Combes, 1973) and thus may remain undetectable by immunological methods. This study was undertaken to improve the demonstration of HBs作者: Corral 時(shí)間: 2025-3-23 03:45
Ginés Moreno,José A. Riazathat it differed from lipoproteins in that it stained only faintly with lipid stain but gave a strong reaction with protein stain. (Blumberg ., 1965). Although the antigen was later found not to be especially common in Australian aborigines, it was given the tentative name ‘Australia antigen’.作者: jovial 時(shí)間: 2025-3-23 08:00 作者: 聽覺 時(shí)間: 2025-3-23 13:42 作者: DOTE 時(shí)間: 2025-3-23 17:10 作者: verdict 時(shí)間: 2025-3-23 19:43
y ., 1971), serum HBsAg may be masked by components of normal serum proteins such as complement factors (Miller ., 1972) and certainly by anti-HBs itself (Shorey and Combes, 1973) and thus may remain undetectable by immunological methods. This study was undertaken to improve the demonstration of HBs作者: Gourmet 時(shí)間: 2025-3-23 23:41
Verifying Controllability of Time-Aware Business Processes,alled . and . controllability problems. Our algorithms reduce these problems to the verification of a set of quantified integer constraints, which are simpler than the original quantified reachability formulas, and can effectively be handled by state-of-the-art CHC solvers.作者: 痛苦一下 時(shí)間: 2025-3-24 04:47
A Decidable Confluence Test for Cognitive Models in ACT-R,les that are not confluent. Thereby, the modeler can check if his model has the desired behavior..The sound and complete translation of ACT-R to CHR from prior work is used to come up with a suitable invariant-based confluence criterion from the CHR literature. Proper invariants for translated ACT-R作者: Expediency 時(shí)間: 2025-3-24 07:46
Rewriting Queries with Negated Atoms,han . for most of the datasets in the benchmark and it portrayed a more scalable performance i.e. describing a faster relative performance with respect to .’s performance with the increase of the size of assertions in the dataset.作者: neutrophils 時(shí)間: 2025-3-24 13:17
Hybrid ASP-Based Approach to Pattern Mining,to detect frequent patterns and then filters the results using declarative ASP. Experiments on real-world datasets show the effectiveness of the proposed method and computational gains both for itemset and sequence mining.作者: 疲勞 時(shí)間: 2025-3-24 18:38
Conference proceedings 2017and industrial applications. Both series of conferences aimed at building bridges between academia and industry in the field of rules and their applications. Therefore, RuleML+RR is expected to become a leading conference for all subjects concerning theoretical advances, novel technologies, and inno作者: IRS 時(shí)間: 2025-3-24 21:46 作者: Ornament 時(shí)間: 2025-3-24 23:28 作者: Range-Of-Motion 時(shí)間: 2025-3-25 06:09
Domenico Cantone,Marianna Nicolosi-Asmundo,Daniele Francesco Santamaria作者: 領(lǐng)先 時(shí)間: 2025-3-25 08:20 作者: QUAIL 時(shí)間: 2025-3-25 11:59
ure of the liver “capillaries”, the sinusoids. The endothelial lining cell carries sieve-plates with fenestrations permitting exchange of high molecular weight compounds including proteins between the intravascular (sinusoidal) and extravascu1ar space, the space of Disse. The characteristics of thes作者: 蛤肉 時(shí)間: 2025-3-25 19:41 作者: 即席 時(shí)間: 2025-3-25 22:03
Marco Alberti,Marco Gavanelli,Evelina Lamma,Fabrizio Riguzzi,Riccardo Zeseure of the liver “capillaries”, the sinusoids. The endothelial lining cell carries sieve-plates with fenestrations permitting exchange of high molecular weight compounds including proteins between the intravascular (sinusoidal) and extravascu1ar space, the space of Disse. The characteristics of thes作者: 洞察力 時(shí)間: 2025-3-26 00:21 作者: 減少 時(shí)間: 2025-3-26 06:47 作者: 男學(xué)院 時(shí)間: 2025-3-26 08:39
Enrique Matos Alfonso,Giorgos Stamou S. Blumberg, a geneticist, began to evaluate the antigenic specificities of serum lipoprotein, which could be detected with sera of multiply transfused patients, e.g. in haemophiliacs who develop antibodies against certain lipoproteins (Blumberg ., 1962; Blumberg ., 1964). In 1963, Blumberg (1964) 作者: aggravate 時(shí)間: 2025-3-26 16:27
Christian Meilicke,Daniel Ruffinelli,Andreas Nolle,Heiko Paulheim,Heiner Stuckenschmidt., 1971; Hoofnagle ., 1975). HBsAg may remain undetectable in the serum even by as sensitive a technique as radioimmunoassay in a significant number of patients with clinical hepatitis even when longitudinal studies and the evolution of HB antibodies suggests HBV as the causative agent (Hoofnagle .,作者: 對待 時(shí)間: 2025-3-26 18:46 作者: 笨拙處理 時(shí)間: 2025-3-26 21:38 作者: 儀式 時(shí)間: 2025-3-27 01:59 作者: Dungeon 時(shí)間: 2025-3-27 05:24 作者: 把…比做 時(shí)間: 2025-3-27 09:30
., 1971; Hoofnagle ., 1975). HBsAg may remain undetectable in the serum even by as sensitive a technique as radioimmunoassay in a significant number of patients with clinical hepatitis even when longitudinal studies and the evolution of HB antibodies suggests HBV as the causative agent (Hoofnagle .,作者: 規(guī)范就好 時(shí)間: 2025-3-27 16:40 作者: Optometrist 時(shí)間: 2025-3-27 18:50 作者: 仲裁者 時(shí)間: 2025-3-27 22:41
Using Rule-Based Reasoning for RDF Validation,t Linked Data are actually useful for machines consuming them. On this background it is not surprising that (Linked) Data validation is an ongoing research topic in the community. However, most approaches so far either do not consider reasoning, and thereby miss the chance of detecting implicit cons作者: orient 時(shí)間: 2025-3-28 03:49
Three Methods for Revising Hybrid Knowledge Bases,roaches, little attention has been given to change mechanisms for hybrid knowledge bases that can appropriately handle the dynamics of information on the Web. We present here three methods for . hybrid knowledge bases in light of new information. We show by means of representation theorems that two 作者: fodlder 時(shí)間: 2025-3-28 09:06 作者: 龍蝦 時(shí)間: 2025-3-28 11:17 作者: Ruptured-Disk 時(shí)間: 2025-3-28 16:05 作者: pus840 時(shí)間: 2025-3-28 21:55
Verifying Controllability of Time-Aware Business Processes,bject to linear constraints over the integers. We assume that some of the durations are ., that is, they can be determined by the organization that enacts the process, while others are ., that is, they are determined by the external world..Then, we consider . properties, which guarantee the completi作者: 泰然自若 時(shí)間: 2025-3-29 02:55
A Decidable Confluence Test for Cognitive Models in ACT-R,hought – Rational (ACT-R) is a rule-based cognitive architecture that offers a widely employed framework to build such models. There is a sound and complete embedding of ACT-R in Constraint Handling Rules (CHR). Therefore analysis techniques from CHR can be used to reason about computational propert作者: pantomime 時(shí)間: 2025-3-29 03:24
On the Chase for All Provenance Paths with Existential Rules, all minimal provenance paths of the query (i.e. the sequence of rule applications that generates an atom from a given set of facts). Obtaining all minimal provenance paths of a query using forward chaining can be challenging due to the simplifications done during the rule applications of different 作者: GRAIN 時(shí)間: 2025-3-29 09:25 作者: 并入 時(shí)間: 2025-3-29 15:12
Fast ABox Consistency Checking Using Incomplete Reasoning and Caching,onstraints of soundness and/or completeness is often an approach to practical solutions. In this paper, we propose an extension of incomplete reasoning methods for checking the consistency of a large number of ABoxes against a given TBox. In particular, we use and extend the clash queries proposed b作者: 和平主義者 時(shí)間: 2025-3-29 18:49
An Online Tool for Tuning Fuzzy Logic Programs,ruth degrees on their bodies. In this work we describe an efficient online tool which helps to select such operators and weights in an automatic way, accomplishing with our recent technique for tuning this kind of fuzzy programs. The system offers a comfortable interaction with users for introducing作者: nocturnal 時(shí)間: 2025-3-29 22:08
Hybrid ASP-Based Approach to Pattern Mining,ided criteria; typically, all patterns that satisfy certain criteria are considered relevant. Rule-based languages like Answer Set Programming (ASP) seem well-suited for specifying such criteria in a form of constraints. Although progress has been made, on the one hand, on solving individual mining 作者: 看法等 時(shí)間: 2025-3-30 02:08 作者: Generalize 時(shí)間: 2025-3-30 04:02
ArgQL: A Declarative Language for Querying Argumentative Dialogues,based on Cypher (language for graph databases) and SPARQL 1.1 and is adjusted for querying dialogues, composed by sets of arguments and their interrelations. We use formal semantics to show how queries in ArgQL match against data in the argumentation model. The execution is realized by translating b作者: Ballad 時(shí)間: 2025-3-30 09:22 作者: obstinate 時(shí)間: 2025-3-30 15:38
Conference proceedings 201717. This is the first conference of a new series, joining the efforts of two existing conference series, namely “RuleML” (International Web Rule Symposium) and “RR” (Web Reasoning and Rule Systems). .The 16 regular papers presented together with 2 keynote abstracts were carefully reviewed and select作者: bronchodilator 時(shí)間: 2025-3-30 19:37 作者: cruise 時(shí)間: 2025-3-31 00:16 作者: JECT 時(shí)間: 2025-3-31 01:41
Inconsistency-Tolerant Instance Checking in Tractable Description Logics,ontrary to ABox repairs, when KB repairs are considered, instance checking in . w.r.t. the brave semantics remains tractable, and the intersection semantics allow for an any-time algorithm. We also show that inconsistency-tolerant instance checking w.r.t. ABox repairs is intractable even if only polynomially many ABox repairs exist.作者: LEERY 時(shí)間: 2025-3-31 08:02 作者: 合乎習(xí)俗 時(shí)間: 2025-3-31 09:26
On the Chase for All Provenance Paths with Existential Rules,chase mechanisms. We build upon the notion of Graph of Atoms Dependency (GAD) and use it to solve the problem of provenance path loss in the context of forward chaining with existential rules. We study the properties of this structure and investigate how different chase mechanisms impact its construction.作者: Processes 時(shí)間: 2025-3-31 15:52
