LEADER 04685nam 22006975 450 001 996466309403316 005 20200704164032.0 010 $a3-030-31095-7 024 7 $a10.1007/978-3-030-31095-0 035 $a(CKB)4100000009273700 035 $a(DE-He213)978-3-030-31095-0 035 $a(MiAaPQ)EBC5925535 035 $a(PPN)255469209 035 $a(EXLCZ)994100000009273700 100 $a20190913d2019 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aRules and Reasoning$b[electronic resource] $eThird International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16?19, 2019, Proceedings /$fedited by Paul Fodor, Marco Montali, Diego Calvanese, Dumitru Roman 205 $a1st ed. 2019. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2019. 215 $a1 online resource (XVI, 207 p. 284 illus., 18 illus. in color.) 225 1 $aProgramming and Software Engineering ;$v11784 311 $a3-030-31094-9 327 $aFull 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 ??ower 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. 330 $aThis book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2019, held in Bolzano, Italy, during September 2019. This is the third 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 10 full research papers presented together with 5 short technical communications papers were carefully reviewed and selected from 26 submissions. 410 0$aProgramming and Software Engineering ;$v11784 606 $aMathematical logic 606 $aArtificial intelligence 606 $aComputer logic 606 $aApplication software 606 $aSoftware engineering 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aComputer Appl. in Administrative Data Processing$3https://scigraph.springernature.com/ontologies/product-market-codes/I2301X 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 615 0$aMathematical logic. 615 0$aArtificial intelligence. 615 0$aComputer logic. 615 0$aApplication software. 615 0$aSoftware engineering. 615 14$aMathematical Logic and Formal Languages. 615 24$aArtificial Intelligence. 615 24$aLogics and Meanings of Programs. 615 24$aComputer Appl. in Administrative Data Processing. 615 24$aSoftware Engineering/Programming and Operating Systems. 676 $a005.1015113 702 $aFodor$b Paul$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMontali$b Marco$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aCalvanese$b Diego$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aRoman$b Dumitru$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996466309403316 996 $aRules and Reasoning$92585543 997 $aUNISA