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
|