PROGRAM
Days: Monday, September 26th Tuesday, September 27th Wednesday, September 28th
Monday, September 26th
View this program: with abstractssession overviewtalk overview
10:00-11:00 Session 1: Rule Challenge I
Chair:
| 10:00 | Opening of Rule Challenge |
| 10:10 | Extending the ArgQL Specification (abstract) |
| 10:35 | Rule-Based Data Access: A use-case in Agroecology (abstract) |
11:15-12:15 Session 2: Doctoral Consortium I
Chair:
| 11:15 | Opening of Doctoral Consortium |
| 11:25 | Declarative Smart Contract Testing by Domain Experts (abstract) |
| 11:50 | On the semantics of "null" in DMN: Undefined is not unknown (abstract) |
14:00-14:30 Session 3: Opening of Declarative AI and RuleML+RR
RuleML+RR Opening
| 14:00 | Opening of Declarative AI and RuleML+RR |
14:30-16:00 Session 4: Answer set programming
Talks on answer set programming
Chair:
| 14:30 | Applying Answer Set Optimization to Preventive Maintenance Scheduling for Rotating Machinery (abstract) |
| 14:55 | On the generalization of learnt constraints in ASP solving for temporal domains (abstract) |
| 15:20 | The I-DLV-sr system for Stream Reasoning in Smart City Applications (abstract) |
| 15:45 | plingo: A system for probabilistic reasoning in clingo based on lpmln (Harold Boley best system description) (abstract) |
16:30-17:45 Session 5: Foundations of nonmonotonic reasoning
Talks on foundations of nonmonotonic reasoning
Chair:
| 16:30 | From Defeasible Logic to Counterfactual Reasoning (abstract) |
| 16:55 | KLM-Style Defeasibility for Restricted First-Order Logic (abstract) |
| 17:20 | Semantic Characterizations of AGM Revision for Arbitrary Tarskian Logics (Best student paper) (abstract) |
18:00-19:00 Session 6: Keynote (joint with DecisionCamp)
Chair:
| 18:00 | The Evolution of Decisioning in IT, and What Happens Next (abstract) |
Tuesday, September 27th
View this program: with abstractssession overviewtalk overview
10:00-10:55 Session 7: Rule Challenge II
Chair:
| 10:00 | Expressing Biological Problems with Logical Reasoning Languages (abstract) |
| 10:25 | Modeling a GDPR Compliant Data Wallet Application in Prova and AspectOWL (abstract) |
11:10-12:00 Session 8: Doctoral Consortium II
Chair:
| 11:10 | Robust Traffic Rules and Knowledge Representation for Conflict Resolution in Autonomous Driving (abstract) |
| 11:35 | Validation of Autonomous Vehicle Overtaking under Queensland Road Rules (abstract) |
13:30-14:30 Session 9: Keynote
Keynote
Chair:
| 13:30 | Knowledge Graphs: Theory, Applications and Challenges (abstract) |
15:00-16:15 Session 10: Datalog
Talks on datalog
Chair:
| 15:00 | iWarded: A Versatile Generator to Benchmark Warded Datalog+/- Reasoning (abstract) |
| 15:25 | The Temporal Vadalog System (abstract) |
| 15:50 | An Existential Rule Framework for Computing Why-Provenance On-Demand for Datalog (abstract) |
16:30-17:35 Session 11: Queries over ontologies
Talks on queries over ontologies
Chair:
| 16:30 | Explaining Ontology-Mediated Query Answers using Proofs over Universal Models (abstract) |
| 16:55 | Seminaive Materialisation in DatalogMTL (abstract) |
| 17:20 | Magic Sets in Interpolation-based Rule Driven Query Optimization (abstract) |
18:00-19:00 Session 12: Keynote (joint with DecisionCamp)
Chair:
| 18:00 | Neuro-Symbolic AI and Decision Rules (abstract) |
Wednesday, September 28th
View this program: with abstractssession overviewtalk overview
10:00-10:55 Session 13: Rule Challenge III
Chair:
| 10:00 | High-Utility Action Rules Mining (abstract) |
| 10:25 | RUBEN: A Rule Engine Benchmarking Framework (abstract) |
15:00-16:15 Session 16: Proofs, error-tolerance, and rules
Talks on proofs, error-tolerance, and rules
Chair:
| 15:00 | In the Head of the Beholder: Comparing Different Proof Representations (Best paper) (abstract) |
| 15:25 | Error-Tolerant Reasoning in the Description Logic EL Based on Optimal Repairs (abstract) |
| 15:50 | Bridging between LegalRuleML and TPTP for Automated Normative Reasoning (abstract) |
16:30-17:35 Session 17: Agents and Argumentation
Talks on agents and argumentation
Chair:
| 16:30 | A Rule-Based Behaviour Planner for Autonomous Driving (abstract) |
| 16:55 | Cooperation among groups of agents in the epistemic logic L-DINF (abstract) |
| 17:20 | Prudens: An Argumentation-Based Language for Cognitive Assistants (abstract) |
17:35-18:00 Session 18: Closing
Closing of the conference