All days
Tuesday
Wednesday
Thursday
Friday
Saturday
| Tuesday July 11, 2017 | |||
|---|---|---|---|
|
3PM - 9PM
|
Registration and Meet & Greet (Wine & Nibbles)
|
||
| Wednesday July 12, 2017 | |||
|---|---|---|---|
|
8:45AM - 9AM
|
Official opening
|
||
|
9AM - 10AM
|
|||
|
10AM - 10:30AM
|
On the Chase for All Provenance Paths With Existential Rules
|
||
|
10:30AM - 11AM
|
Semantic DMN: Formalizing Decision Models with Domain Knowledge
|
||
|
11AM - 11:30AM
|
|||
|
11:30AM - 12PM
|
Three Methods for Revising Hybrid Knowledge Bases
|
||
|
12PM - 12:30PM
|
Using Rule Based Reasoning for RDF Validation
|
||
|
12:30PM - 1PM
|
Verifying Controllability of Time-Aware Business Processes
|
||
|
1PM - 2PM
|
|||
|
2PM - 3:45PM
|
2:15PM - 3:45PM
|
||
|
3:45PM - 4:15PM
|
|||
|
4:15PM - 6PM
|
4:15PM - 5:45PM
|
||
|
6PM - 7PM
MAL 256
|
RRA Steering Committee
|
6PM - 7PM
|
RuleML Steering Committee
|
| Thursday July 13, 2017 | |||
|---|---|---|---|
|
9AM - 10:30AM
|
|||
|
10:30AM - 11AM
|
|||
|
11AM - 12:30PM
|
11AM - 12:30PM
|
||
|
12:30PM - 2PM
|
|||
|
2PM - 3PM
|
|||
|
3PM - 3:30PM
|
Rewriting Queries with Negated Atoms
|
||
|
3:30PM - 4PM
|
|||
|
4PM - 4:30PM
|
A set-theoretic approach to ABox reasoning services
|
||
|
4:30PM - 5PM
|
Inconsistency-tolerant Instance Checking in Tractable Description Logics
|
||
|
5PM - 5:30PM
|
Fast ABox Consistency Checking using Incomplete Reasoning and Caching
|
||
|
7PM - 11PM
|
Dinner (followed by a talk from Bob Kowalski: Logic and AI – The Last 50 Years)
(please arrive by 6:30PM or earlier) |
||
| Friday July 14, 2017 | |||
|---|---|---|---|
|
9AM - 10AM
|
|||
|
10AM - 10:30AM
|
|||
|
10:30AM - 10:45AM
|
From Standards and Regulations to Executable Rules: A Case Study in the Building Accessibility Domain
|
||
|
10:45AM - 11AM
|
Rule-based Reasoning in Semantic Text Analysis
|
||
|
11AM - 11:15AM
|
Using rules for assessing and improving data quality: A case study for the Norwegian State of Estate report
|
||
|
11:15AM - 11:30AM
|
The Effectiveness of DMN for Cross Vendor Interoperability
|
||
|
11:30AM - 12PM
|
A Decidable Confluence Test for Cognitive Models in ACT-R
|
||
|
12PM - 12:30PM
|
(Best DC paper) ArgQL: A Declarative Language for Querying Argumentative Dialogues
|
||
|
12:30PM - 2PM
|
(Doctoral Consortium: lunch with mentors)
|
||
|
2PM - 2:15PM
|
Event Detection and Diagnosis for Intelligent Transport Systems
|
||
|
2:15PM - 2:30PM
|
Mining, Representation and Reasoning with Temporal Expressions in the Legal Domain
|
||
|
2:30PM - 2:45PM
|
Semantic Web of Things for Industry 4.0
|
||
|
2:45PM - 3PM
|
Deception-aware pragmatic inference
|
||
|
3PM - 3:15PM
|
Towards scalable ontological reasoning using machine learning
|
||
|
3:15PM - 3:30PM
|
Poster teasers
|
||
|
3:30PM - 4:30PM
|
Poster session
|
||
|
4:30PM - 5:10PM
|
(Invited) Concurrent Multi-tasking Robotic Agent Programming in TeleoR
|
||
|
5:10PM - 5:35PM
|
Port Clearance Rules in PSOA RuleML: From Controlled-English Regulation to Object-Relational Logic
|
||
|
5:35PM - 6PM
|
Development of the rule based approach to traffic management by the Dutch road authorities
|
||
|
6PM - 7PM
|
RuleML and RR Joint Committee
|
||
| Saturday July 15, 2017 | |||
|---|---|---|---|
|
9AM - 10AM
|
|||
|
10AM - 10:30AM
|
An Online Tool for Tuning Fuzzy Logic Programs
|
||
|
10:30AM - 11AM
|
|||
|
11AM - 11:30AM
|
Can My Test Case Run on Your Test Plant? A Logic-Based Compliance Check and its Evaluation on Real Data
|
||
|
11:30AM - 12PM
|
Hybrid ASP-based Approach to Pattern Mining
|
||
|
12PM - 12:30PM
|
Dischargeable Obligations in Abductive Logic Programming
|
||
|
12:30PM - 2PM
|
|||
|
2PM - 2:30PM
|
Representing, Querying, and Visualizing Health-Insurance Knowledge in a Cost-Sharing Estimator
|
||
|
2:30PM - 3PM
|
Managing Diabetes: counselling supported by user data in a mobile platform
|
||
|
3PM - 3:30PM
|
Outlier (Anomaly) Detection Modelling in PMML
|
||
|
3:30PM - 3:45PM
|
|||
|
3:45PM - 4:30PM
|
Standards session: PSOA RuleML 1.0, LegalRuleML
slides |
||
|
4:30PM - 5PM
|
Prizes and Closing Session
|
||