DECLARATIVEAI-22: DECLARATIVE AI 2022
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
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
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:30-16:00 Session 4: Answer set programming

Talks on answer set programming

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

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)
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
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
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

13:30
Knowledge Graphs: Theory, Applications and Challenges (abstract)
15:00-16:15 Session 10: Datalog

Talks on datalog

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

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)
Wednesday, September 28th

View this program: with abstractssession overviewtalk overview

10:00-10:55 Session 13: Rule Challenge III
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

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