Description |
1 online resource (xvi, 207 pages) : illustrations (some color) |
Series |
Lecture notes in computer science ; 11784 |
|
LNCS sublibrary. SL 2, programming and software engineering |
|
Lecture notes in computer science ; 11784.
|
|
LNCS sublibrary. SL 2, Programming and software engineering.
|
Contents |
Intro; Preface; Organization; Keynote Talks; The Future of Enterprise AI and Digital Decisions; Existential Rules: A Study Through Chase Termination, FO-Rewritability and Boundedness; Contents; Full Papers; Finding New Diamonds: Temporal Minimal-World Query Answering over Sparse ABoxes; 1 Introduction; 2 The Lightweight Temporal Logic TELH_[c], lhs; 2.1 A New Temporal Description Logic; 2.2 A Completion Algorithm; 3 Minimal-World Semantics for Metric Temporal Conjunctive Queries with Negation; 3.1 Minimal-World Semantics for MTNCQs; 3.2 A Combined Rewriting for MTNCQs |
|
4 Related Work and DiscussionReferences; Reasoning on DL-LiteR with Defeasibility in ASP*-10pt; 1 Introduction; 2 Preliminaries; 3 DL Knowledge Base with Justifiable Exceptions; 4 Datalog Translation for DL-LiteR DKB; 5 Complexity of Reasoning Problems; 6 Discussion and Conclusion; References; ODRL Policy Modelling and Compliance Checking; 1 Introduction; 2 Related Work; 3 Modelling Legislative Requirements and Business Policies Using ODRL; 3.1 Generalising the ODRL Information Model; 3.2 The ODRL Regulatory Compliance Profile; 4 Compliance Checking; 4.1 Institutional Action Language |
|
4.2 Data Representation4.3 Policy Representation; 4.4 Explanation Representation; 4.5 Data Transfer Example; 5 Evaluation; 6 Conclusion; References; Aligning, Interoperating, and Co-executing Air Traffic Control Rules Across PSOA RuleML and IDP; 1 Introduction; 2 Knowledge Formalization and Reasoning; 2.1 IDP and the Knowledge Base Paradigm; 2.2 PSOA RuleML for Graph-Relational Knowledge; 3 Air Traffic Control Regulations; 4 Alignment; 4.1 Common Core of the KBs; 5 Interoperation and Co-execution; 5.1 Syntactic Translation for Interoperation; 5.2 Semantics-Preserving Co-execution |
|
6 Inconsistencies Within Regulations7 Extensions of the KB; 7.1 Optimization of Landing Order; 7.2 Dependent-Slot ATC KB Version; 8 Conclusions and Future Work; References; An ASP-based Solution for Operating Room Scheduling with Beds Management; 1 Introduction; 2 Background on ASP; 3 Problem Description; 4 ASP Encoding for the Basic ORS Problem; 4.1 OR scheduling; 5 ASP Encoding for ORS with Beds Management; 5.1 OR scheduling with beds; 6 Experimental Results; 6.1 ORS Benchmarks; 6.2 Results; 7 Related Work; 8 Conclusions; References |
|
EASE: Enabling Hardware Assertion Synthesis from English1 Introduction; 2 EASE Architecture; 2.1 Dependency Grammar and Lexicon; 2.2 Clause Relationship Tree; 2.3 Syntactic-Semantic Parsing; 2.4 Suggestion Generation; 3 Evaluation; 4 Conclusion; References; Formalizing Object-Ontological Mapping Using F-logic; 1 Introduction; 1.1 Running Example; 2 Background; 2.1 SROIQ; 2.2 Integrity Constraints; 2.3 F-logic; 3 Mapping; 4 Mapping Integrity Constraints; 4.1 Integrity Constraint Semantics; 4.2 Integrity Constraint Validation; 5 Related Work; 5.1 Application Access to Ontologies |
Summary |
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. -- Provided by publisher |
Notes |
International conference proceedings |
|
Includes author index |
|
Online resource; title from PDF title page (SpringerLink, viewed September 25, 2019) |
Subject |
Computer logic -- Congresses
|
|
Computer programming -- Congresses
|
|
Software engineering -- Congresses
|
|
Logic, Symbolic and mathematical -- Congresses
|
|
Artificial intelligence -- Congresses
|
|
Artificial intelligence
|
|
Computer logic
|
|
Computer programming
|
|
Logic, Symbolic and mathematical
|
|
Software engineering
|
Genre/Form |
Electronic books
|
|
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
Form |
Electronic book
|
Author |
Fodor, Paul, editor.
|
|
Montali, Marco, editor.
|
|
Calvanese, Diego, editor.
|
|
Roman, Dumitru, editor
|
ISBN |
9783030310950 |
|
3030310957 |
|