12-15 Jul 2017
London, England
-------------------------------------------------------------------------------------------- RuleML+RR: International Joint Conference on Rules and Reasoning [http://2017.ruleml-rr.org](http://2017.ruleml-rr.org/) RuleML+RR 2017 is the leading international joint conference in the field of rule-based reasoning, and focuses on theoretical advances, novel technologies, as well as innovative applications concerning knowledge representation and reasoning with rules. Stemming from the synergy between the well-known premier [RuleML](http://wiki.ruleml.org/index.php/RuleML_Home#Rule_Events_with_RuleML) and [RR ](http://www.rr-conference.org/)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, RuleML+RR 2017 will host: - [Industry Track](http://2017.ruleml-rr.org/calls/doctoral-consortium/) - [Doctoral Consortium](http://2017.ruleml-rr.org/calls/doctoral-consortium/) - [DecisionCAMP](http://2017.ruleml-rr.org/decisioncamp-2017/) - [11th International Rule Challenge](http://2017.ruleml-rr.org/calls/international-rule-challenge/) - [13th Reasoning Web Summer School](http://2017.ruleml-rr.org/13th-reasoning-web-summer-school-rw-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 RuleML+RR 2017 will be collocated with the 32nd British International Conference on Databases (BICOD 2017). 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](http://www.springer.de/comp/lncs/authors.html). 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. 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. RuleML+RR 2017 Important Dates Event Date Title and abstract registration 15 February 2017 Paper Submission 22 February 2017 Author feedback on initial reviews 30 March - 3 April 2017 Author notification 10 April 2017 Camera ready 24 April 2017 Conference 12-15 July 2017 -- [LOGIC] mailing list http://www.dvmlg.de/mailingliste.html Archive: http://www.illc.uva.nl/LogicList/ provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam