04688nam 22007095 450 991034928110332120200704164032.03-030-31095-710.1007/978-3-030-31095-0(CKB)4100000009273700(DE-He213)978-3-030-31095-0(MiAaPQ)EBC5925535(PPN)255469209(EXLCZ)99410000000927370020190913d2019 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierRules and Reasoning Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 2019, Proceedings /edited by Paul Fodor, Marco Montali, Diego Calvanese, Dumitru Roman1st ed. 2019.Cham :Springer International Publishing :Imprint: Springer,2019.1 online resource (XVI, 207 p. 284 illus., 18 illus. in color.) Programming and Software Engineering ;117843-030-31094-9 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 ℱℒ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.This 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.Programming and Software Engineering ;11784Mathematical logicArtificial intelligenceComputer logicApplication softwareSoftware engineeringMathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Artificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XComputer Appl. in Administrative Data Processinghttps://scigraph.springernature.com/ontologies/product-market-codes/I2301XSoftware Engineering/Programming and Operating Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I14002Mathematical logic.Artificial intelligence.Computer logic.Application software.Software engineering.Mathematical Logic and Formal Languages.Artificial Intelligence.Logics and Meanings of Programs.Computer Appl. in Administrative Data Processing.Software Engineering/Programming and Operating Systems.005.1015113005.1015113Fodor Pauledthttp://id.loc.gov/vocabulary/relators/edtMontali Marcoedthttp://id.loc.gov/vocabulary/relators/edtCalvanese Diegoedthttp://id.loc.gov/vocabulary/relators/edtRoman Dumitruedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910349281103321Rules and Reasoning2585543UNINA