標題: Titlebook: Rules and Reasoning; 5th International Jo Sotiris Moschoyiannis,Rafael Pe?aloza,Dumitru Roma Conference proceedings 2021 Springer Nature Sw [打印本頁] 作者: 掩飾 時間: 2025-3-21 16:14
書目名稱Rules and Reasoning影響因子(影響力)
書目名稱Rules and Reasoning影響因子(影響力)學科排名
書目名稱Rules and Reasoning網(wǎng)絡(luò)公開度
書目名稱Rules and Reasoning網(wǎng)絡(luò)公開度學科排名
書目名稱Rules and Reasoning被引頻次
書目名稱Rules and Reasoning被引頻次學科排名
書目名稱Rules and Reasoning年度引用
書目名稱Rules and Reasoning年度引用學科排名
書目名稱Rules and Reasoning讀者反饋
書目名稱Rules and Reasoning讀者反饋學科排名
作者: obtuse 時間: 2025-3-22 00:16 作者: Cervical-Spine 時間: 2025-3-22 01:33
Policy-Based Automated Compliance CheckingFor the processing to be compliant, additional attributes, such as the purpose of processing or legal basis, should be verified against an established data processing agreement or policy. In this paper, we propose an automated policy-based compliance checking model and implement it using SHACL. We p作者: fidelity 時間: 2025-3-22 04:38
Correctness of Automatically Generated Choreography Specificationsrvice-oriented applications and web transactions. Constraint solvers such as Alloy Analyzer can be used for the automated generation and verification of declarative choreography specifications. This presumes a mapping between the declarative specification of business rules in . (SBVR), an OMG standa作者: 收藏品 時間: 2025-3-22 11:19
Conflict-Free Access Rules for Sharing Smart Patient Health Recordsecords, establishing granular access rights to personal patient data. Access rules can establish what should be accessible by whom for how long, and comply with collective regulatory frameworks, such as the European General Data Protection Regulation (GDPR). The challenge is to design and implement 作者: Factual 時間: 2025-3-22 15:07
Structuring Rule Sets Using Binary Decision Diagramss that directly relate the input features to the target concept and are not able to discover intermediate concepts which might result in a more compact and interpretable theory. An analogous observation can also be made in electronic design automation where the task is to find the minimal representa作者: 不能妥協(xié) 時間: 2025-3-22 18:46 作者: 很是迷惑 時間: 2025-3-22 22:03 作者: irreducible 時間: 2025-3-23 03:00
Combining Deep Learning and ASP-Based Models for the Semantic Segmentation of Medical Imagesrmation for interventional and diagnostic tasks. Recent advancements in Deep Learning (DL), such as Convolutional Neural Networks (CNNs), have proved to be greatly promising in identifying anatomical and pathological structures, and in extracting meaningful patterns from huge amounts of data. Howeve作者: 尊重 時間: 2025-3-23 08:13 作者: 辮子帶來幫助 時間: 2025-3-23 10:14 作者: 拱形面包 時間: 2025-3-23 16:19 作者: 新手 時間: 2025-3-23 19:32
Deep Learning for the Identification of Decision Modelling Components from Textt modelling the structure and logic of a decision. For decision modellers, analysing textual documents in search for relevant sentences is a time consuming activity. A promising research topic is to build decision models from text. In this paper, an automatic decision modelling component classifier 作者: Infraction 時間: 2025-3-24 01:23
Combining Sub-symbolic and Symbolic Methods for Explainabilityhave been developed to provide insights into the GNN decision making process. These are first important steps on the way to explainability, but the generated explanations are often hard to understand for users that are not AI experts. To overcome this problem, we introduce a conceptual approach comb作者: AORTA 時間: 2025-3-24 04:37 作者: delegate 時間: 2025-3-24 07:38 作者: Mosaic 時間: 2025-3-24 13:05 作者: 思想流動 時間: 2025-3-24 16:36 作者: 關(guān)節(jié)炎 時間: 2025-3-24 20:17 作者: 恭維 時間: 2025-3-25 01:52
Correctness of Automatically Generated Choreography Specificationsrd for specifying business models in structured English, and the . which is a SAT based constraint solver. This paper is concerned with the correctness of such mapping between the generated instance (choreography) in Alloy and the global graph obtained as a direct visual representation of the SBVR model specification.作者: 挑剔小責 時間: 2025-3-25 05:40
Practical Rule-Based Qualitative Temporal Reasoning for the Semantic Web in a way that is subalgebra-agnostic. In the paper, we present the approach, its implementation in Apache Jena, and an experimental evaluation against traditional rule-based implementations. The evaluation shows a considerable speed-up when backward-chaining is used. A further contribution of the paper is the problem set used in the evaluations.作者: nauseate 時間: 2025-3-25 07:38 作者: 窗簾等 時間: 2025-3-25 12:17
Conflict-Free Access Rules for Sharing Smart Patient Health Recordsd for an efficient way to retrieve potential granular data from heterogeneous data sources. In this paper, we define a patient-centric authorisation approach, incorporating a structured format for composing access rules that enable secure data retrieval and automatic rules conflict checking.作者: Immortal 時間: 2025-3-25 17:13
Leveraging the Power of IDP with the Flexibility of DMN: A Multifunctional APIn to the IDP system, a powerful reasoning tool, allowing the knowledge in DMN models to be used to its fullest potential. The flexibility of this approach allows us to build intelligent tools based on DMN unlike any other execution engine.作者: 檢查 時間: 2025-3-25 23:47
Conference proceedings 2021Rule Symposium) and “RR” (Web Reasoning and Rule Systems)...The 17 full research papers presented together with 2 short technical communications papers and 2 abstracts of invited papers were carefully reviewed and selected from 39 submissions..作者: GRIEF 時間: 2025-3-26 02:14
0302-9743 ional Web Rule Symposium) and “RR” (Web Reasoning and Rule Systems)...The 17 full research papers presented together with 2 short technical communications papers and 2 abstracts of invited papers were carefully reviewed and selected from 39 submissions..978-3-030-91166-9978-3-030-91167-6Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 刺耳 時間: 2025-3-26 07:03
Policy-Based Automated Compliance Checkinging from the natural language description of the compliance rules. Our method combines a data model with compliance checking within the Semantic Web framework, generating what we call an operational model and promoting interoperability.作者: Indolent 時間: 2025-3-26 12:00 作者: 青石板 時間: 2025-3-26 15:58 作者: 食料 時間: 2025-3-26 19:06
Automatic Generation of Intelligent Chatbots from DMN Decision Models explainable decision-making during customer support inquiries. The method can improve the digitalization of customer services and give customers more transparency and trust in the decision-making through user-friendly chatbots.作者: cardiac-arrest 時間: 2025-3-26 22:33 作者: 深淵 時間: 2025-3-27 01:57
Combining Sub-symbolic and Symbolic Methods for Explainabilitynotion of fidelity as a metric for evaluating how close the explanation is to the GNN’s internal decision making process. The evaluation with a chemical dataset and ontology shows the explanatory value and reliability of our method.作者: 抒情短詩 時間: 2025-3-27 05:24
Logic Rules Meet Deep Learning: A Novel Approach for Ship Type Classificationour model can increase prediction scores by up?to 15.4% when compared with the next best model we considered, while also maintaining a level of explainability as opposed to common black box approaches.作者: Cerebrovascular 時間: 2025-3-27 11:34
ve insulin resistance in the liver, in which the gluconeogenic pathway becomes insensitive to insulin but the lipogenesis pathway remains sensitive to insulin, leads to an elevation in hepatic and plasma levels of fatty acids and triglyceride and makes detrimental contributions to the development of作者: 泰然自若 時間: 2025-3-27 14:40 作者: 松雞 時間: 2025-3-27 17:57 作者: Hamper 時間: 2025-3-27 23:33 作者: DEVIL 時間: 2025-3-28 03:44
Matthew Banton,Juliana Bowles,Agastya Silvina,Thais Webberancing the action of GABA was originally suggested by anecdotal observations of ameliorations of HE following administration of a BZ receptor antagonist. The term natural BZs has been introduced for BZ receptor ligands which have been demonstrated in brain, cerebrospinal fluid, and plasma of normal 作者: Hyperlipidemia 時間: 2025-3-28 07:47
Florian Beck,Johannes Fürnkranz,Van Quoc Phuong Huynh, but have subtle deficits and psychomotor abnormalities that can only be elicited by specialized tests. Used singly or in combination, varying tests can provide diagnostic information, including neuropsychological testing or neurophysiological testing. While there is no gold standard for the diagno作者: stratum-corneum 時間: 2025-3-28 11:16
Matteo Cardellini,Paolo De Nardi,Carmine Dodaro,Giuseppe Galatà,Anna Giardini,Marco Maratea,Ivan Por and I have attended many. It was an exceedingly we- planned meeting with prolonged opportunity for discussion, and there was genuine interplay and exchange of ideas (not the usual picture of a rushed meeting with investigators presenting their own point of view and talking past each other without a作者: deforestation 時間: 2025-3-28 16:05 作者: Intractable 時間: 2025-3-28 19:46 作者: 夾死提手勢 時間: 2025-3-29 01:13
Alexandre Goossens,Michelle Claessens,Charlotte Parthoens,Jan Vanthieneneuromuscular abnormalities. Three components of mental state may be impaired in HE: the level of consciousness, personality (behavior), and the upper intellectual functions (1). The most common neuromuscular abnormality is the so-called asterixis or flapping tremor, however other signs or symptoms s作者: foliage 時間: 2025-3-29 06:40 作者: 新鮮 時間: 2025-3-29 09:15 作者: Criteria 時間: 2025-3-29 12:39
Manolis Pitsikalis,Thanh-Toan Do,Alexei Lisitsa,Shan Luoration. Lineage tracing of biliary epithelial cells (BECs) in the adult liver has been used to assess the contribution of the biliary epithelium to liver injury, regeneration, and disease. These studies have shown the contribution of BECs to the expansion of ductular reaction (DR) and liver progenit作者: 凹槽 時間: 2025-3-29 17:29
Haya Majid Qureshi,Wolfgang Faberration. Lineage tracing of biliary epithelial cells (BECs) in the adult liver has been used to assess the contribution of the biliary epithelium to liver injury, regeneration, and disease. These studies have shown the contribution of BECs to the expansion of ductular reaction (DR) and liver progenit作者: poliosis 時間: 2025-3-29 20:43
Mark Thom,Harold Boley,Theodoros Mitsikasre thought to be an important source of regenerative medicine because of their pluripotency and self-renewal ability. Although the liver has high regeneration ability, continuous death of hepatocytes due to chronic inflammation leads to liver cirrhosis and liver carcinoma. With regard to such seriou作者: Dictation 時間: 2025-3-30 02:11 作者: 圖表證明 時間: 2025-3-30 04:54
l agents. Although hepatocytes have been proposed to be the main source of new hepatocytes during regeneration, the existence of specialized liver stem cells has been long debated. In mice, oval cells or ductal cells have been postulated as such stem/progenitor pool. Exhaustive works from different 作者: calamity 時間: 2025-3-30 11:19 作者: Blatant 時間: 2025-3-30 15:19
https://doi.org/10.1007/978-3-030-91167-6artificial intelligence; computer programming; computer science; computer systems; databases; education; e作者: Obituary 時間: 2025-3-30 17:22
978-3-030-91166-9Springer Nature Switzerland AG 2021作者: GRILL 時間: 2025-3-30 21:10 作者: parallelism 時間: 2025-3-31 01:14
Structuring Rule Sets Using Binary Decision Diagrams BDD, which includes new intermediate concepts and is therefore better structured than the original DNF rule set. First experiments on small artificial datasets indicate that intermediate concepts can be reliably detected, and the size of the resulting representations can be compressed, but a first 作者: innovation 時間: 2025-3-31 05:03
Link Traversal with Distributed Subweb Specificationshe data consumer towards relevant and trustworthy data. We introduce a theoretical framework that enables such guided link traversal and study its properties. We illustrate with a theoretic example that this can improve query results and reduce the number of network requests.作者: gangrene 時間: 2025-3-31 10:50
Combining Deep Learning and ASP-Based Models for the Semantic Segmentation of Medical Images propose the use of ASP to drive DL approaches in performing semantic segmentation of medical images. Specifically, we encoded prior medical knowledge via ASP, thus defining a rule-based model for deducting all admitted combinations of classes and right locations in medical images. The results of an作者: SEED 時間: 2025-3-31 16:53
An Answer Set Programming Based Framework for High-Utility Pattern Mining Extended with Facets and A on paper reviews is exploited to analyze the potentiality of the proposed framework in knowledge creation and discovery. Given the wide variety of analytical scenarios that can be envisioned in this new setting, we take full advantage of the capabilities of Answer Set Programming and its extensions作者: Missile 時間: 2025-3-31 18:17
An Evaluation of Meta-reasoning over OWL 2 QLvious work, Cima et al. have proposed a reduction from OWL 2 QL (a light-weight profile of OWL 2) and associated meta-queries in SPARQL to query answering over Datalog rules. In this paper, we experiment with various logic programming tools that support Datalog querying to determine their suitabilit作者: 摸索 時間: 2025-3-31 23:00 作者: conspicuous 時間: 2025-4-1 02:00 作者: Optic-Disk 時間: 2025-4-1 09:33
Anas Al Bassit,Katsiaryna Krasnashchok,Sabri Skhiri,Majd Mustapha strides have been made in better understanding how MHE affects patient’s everyday lives, including important functions such as driving. This improved understanding will improve awareness and road safety for both patients with cirrhosis and other chronic illnesses as well as the general public.作者: CRUC 時間: 2025-4-1 11:29 作者: Atrium 時間: 2025-4-1 18:13
Matthew Banton,Juliana Bowles,Agastya Silvina,Thais Webberry behavioral effects. Flumazenil is the only BZ receptor antagonist currently available for clinical use. Intravenously administered flumazenil has been shown to induce ameliorations of HE in large proportions of patients with acute or chronic liver failure. Its beneficial effects on HE are limited
