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.

Tutorials

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.