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 RuleML |
Program
Dates: Wednesday, July 6 – Saturday, July 9, 2016 Tuesday, July 5, 2016 6:00pm Wednesday, July 6, 2016 8:30am 9:00am 9:15am 10:00am 10:00am 10:30am 11:00am 11:30am 12:00pm 12:30pm 2:00pm 4:00pm 4:30pm 5:00pm 5:30pm 6:00pm Thursday, July 7, 2016 8:30am 9:00am 9:00am 9:15am 9:30am 10:00am 10:15am 10:30am 10:50am 11:00am 11:25am 11:30am 12:00pm 12:00pm 12:35pm 2:00pm 3:00pm 3:00pm 3:20pm 3:35pm 3:40pm 4:10pm 4:20pm 4:25pm 4:40pm 5:00pm 5:30pm 7:00pm Friday, July 8, 2016 8:30am 9:00am 10:00am 10:15am 10:30am 10:45am 10:50am 11:00am 11:25am 12:35pm 2:00pm 3:00pm 3:35pm 4:10pm 4:30pm 4:50pm 5:10pm 5:30pm 6:00pm Saturday, July 9, 2016 8:30am 9:00am 9:30am 10:00am 10:30am 11:00am 11:30am 12:00pm 1:30pm 2:00pm 2:30pm WhenSat, July 9, 2016, 2:30pm – 2:45pm |