LEADER 01694nas 2200529Ia 450 001 9910897240003321 005 20210825082330.0 035 $a(CaOOCRKN)8_06985 035 $a(CKB)4920000003152162 035 $a(EXLCZ)994920000003152162 100 $a20190208b191919uu uy a 101 0 $aeng 135 $aurgn|||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 04$aThe Soviet 210 1$aEdmonton, Alta. :$c[Published by Edmonton Local No. 1, Socialist Party of Canada],$d[1919-19--] 215 $a1 online resource 225 0 $aCIHM/ICMH Digital series = CIHM/ICMH collection nume?rise?e $v8_06985 300 $a"Devoted to the Interests of the Working Class." 300 $aPublisher from issue for July 5, 1919. 300 $aIssues reproduced: Feb. 7, 1919-Aug. 15, 1919. 606 $aLabor unions$zCanada$vPeriodicals. 606 $aSocialism$zCanada$vPeriodicals. 606 $aCommunism$zCanada$vPeriodicals 606 $aWorking class$vPeriodicals 606 $aSyndicats$zCanada$vPe?riodiques 606 $aSocialisme$zCanada$vPe?riodiques 606 $aCommunisme$zCanada$vPe?riodiques. 606 $aTravailleurs$vPe?riodiques 615 0$aLabor unions 615 0$aSocialism 615 0$aCommunism 615 0$aWorking class 615 6$aSyndicats 615 6$aSocialisme 615 6$aCommunisme 615 6$aTravailleurs 712 02$aSocialist Party of Canada.$bEdmonton Local No. 1$4isb 801 0$bCaOOCIHM 801 1$bCaOOCIHM 801 2$bCaOOCRKN 906 $aJOURNAL 912 $a9910897240003321 996 $aThe Soviet$94229009 997 $aUNINA LEADER 04338nam 22007095 450 001 9910349281103321 005 20250825210156.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 $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,$x2945-9168 ;$v11784 311 08$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,$x2945-9168 ;$v11784 606 $aMachine theory 606 $aArtificial intelligence 606 $aComputer science 606 $aInformation technology$xManagement 606 $aSoftware engineering 606 $aFormal Languages and Automata Theory 606 $aArtificial Intelligence 606 $aComputer Science Logic and Foundations of Programming 606 $aComputer Application in Administrative Data Processing 606 $aSoftware Engineering 615 0$aMachine theory. 615 0$aArtificial intelligence. 615 0$aComputer science. 615 0$aInformation technology$xManagement. 615 0$aSoftware engineering. 615 14$aFormal Languages and Automata Theory. 615 24$aArtificial Intelligence. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aComputer Application in Administrative Data Processing. 615 24$aSoftware Engineering. 676 $a005.1015113 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 $a9910349281103321 996 $aRules and Reasoning$92585543 997 $aUNINA