000 04294nam a22006255i 4500
001 978-3-030-31095-0
003 DE-He213
005 20240730173501.0
007 cr nn 008mamaa
008 190913s2019 sz | s |||| 0|eng d
020 _a9783030310950
_9978-3-030-31095-0
024 7 _a10.1007/978-3-030-31095-0
_2doi
050 4 _aQA267-268.5
072 7 _aUYA
_2bicssc
072 7 _aCOM014000
_2bisacsh
072 7 _aUYA
_2thema
082 0 4 _a005.131
_223
245 1 0 _aRules and Reasoning
_h[electronic resource] :
_bThird International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16-19, 2019, Proceedings /
_cedited by Paul Fodor, Marco Montali, Diego Calvanese, Dumitru Roman.
250 _a1st ed. 2019.
264 1 _aCham :
_bSpringer International Publishing :
_bImprint: Springer,
_c2019.
300 _aXVI, 207 p. 284 illus., 18 illus. in color.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aProgramming and Software Engineering,
_x2945-9168 ;
_v11784
505 0 _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.
520 _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.
650 0 _aMachine theory.
_9108461
650 0 _aArtificial intelligence.
_93407
650 0 _aComputer science.
_99832
650 0 _aInformation technology
_xManagement.
_95368
650 0 _aSoftware engineering.
_94138
650 1 4 _aFormal Languages and Automata Theory.
_9108462
650 2 4 _aArtificial Intelligence.
_93407
650 2 4 _aComputer Science Logic and Foundations of Programming.
_942203
650 2 4 _aComputer Application in Administrative Data Processing.
_931588
650 2 4 _aSoftware Engineering.
_94138
700 1 _aFodor, Paul.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9108463
700 1 _aMontali, Marco.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9108464
700 1 _aCalvanese, Diego.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9108465
700 1 _aRoman, Dumitru.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9108466
710 2 _aSpringerLink (Online service)
_9108467
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783030310943
776 0 8 _iPrinted edition:
_z9783030310967
830 0 _aProgramming and Software Engineering,
_x2945-9168 ;
_v11784
_9108468
856 4 0 _uhttps://doi.org/10.1007/978-3-030-31095-0
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c88944
_d88944