Logic List Mailing Archive

RuleML+RR 2017: Rules and Reasoning

12-15 Jul 2017
London, England

RuleML+RR 2017: International Joint Conference on Rules and Reasoning

http://2017.ruleml-rr.org

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(1), a Doctoral Consortium(2), the
DecisionCAMP(3), the 11th International Rule Challenge(4), and the 13th
Reasoning Web Summer School(4). RuleML+RR 2017 will be collocated with the
32nd British International Conference on Databases (BICOD 2017(5)).

Links:
(1) http://2017.ruleml-rr.org/calls/industry-track
(2) http://2017.ruleml-rr.org/doctoral-consortium
(3) http://2017.ruleml-rr.org/decisioncamp-2017
(4) http://2017.ruleml-rr.org/calls/international-rule-challenge
(5) http://www.dcs.bbk.ac.uk/bicod17

Venue: the conference will take place at Birkbeck, University of London
(London, UK) http://www.bbk.ac.uk .

=======================================================================
Important dates

     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
=======================================================================

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(6). 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).

Links:
(6) http://www.springer.de/comp/lncs/authors.html

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

* Stephen Muggleton (Imperial College London) http://wp.doc.ic.ac.uk/shm
* Elena Baralis (Politecnico di Torino)
http://dbdmg.polito.it/wordpress/people/elena-baralis
* Jordi Cabot (IN3-UOC, Barcelona) http://jordicabot.com
* Jean-Francois Puget (IBM)
http://www.ibm.com/developerworks/community/profiles/html/profileView.do?userid=2700028FGP
* Bob Kowalski will present an after-dinner speech entitled
     ?Logic and AI ? The last 50 years?.

.. more to follow!

# 11th International Rule Challenge
The RuleML+RR 2017 Challenge is
one of the highlights of the conference, and seeks to provide
competition among innovative rule-oriented applications, aimed at
both the research and industrial side. Submissions may present demos
related to the RuleML+RR 2017 track topics (see above), supply
benchmarks and comparison results for rule engines, illustrate rule-
and model-driven engineering, report on industrial experience,
present real cases and practical experiences, and realize mobile
deployment of rule-based reasoning.

# Doctoral Consortium
We welcome submissions from PhD students whose
research activity is closely related to rule and reasoning systems. The
Doctoral Consortium is an excellent opportunity for students to interact
with leading experts in the field, and to present and discuss their
ideas in a dynamic and friendly setting.

# Industry Track The Industry
Track targets businesses and the private
sector interested in sharing, exploring, and learning about the use of
rule technologies for solving real-life business problems, for instance
in the field of logistics, planning, domotics, healthcare, big data and
high- scalability reasoning, and financial applications including
high-frequency trading.

# 13th Reasoning Web Summer School (RW 2017)
The purpose of the Reasoning Web Summer School is to disseminate recent
advances on reasoning techniques which are of particular interest to
Semantic Web, Linked Data, Ontologies, Rules, Logic, and Knowledge Graph
applications. It is primarily intended for postgraduate (PhD or MSc)
students, postdoctoral researchers, young researchers, and senior
researchers wishing to learn about Reasoning on the Semantic Web and
related issues.
The Reasoning Web series of annual Summer Schools was started in 2005 by
the European Network of Excellence REWERSE.


With kind regards,

RuleML+RR 2017 Program Chairs:
Stefania Costantini, University of L?Aquila, Italy
Enrico Franconi, Free University of Bozen-Bolzano, Italy
William Van Woensel, Dalhousie University, Canada

RuleML+RR 2017 General Chairs:
Roman Kontchakov, Birkbeck, University of
London, UK Fariba Sadri, Imperial College London, UK

RuleML+RR 2017 Publicity Chair:
Giovanni De Gasperis, University of L'Aquila, Italy
--
[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