RuleML 2016 Call for Papers

Paul Fodor <[email protected]> Mon, 7 Dec 2015 12:40:43 -0500
Newsgroups gmane.comp.lang.lambda-prolog
Message-ID <CAGcOFRvw_B39B7bO5mu1HeKViuS3YMU89gvNkZCaTOs2siBj9g@mail.gmail.com>
*The 10th International Web Rule Symposium (RuleML) 2016 Call for Papers*

http://2016.ruleml.org/calls

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 practitioners, interested in the theory and
applications of rules in academic research, industry, engineering, business
and other diverse application areas. 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*
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.


*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 for the post-conference
publication in a Special Issue of 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):*
*•**Register Title and Abstract in Easychair*March 11, 2016*•**Paper
Submission:*March 18, 2016*•**Author Notification*May 4, 2016*•**Camera
Ready*May 18, 2016*•**Conference:*5-8 July, 2016

With kind regards,
RuleML-2016 Program Co-Chairs
Jose Julio Alferes, Universidade Nova de Lisboa, Portugal
Leopoldo Bertossi, Carleton University, Canada
Guido Governatori, NICTA, Australia

_______________________________________________
Lprolog mailing list
[email protected]
https://wwws.cs.umn.edu/mm-cs/listinfo/lprolog