Program

Dates: Wednesday, July 6 – Saturday, July 9, 2016

Tuesday, July 5, 2016
6:00pm
 Meet and Greet at the Hilton Hotel on campus (see you at the bar)
Wednesday, July 6, 2016
8:30am
 Registration
9:00am
 Welcome, Program chairs
9:15am
 Harold Boley, Adrian Paschke, Tara Athan. The RuleML System of Families of Languages. The RuleML Knowledge-Interoperation Hub.
10:00am
 Revision Task Force (RTF) for DMN 1.2
10:00am
 Coffee break
10:30am
 Stefano Ferilli. Handling Complex Process Models Conditions Using First-Order Logic Rules.
11:00am
 Pascual Julian-Iranzo, Gines Moreno, Jaime Penabad and Carlos Vázquez. A Declarative Semantics for a Fuzzy Logic Language Managing Similarities and Truth Degrees.
11:30am
 Stefania Costantini and Giovanni De Gasperis. Bridge Rules for Reasoning in Component-Based Heterogeneous Environments.
12:00pm
 Greg Harris, Anand Panangadan and Viktor Prasanna. PRIMER — A Regression-Rule Learning System for Intervention Optimization.
12:30pm
 Lunch break
2:00pm
 Michael Kifer, Theresa Swift and Benjamin Grosof, Tutorial, Practical Knowledge Representation and Reasoning in Ergo.
4:00pm
 Coffee break
4:30pm
 Daniel Gall and Thom Fruehwirth. Translation of Cognitive Models from ACT-R to Constraint Handling Rules.
5:00pm
 Thom Fruehwirth. Why Can't You Behave? Non-Termination Analysis of Recursive Rules with Constraints.
5:30pm
 Firas Al Khalil, Marcello Ceci, Kosala Yapa and Leona O'Brien. SBVR to OWL 2 Mapping in the Domain of Legal Rules.
6:00pm
 Stony Brook Semantic Web meetup: RDF Nuts & Bolts http://www.meetup.com/Stony-Brook-Semantic-Web/events/230948358/
Thursday, July 7, 2016
8:30am
 Registration (DecisionCAMP and RuleML) in the New Computer Science lobby
9:00am
 Dag Hovland, Davide Lanti, Martin Rezk and Guohui Xiao. OBDA Constraints for Effective Query Answering.
9:00am
 DecisionCAMP Welcome and Kickoff.
9:15am
 Alan Fish, Modeling Decision-Making Processes: Melding Process Models and Decision Models.
9:30am
 William Van Woensel, Patrice Roy and Syed Sibte Raza Abidi. SmartRL: A Context-Sensitive, Ontology-Based Rule Language for Assisted Living in Smart Environments.
10:00am
 Coffee break
10:15am
 Gary Hallmark, Alvin To, Oracle Decision Modeling Service.
10:30am
 Carl Schultz and Mehul Bhatt. Spatial Reasoning in Constraint Logic Programming based on Numerical Optimisation.
10:50am
 Daniel Selman, Decision Management at the Speed of Events.
11:00am
 Hamza Agli, Philippe Bonnard, Christophe Gonzales and Wuillemin Pierre-Henri. Business Rules Uncertainty Management with Probabilistic Relational Models.
11:25am
 Charles Forgy, Factors Affecting Rule Performance
11:30am
 Gen Zou and Harold Boley. Minimal Objectification and Maximal Unnesting in PSOA RuleML.
12:00pm
 Jan Vanthienen, DMN: how to satisfy multiple objectives?
12:00pm
 Melanie Swan. Blockchain Temporality: Smart Contract Time Specifiability with Blocktime.
12:35pm
 Lunch break
2:00pm
 Richard Waldinger, Keynote, Natural Language Access to Data: It Needs Reasoning.
3:00pm
 Tom Debevoise, Will Thomas, Welcome to Method for Parsing Regulations into DMN
3:00pm
 10th International Rule Challenge: Fariba Sadri. An Executable Logic-Based Model for Cutter Suction Dredging Using LPS.
3:20pm
 10th International Rule Challenge: Ingmar Dasseville, Laurent Janssens, Gerda Janssens, Jan Vanthienen and Marc Denecker. Combining DMN and the Knowledge Base Paradigm for Flexible Decision Enactment.
3:35pm
 Igor Elbert, Jacob Feldman, Using Machine Learning, Business Rules, and Optimization for Flash Sale Pricing
3:40pm
 10th International Rule Challenge: Harold Boley, Christoph Benzmüller, Meng Luan and Zhendong Sha. Translating Higher-Order Modal Logic from RuleML to TPTP.
4:10pm
 Coffee break
4:20pm
 10th International Rule Challenge: Adrian Paschke and Simon Könnecke. A RuleML - DMN Translator.
4:25pm
 James Owen, Charles Forgy, Improving BRMS Efficiency and Performance and Using Conflict Resolution
4:40pm
 10th International Rule Challenge: Marcello Ceci, Firas Al Khalil and Leona O'Brien. Making Sense of Regulations with SBVR.
5:00pm
 10th International Rule Challenge: Nada Sharaf, Slim Abdennadher and Thom Fruehwirth. A Rule Based Approach to teach Mathematics using Animation.
5:30pm
 QnA Panel "DMN from OMG, Vendor, and Practitioner Perspectives"
7:00pm
 Joint dinner
Friday, July 8, 2016
8:30am
 Registration (DecisionCAMP and RuleML) in the New Computer Science lobby
9:00am
 Bruce Silver, Keynote, DMN as a Decision Modeling Language
10:00am
 Coffee break
10:15am
 Larry Goldberg, Solving the "Last Mile" in model based development.
10:30am
 Doctoral Consortium: Julia Pielmeier, Stefan Braunreuther and Gunther Reinhart. Situational Handling of Events for Industrial Production Environments.
10:45am
 Doctoral Consortium: Tuan Anh Pham and Nhan Le Thanh. Checking the Compliance of Business Process in Business Process Life Cycle.
10:50am
 10th International Rule Challenge: Jacob Feldman, What-If Analyzer for DMN-based Decision Models.
11:00am
 Doctoral Consortium: Mohammadreza Abbasifard. Rule Based Fragment Allocation in Distributed Database Systems.
11:25am
 Benjamin Grosof, Janine Bloomfield, Advanced Decision Analytics via Deep Reasoning on Diverse Data: For Health Care and More.
12:35pm
 Lunch break
2:00pm
 Neng-Fa Zhou, Tutorial, Programming in Picat.
3:00pm
 Shenghui Cheng, Klaus Mueller, The Decision Boundary Map: An Interactive Visual Interface to Make Informed Decisions and Selections in the Presence of Tradeoffs.
3:35pm
 Mark Proctor, Learning Rule Base Programming with Classic Computer Games.
4:10pm
 Coffee break
4:30pm
 Industry Track: James Anderson, Tara Athan and Adrian Paschke. Rules and RDF Streams.
4:50pm
 Industry Track: Doerthe Arndt, Joachim Van Herwegen, Ruben Verborgh, Erik Mannens and Rik Van de Walle. Using rules to generate and execute workflows in smart factories.
5:10pm
 Industry Track: Adrian Paschke. On the Use of Provalets in a Predictive Maintenance Use Case.
5:30pm
 Industry track panel chaired by Tara Athan.
6:00pm
 RuleML Steering Committee Meeting.
Saturday, July 9, 2016
8:30am
 Registration (RuleML)
9:00am
 Iliano Cervesato and Edmund Soon Lee Lam. Choreographic Compilation of Decentralized Comprehension Patterns.
9:30am
 George Baryannis, Przemyslaw Woznowski and Grigoris Antoniou. Rule-based Real-time ADL Recognition in a Smart Home Environment.
10:00am
 Coffee break
10:30am
 Ho-Pun Lam, Mustafa Hashmi and Brendan Scofield. Enabling Reasoning with LegalRuleML.
11:00am
 Nunziato Cassavia, Elio Masciari, Chiara Pulice and Domenico Sacca. A Framework enhancing the User Search Activity through Data Posting.
11:30am
 Florian Idelberger, Guido Governatori, Regis Riveret and Giovanni Sartor. On Logic Smart Contracts and Blockchain Systems.
12:00pm
 Lunch break
1:30pm
 Olivier Wang, Leo Liberti, Claudia D'Ambrosio, Christian De Sainte Marie and Changhai Ke. Controlling the average behaviour of business rules programs.
2:00pm
 William Marino. Setting Standards For Altering And Undoing Smart Contracts.
2:30pm
 Awards and Closing
WhenSat, July 9, 2016, 2:30pm – 2:45pm

Comments