This leading international joint conference in the field of rule-based reasoning calls for high-quality papers related to theoretical advances, novel technologies, and innovative applications concerning knowledge representation and reasoning with rules. Stemming from the synergy between the well-known high-impact RuleML and RR events, one of the main goals of this conference is to build bridges between academia and industry.

RuleML+RR 2017 aims to bring together rigorous researchers and inventive practitioners, interested in the foundations and applications of rules and reasoning in academia, industry, engineering, business, finance, healthcare and other application areas. It will provide a forum for stimulating cooperation and cross-fertilization between the many different communities focused on the research, development and applications of rule-based systems.

In addition to regular submissions, RuleML+RR 2017 will host an Industry Track, a Doctoral Consortium, the DecisionCAMP, the 11th International Rule Challenge, and the 13th Reasoning Web Summer School. RuleML+RR 2017 will be collocated with the 32nd British International Conference on Databases (BICOD 2017).
Topics include, but are not limited to:

Production rules systems
Logic programming engines and applications
Business rules engines and management systems
Logic-based reasoning for rules
Inductive and abductive logic programming
Rule markup languages and rule interchange formats
Rule-based policies, reputation, and trust
Pragmatic web reasoning and distributed rule inference / rule execution
Reaction and ECA rules
Constraint programming
Rule-based languages for intelligent information access and the Semantic Web
Vocabularies, ontologies, and business rules
Bridge rules in multi-context systems
Rule discovery, extraction and transformation
Rule-based data management, data integration, and data interoperability
Scalability and expressive power of logics for rules
Mapping rules for ontology-based data access
Rule-based dynamic data, stream, and complex event processing
Reasoning with incomplete, inconsistent and uncertain data
Non-monotonic, common-sense, and closed-world reasoning
Non-classical logics and the Web
Combining rules with knowledge extraction and information retrieval
Rules, agents, and norms
Rule-based distributed / multi-agent systems
Rule-based communication/dialogue
Argumentation models
Rules and human language technology
Rules in online market research and online marketing
Applications of rule technologies in healthcare and life sciences
Industrial applications of rules
Rules and business process compliance checking
Standards activities related to rules
Rules and social media

Submissions

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

Full Paper (15 pages in the proceedings)
Short Paper (8 pages in the proceedings)

Please upload all submissions in LNCS format. To ensure high quality, submitted papers will be carefully peer-reviewed by at least 3 PC members based on originality, significance, technical soundness, and clarity of exposition. They must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference / workshop with formal proceedings

The accepted papers will be published in book form in the Springer Lecture Notes in Computer Science (LNCS) series. Short papers may contain 1 extra page (max.) for which there is a charge of US$200. Long papers are allowed 2 extra pages (max.), with a charge of US$200 for EACH extra page.

Authors of a selection of the best papers from all tracks will be invited to revise and extend their work for publication in the journal TPLP (Theory and Practice of Logic Programming).
Student Travel Support

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

Bob Kowalski will present an after-dinner speech entitled “Logic and AI – The last 50 years”.

.. more to follow!