Program

Meet and Greet at the Hilton Hotel on campus (see you at the bar)

Registration

Welcome, Program chairs

Harold Boley, Adrian Paschke, Tara Athan. The RuleML System of Families of Languages. The RuleML Knowledge-Interoperation Hub.

Revision Task Force (RTF) for DMN 1.2

Coffee break

Stefano Ferilli. Handling Complex Process Models Conditions Using First-Order Logic Rules.

Pascual Julian-Iranzo, Gines Moreno, Jaime Penabad and Carlos Vázquez. A Declarative Semantics for a Fuzzy Logic Language Managing Similarities and Truth Degrees.

Stefania Costantini and Giovanni De Gasperis. Bridge Rules for Reasoning in Component-Based Heterogeneous Environments.

Greg Harris, Anand Panangadan and Viktor Prasanna. PRIMER — A Regression-Rule Learning System for Intervention Optimization.

Lunch break

Michael Kifer, Theresa Swift and Benjamin Grosof, Tutorial, Practical Knowledge Representation and Reasoning in Ergo.

Coffee break

Daniel Gall and Thom Fruehwirth. Translation of Cognitive Models from ACT-R to Constraint Handling Rules.

Thom Fruehwirth. Why Can't You Behave? Non-Termination Analysis of Recursive Rules with Constraints.

Firas Al Khalil, Marcello Ceci, Kosala Yapa and Leona O'Brien. SBVR to OWL 2 Mapping in the Domain of Legal Rules.

Stony Brook Semantic Web meetup: RDF Nuts & Bolts http://www.meetup.com/Stony-Brook-Semantic-Web/events/230948358/

Registration (DecisionCAMP and RuleML) in the New Computer Science lobby

Dag Hovland, Davide Lanti, Martin Rezk and Guohui Xiao. OBDA Constraints for Effective Query Answering.

DecisionCAMP Welcome and Kickoff.

Alan Fish, Modeling Decision-Making Processes: Melding Process Models and Decision Models.

William Van Woensel, Patrice Roy and Syed Sibte Raza Abidi. SmartRL: A Context-Sensitive, Ontology-Based Rule Language for Assisted Living in Smart Environments.

Coffee break

Gary Hallmark, Alvin To, Oracle Decision Modeling Service.

Carl Schultz and Mehul Bhatt. Spatial Reasoning in Constraint Logic Programming based on Numerical Optimisation.

Daniel Selman, Decision Management at the Speed of Events.

Hamza Agli, Philippe Bonnard, Christophe Gonzales and Wuillemin Pierre-Henri. Business Rules Uncertainty Management with Probabilistic Relational Models.

Charles Forgy, Factors Affecting Rule Performance

Gen Zou and Harold Boley. Minimal Objectification and Maximal Unnesting in PSOA RuleML.

Jan Vanthienen, DMN: how to satisfy multiple objectives?

Melanie Swan. Blockchain Temporality: Smart Contract Time Specifiability with Blocktime.

Lunch break

Richard Waldinger, Keynote, Natural Language Access to Data: It Needs Reasoning.

Tom Debevoise, Will Thomas, Welcome to Method for Parsing Regulations into DMN

10th International Rule Challenge: Fariba Sadri. An Executable Logic-Based Model for Cutter Suction Dredging Using LPS.

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.

Igor Elbert, Jacob Feldman, Using Machine Learning, Business Rules, and Optimization for Flash Sale Pricing

10th International Rule Challenge: Harold Boley, Christoph Benzmüller, Meng Luan and Zhendong Sha. Translating Higher-Order Modal Logic from RuleML to TPTP.

Coffee break

10th International Rule Challenge: Adrian Paschke and Simon Könnecke. A RuleML - DMN Translator.

James Owen, Charles Forgy, Improving BRMS Efficiency and Performance and Using Conflict Resolution

10th International Rule Challenge: Marcello Ceci, Firas Al Khalil and Leona O'Brien. Making Sense of Regulations with SBVR.

10th International Rule Challenge: Nada Sharaf, Slim Abdennadher and Thom Fruehwirth. A Rule Based Approach to teach Mathematics using Animation.

QnA Panel "DMN from OMG, Vendor, and Practitioner Perspectives"

Joint dinner

Registration (DecisionCAMP and RuleML) in the New Computer Science lobby

Bruce Silver, Keynote, DMN as a Decision Modeling Language

Coffee break

Larry Goldberg, Solving the "Last Mile" in model based development.

Doctoral Consortium: Julia Pielmeier, Stefan Braunreuther and Gunther Reinhart. Situational Handling of Events for Industrial Production Environments.

Doctoral Consortium: Tuan Anh Pham and Nhan Le Thanh. Checking the Compliance of Business Process in Business Process Life Cycle.

10th International Rule Challenge: Jacob Feldman, What-If Analyzer for DMN-based Decision Models.

Doctoral Consortium: Mohammadreza Abbasifard. Rule Based Fragment Allocation in Distributed Database Systems.

Benjamin Grosof, Janine Bloomfield, Advanced Decision Analytics via Deep Reasoning on Diverse Data: For Health Care and More.

Lunch break

Neng-Fa Zhou, Tutorial, Programming in Picat.

Shenghui Cheng, Klaus Mueller, The Decision Boundary Map: An Interactive Visual Interface to Make Informed Decisions and Selections in the Presence of Tradeoffs.

Mark Proctor, Learning Rule Base Programming with Classic Computer Games.

Coffee break

Industry Track: James Anderson, Tara Athan and Adrian Paschke. Rules and RDF Streams.

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.

Industry Track: Adrian Paschke. On the Use of Provalets in a Predictive Maintenance Use Case.

Industry track panel chaired by Tara Athan.

RuleML Steering Committee Meeting.

Registration (RuleML)

Iliano Cervesato and Edmund Soon Lee Lam. Choreographic Compilation of Decentralized Comprehension Patterns.

George Baryannis, Przemyslaw Woznowski and Grigoris Antoniou. Rule-based Real-time ADL Recognition in a Smart Home Environment.

Coffee break

Ho-Pun Lam, Mustafa Hashmi and Brendan Scofield. Enabling Reasoning with LegalRuleML.

Nunziato Cassavia, Elio Masciari, Chiara Pulice and Domenico Sacca. A Framework enhancing the User Search Activity through Data Posting.

Florian Idelberger, Guido Governatori, Regis Riveret and Giovanni Sartor. On Logic Smart Contracts and Blockchain Systems.

Lunch break

Olivier Wang, Leo Liberti, Claudia D'Ambrosio, Christian De Sainte Marie and Changhai Ke. Controlling the average behaviour of business rules programs.

William Marino. Setting Standards For Altering And Undoing Smart Contracts.

Awards and Closing

Sat, July 9, 2016, 2:30pm – 2:45pm