Rules and reasoning : third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16-19, 2019, Proceedings /: third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16-19, 2019, Proceedings. (2019)

• Record Type: Book
• Other Titles: RuleML+RR 2019
• Further Information: Note: Paul Fodor, Marco Montali, Diego Calvanese, Dumitru Roman (eds.).
• Editors: Fodor, Paul; Montali, Marco; Calvanese, Diego; Roman, Dumitru
• Other Names: RuleML+RR (Joint Conference), 3rd
• Contents: 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.
• Publisher Details: Cham, Switzerland : Springer
• Publication Date: 2019
• Extent: 1 online resource (xvi, 207 pages), illustrations (some color)
• Subjects: 005.101/5113; Computer logic -- Congresses; Computer programming -- Congresses; Software engineering -- Congresses; Logic, Symbolic and mathematical -- Congresses; Artificial intelligence -- Congresses; Electronic books
• Languages: English
• ISBNs: 9783030310950; 3030310957
• Related ISBNs: 9783030310943
• Notes: Note: Online resource; title from PDF title page (SpringerLink, viewed September 25, 2019).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.