Rules and Reasoning Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16-19, 2019, Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Fodor, Paul (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Montali, Marco (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Calvanese, Diego (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Roman, Dumitru (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2019.
• Έκδοση: 1st ed. 2019.
• Σειρά: Programming and Software Engineering ; 11784
• Θέματα: Mathematical 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.

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" (Internati...

Πίνακας περιεχομένων:

• 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.