Rules and reasoning = third Internat...
RuleML+RR (Joint Conference) (2019 :)

FindBook      Google Book      Amazon      博客來     
  • Rules and reasoning = third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16-19, 2019 : proceedings /
  • 紀錄類型: 書目-電子資源 : Monograph/item
    正題名/作者: Rules and reasoning/ edited by Paul Fodor ... [et al.].
    其他題名: third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16-19, 2019 : proceedings /
    其他題名: RuleML+RR 2019
    其他作者: Fodor, Paul.
    團體作者: RuleML+RR (Joint Conference)
    出版者: Cham :Springer International Publishing : : 2019.,
    面頁冊數: xvi, 207 p. :ill. (some col.), digital ;24 cm.
    內容註: Full Papers -- Finding New Diamonds: Temporal Minimal-World Query Answering over Sparse ABoxes -- Reasoning on DL-Liteℛ with Defeasibility in ASP -- ODRL policy modelling and compliance checking -- Aligning, Interoperating, and Co-executing Air Traffic Control Rules Across PSOA RuleML and IDP -- An ASP-based Solution for Operating Room Scheduling with Beds Management -- EASE: Enabling Hardware Assertion Synthesis from English -- Formalizing Object-ontological Mapping Using F-logic -- Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT -- Efficient TBox Reasoning with Value Restrictions-Introducing the FLower Reasoner -- Query Rewriting for DL Ontologies under the ICAR semantics -- Technical Communication Papers -- Complementing Logical Reasoning with Sub-Symbolic Commonsense -- Adding Constraint Tables to the DMN Standard: Preliminary Results -- Detecting "Slippery Slope" and other argumentative stances of opposition using Tree Kernels in monologic discourse -- Fuzzy Logic Programming for Tuning Neural Networks -- Querying Key-Value Stores Under Single-Key Constraints: Rewriting and Parallelization.
    Contained By: Springer eBooks
    標題: Computer logic - Congresses. -
    電子資源: https://doi.org/10.1007/978-3-030-31095-0
    ISBN: 9783030310950
館藏地:  出版年:  卷號: 
館藏
  • 1 筆 • 頁數 1 •
 
W9375443 電子資源 11.線上閱覽_V 電子書 EB QA76.9.L63 R85 2019 一般使用(Normal) 在架 0
  • 1 筆 • 頁數 1 •
多媒體
評論
Export
取書館
 
 
變更密碼
登入