RuleML and DecisionCamp 2016 Call for Participation

April 29, 2016 11:50:25 AM
New Computer Science Department,
Computer Science Building, Engineering Dr, Stony Brook,
11794 New York
From Jul 6, 2016 8:00 AM
To Jul 9, 2016 8:00 PM
(More than 5 hours to end)
10th International Web Rule Symposium (RuleML) 2016
Dates: Wednesday, July 6 – Saturday, July 9, 2016
DecisionCamp 2016
Dates: Thursday, July 7, 2016

Early registration deadline: May 31, 2016

10th International Rule Challenge 2016

The RuleML 2016 Challenge is one of the highlights at RuleML 2016 conference which seeks to provide a competition among innovative rule-oriented applications, aimed at both the research and industrial side.

High quality, original papers, potentially referencing online material, and ranging between 5-15 pages can be submitted at: ("10th International Rule Challenge" track).

Paper Submission: June 1st, 2016


The program of includes:

  • Four invited talks (
    • Natural Language Access to Data: It Needs Reasoning, Richard Waldinger, SRI International
    • DMN as a Decision Modeling Language, Bruce Silver, Bruce Silver Associates
    • Programming in Picat, Neng-Fa Zhou, City University of New York
    • Practical Knowledge Representation and Reasoning in Ergo, Michael Kifer, Theresa Swift and Benjamin Grosof, Coherent Knowledge Systems
  • Doctoral Consortium:
  • LegalRuleML OASIS TC Meeting
  • Early Registration
    • RuleML - Regular: $250
    • RuleML - Student: $100
    • DecisionCAMP only: $75

Paul Fodor, Jose Julio Alferes, Leopoldo Bertossi, Guido Governatori and Jacob Feldman
RuleML2016 and DecisionCamp2016 PC Chairs

Theory and Practice of Logic Programming Special Issue 03 is now published

April 6, 2016 2:14 PM
The Theory and Practice of Logic Programming, Volume 16, Issue 03, May 2016 is a special number devoted to extended best papers of the International Web Rule Symposia (#RuleML) 2012–2014.

Volume Content

  • Introduction to the special issue on the International Web Rule Symposia 2012–2014
    doi: 10.1017/S1471068416000028
  • Solving stable matching problems using answer set programming
    doi: 10.1017/S147106841600003X
  • Programming in logic without logic programming
    doi: 10.1017/S1471068416000041,
  • The rationale behind the concept of goal
    doi: 10.1017/S1471068416000053
  • An event calculus production rule system for reasoning in dynamic and uncertain domains
    doi: 10.1017/S1471068416000065
  • Using linear constraints for logic program termination analysis
    doi: 10.1017/S1471068416000077

RuleML2016: Industry Track Call for Papers

March 31, 2016 4:51 PM
Submit to the Industry track: Business Cases and Technologies for Rules in Industry: State of Practice, Challenges, and Opportunities

With the increased importance of big data for improving operational performance in all sectors of industry, the role of rule technologies has become ever more manifest (and even critical). Indeed, if Data assets have been recognized as the "new oil", then Rule technologies should be introduced for the most important processing steps in generating value from data. For example, event-condition rules enable the detection of an anomaly state in the process execution by processing huge streams of sensor data. However, not only the creation and execution of such rules, but also their maintenance and refinement require a systematic approach, provided usually through rule management methodologies and systems. On the other hand the industry is still not completely aware of the importance of such approaches for an efficient utilization of rules in the era of big data. Therefore, there is a need for industry to share, exploit, and learn about the use of rules and rule technologies for solving real life business problems. The proposed industry track aims to be a forum for all sectors of industry (and the corresponding public sectors) to address such needs.

Incentives for industry participation in this track include:

  • Present your results / solutions for use of rule technologies in business settings
  • Learn about new trends in rule technologies, and how they can be used to address business problems
  • Exchange experiences about business cases and use of rules
  • Compete for a RuleML award for best business case for use of rules technologies

Why at RuleML?

The International Web Rule Symposium (RuleML) has been a leading international conference on research, applications, languages and standards for rule technologies. During the past 8 years it has built bridges between academia and industry in the field of rules and its applications, especially as part of the semantic technology stack.
See further details at

SubTracks and Topics (not limited to):

Position Papers
  • Needs for Research & Development
  • Proposals for Joint (Industry/Academia) Efforts
Progress Reports
  • Progress in Research & Development from Industry
  • Lessons Learned (Unsuccessful efforts that still provide insight)
Research Contributions
  • Original Contributions in Rule-related fields

RuleML Industry track dates:

Paper Submission:June 1, 2016
Author NotificationJune 13, 2016
Camera ReadyJune 19, 2016
Conference:6-9 July, 2016

Industry Track Submissions

The track seeks two types of submissions in LNCS format:
  • Extended abstracts of up to 2 pages
  • Short papers of up to 8 pages

The papers can be submitted at: (please enter the track name, Industry, as the first line in the keywords section and one subtrack Position Paper, Proposal, Progress Report, Full Report).

Submissions must follow the following structure:

Position Papers or Proposals (Business Case, Technological Challenges, Rule-based Options)
Progress Reports (Business Case, Technological Challenges, Rule-based Approach, Status)
Full Reports (Business Case, Technological Challenges, Rule-based Solution, Results, Importance and Impact)

  • Business Case - explain the business case and the value proposition
  • Technological Challenges - explaining why the business case is difficult to be solved by using traditional technologies
  • Rule-based Options/Approach/Solution - technical details, esp. the usage of rules
  • Status/Results - the status/benefits of the approach/solution
  • Importance and impact - describe the importance of the solution for business/technology

The submissions will be peer-reviewed. Accepted industry papers will be published in the RuleML CEUR proceedings.

Besides presenting their business case papers, authors of industry track papers, among others, will be invited to participate in a panel related to the use of rules and rule technologies in business cases.

Approaches and Applications of Inductive Programming

March 24, 2016 11:11 AM
Researchers interested in the automated induction of logic or functionals programs from examples or other kinds of incomplete specifications met in the last week of October 2015 for the Dagstuhl Seminar "Approaches and Applications of Inductive Programming".

The seminar was organized by Jose Hernandez-Orallo (Technical University of Valencia, ES), Stephen H. Muggleton (Imperial College London, GB), Ute Schmid (Universität Bamberg, DE), and Benjamin Zorn (Microsoft Research,  Redmond, US).

This was the 6th AAIP meeting which was previously co-located as workshop with ICML 2005, ECML 2007, ICFP 2009, PPDP/LOPSTR 2011 and was continued as a Dagstuhl Seminar in 2013.

The presentations covered several aspects of inductive programming, especially:

  • General techniques,
  • Languages and systems for inductive logic and inductive functional programming,
  • End-user programming, programming by example and applications,
  • Program synthesis and transformation, and
  • Cognitive aspects of induction.

The program was accompanied by system tutorials and demos for Metagol, MagicHaskeller, Igor, Flip, FlashMeta SDK, and Sketch. Abstracts of all presentations and of outcomes of several working groups are collected in the Dagstuhl Report (DOI:10.4230/DagRep.5.10.89). A description of current methods in inductive programming is given in the Communication of the ACM publication Inductive Programming Meets the Real World. The website provides additional information and material. 

25. – 30. Oktober 2015, Dagstuhl Seminar 15442

RuleML2016: Best Papers at TPLP,IJCAI-16, Keynote, Tutorials and New Sponsor

March 8, 2016 1:36 PM
Paper submission date extended to Monday, April 4 2016. Best papers of will be invited to submit a revised and extended version to the "Rapid Publications” category of the journal TPLP (Theory and Practice of Logic Programming). These papers will be presented at a special session of IJCAI-16 (co-located in Greater New York Area).


Keynote: Bruce Silver

Decision Model and Notation standard (DMN 1.1)

jointly with DecisionCAMP 2016

The primary goal of DMN is to provide a common notation that is readily understandable by all business users, from the business analysts needing to create initial decision requirements and then more detailed decisionmodels, to the technical developers responsible for automating the decisions in processes, and finally, to the business people who will manage and monitor those decisions. DMN creates a standardized bridge for the gap between the business decision design and decision implementation. DMN notation is designed to be usable alongside the standard BPMN business process notation.


Programming in Picat

Neng-Fa Zhou

Picat is a simple, and yet powerful, logic-based multi-paradigm programming language aimed for general-purpose applications. Picat is a rule-based language, in which predicates, functions, and actors are defined with pattern-matching rules. Picat incorporates many declarative language features for better productivity of software development, including explicit non-determinism, explicit unification, functions, list comprehensions, constraints, and tabling. Picat also provides imperative language constructs, such as assignments and loops, for programming everyday things. The Picat implementation, which is based on a well-designed virtual machine and incorporates a memory manager that garbage-collects and expands the stacks and data areas when needed, is efficient and scalable. Picat can be used for not only symbolic computations, which is a traditional application domain of declarative languages, but also for scripting and modeling tasks.

Practical Knowledge Representation and Reasoning in Ergo

Michael Kifer, Theresa Swift and Benjamin Grosof

Ergo Suite is the most advanced semantic rules & reasoning platform for enterprise available today. Ergo Suite takes a new approach that makes it fundamentally easier to capture and reason with the often-complex kinds of knowledge your enterprise needs to handle every day, such as business policies, legal regulations, and information integration mappings. Use Ergo Suite for sophisticated automation of analysis, decision making, question answering, explanation, enhanced monitoring, and more — all at enterprise speed and scale. Capture, integrate, and strongly leverage all your critical enterprise knowledge: natural language documents, graph databases, relational databases, NoSQL, ontologies, results of machine learning, spreadsheets, and application objects — plus the key information that resides today only in people’s heads.