RuleML 2016 Call for Papers

[Antonis Bikakis]

[apologies for any cross-posting]

*The 10th International Web Rule Symposium (RuleML) 2016 Call for Papers*

http://2016.ruleml.org/calls

Breaking News:

* Best papers of RuleML 2016 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).

* Best papers of RuleML 2016 will be presented at a special session of
IJCAI-16 <http://ijcai-16.org/> (co-located in Greater New York Area).

* Keynote: Bruce Silver on *Decision Model and Notation standard (DMN 1.1)*,
jointly with DecisionCAMP 2016 <http://2016.ruleml.org/decisioncamp>.

* Tutorials:

** Neng-Fa Zhou on *Programming in Picat*, and

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

* Signavio, OpenRules and BinaryPark are new sponsors.

* Paper submission date extended to Monday, April 4.

The annual International Web Rule Symposium (RuleML) is the leading
international event in the field of rules and their applications. RuleML
2016, the tenth event in this series, will be held at Stony Brook
University, USA. RuleML is the leading conference to build bridges between
academia and industry in the field of rules and its applications,
especially as part of the semantic technology stack. It is devoted to
rule-based programming and rule-based systems including production rules
systems, logic programming rule engines, and business rules
engines/business rules management systems; Semantic Web rule languages and
rule standards (e.g., RuleML, SWRL, RIF, PRR, SBVR, DMN, CL, Prolog);
rule-based event processing languages (EPLs) and technologies; and research
on inference rules, transformation rules, decision rules, production rules,
and ECA rules.

RuleML 2016 will host multiple special tracks, as well as hosting the  10th
International Rule Challenge <http://2016.ruleml.org/challenge>, and the 6th
RuleML Doctoral Consortium <http://2016.ruleml.org/doctoral-consortium>.
Special topic tracks: Smart Contracts, Blockchain and Rules Track
<http://2016.ruleml.org/calls/blockchain-enabled-smart-contracts-and-rules>,Constraint
Handling Rules Track
<http://2016.ruleml.org/calls/constraint-handling-rules-track>, Event
Driven Architectures and Active Database Systems Track
<http://2016.ruleml.org/calls/event-driven-architectures-and-active-database-systems-track>
, Legal Rules and Reasoning Track
<http://2016.ruleml.org/calls/legal-rules-and-reasoning-track>, Rule- and
Ontology-Based Data Access and Transformation Track
<http://2016.ruleml.org/calls/rule--and-ontology-based-data-access-and-transformation-track>,
and Rule Induction and Learning Track
<http://2016.ruleml.org/calls/rule-induction-and-learning-track>.

*Objectives*

RuleML 2016 will bring together delegates from industry, government and
academia, all interested in the theory and practice of rules, applied to
areas as diverse as business, healthcare, engineering and research. It will
provide a forum for stimulating co-operation and cross-fertilization
between the many different communities focused on the research and
development of rule-based systems.

The symposium's areas of research and development have helped drive rapid
progress in technologies for practical rule and event processing in
distributed enterprise, intranets, and open distributed environments.
Industry practitioners, rule-system providers, users of rules, technical
experts and developers, and researchers who are exploring foundational
issues, developing systems and applications, or using rule-based systems
are invited to share ideas, results, and experiences.

*Industry Track and DecisionCAMP*
The RuleML 2016 Industry Track <http://2016.ruleml.org/industry-track>
targets businesses and the private sector interested in sharing, exploring,
and learning about the use of rules and rule technologies for solving real
life business problems. DecisionCAMP 2016
<http://2016.ruleml.org/decisioncamp> will feature presentations from
leading decision management authorities, vendors, and practitioners.


*General Topics (not limited to):*
* Rules and automated reasoning
* Rule-based policies, reputation, and trust
* Reaction rules
* Rules and the Web
* Rule discovery from data
* Fuzzy rules and uncertainty
* Logic programming and nonmonotonic reasoning
* Non-classical logics and the Web (e.g modal, especially deontic and
epistemic, logics)
* Hybrid methods for combining rules and statistical machine learning
techniques (e.g., conditional random fields, Probabilistic Soft Logic)
* Rule transformation and extraction
* Vocabularies, ontologies, and business rules
* Rule markup languages and rule interchange formats
* Rule-based distributed/multi-agent systems
* Rules, agents, and norms
* Rule-based communication, dialogue, and argumentation models
* Rule-based data integration
* Vocabularies and ontologies for pragmatic primitives (e.g. speech acts
and deontic primitives)
* Pragmatic web reasoning and distributed rule inference / rule execution
* Rules in online market research and online marketing
* Applications of rule technologies in health care and life sciences
* Rules and Human Language Technology
* Industrial applications of rules
* Rules and business process compliance checking
* Standards activities related to rules
* Rules and social media
* General rule topics

*Submission*

Papers must be original contributions written in English and must be
submitted at http://www.easychair.org/conferences/?conf=ruleml2016 as:

   - Full Papers (15 pages in the proceedings)
   - Short Papers (8 pages in the proceedings)

Please upload all submissions in LNCS format
<http://www.springer.de/comp/lncs/authors.html>. Please enter the track
name as the first line in the keywords section. To ensure high quality,
submitted papers will be carefully peer-reviewed by 3 PC members based on
originality, significance, technical soundness, and clarity of exposition.
Selected papers will be published in book form in the Springer Lecture
Notes in Computer Science (LNCS) series <http://www.springer.com/lncs>. The
RuleML2016 special tracks will be published in the same book. Short papers
may contain 1 extra page maximum for which there is a charge of US$200,
while for long papers you are allowed 2 extra pages maximum for EACH of
which there is a charge of US$200. A selection of the best papers from all
tracks will be invited to be revised and extended to the "Rapid
Publications” category of the journal TPLP
<http://journals.cambridge.org/action/displayJournal?jid=TLP> (Theory and
Practice of Logic Programming).

*Student Travel Support*

Some financial support is available to enable student authors to travel to
the Symposium.
These are awarded on a case-by-case basis. Proof of studentship will be
required at time of registration.

*RuleML main track and special tracks dates (not including Industry Track):*
*•* *Extended Paper Submission Date:* *April 4, 2016*
*•* *Author Notification* May 4, 2016
*•* *Camera Ready* May 18, 2016
*•* *Conference:* 5-8 July, 2016

With kind regards,
RuleML-2016 General and Program Chairs
Paul Fodor, Stony Brook University, USA
Jose Julio Alferes, Universidade Nova de Lisboa, Portugal
Leopoldo Bertossi, Carleton University, Canada
Guido Governatori, NICTA, Australia
-------------- nächster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL: <https://lists.tu-clausthal.de/cgi-bin/mailman/private/ifi-ci-event/attachments/20160308/ebd26cb6/attachment.html>