Luxembourg Logic for AI Summit: Second Call For Participation


August 6, 2018 at 11:24 AM
Second Call For Participation Luxembourg Logic for AI Summit (LuxLogAI 2018) *** The early registration deadline is on 09-August-2018 *** 17-26 Sep 2018, Luxembourg https://luxlogai.uni.lu
Second Call For Participation (early registration deadline approaching)
Luxembourg Logic for AI Summit (LuxLogAI 2018)

17-26 Sep 2018, Luxembourg
https://luxlogai.uni.lu

***   The early registration deadline is on 09—August-2018   ***
  Both student and regular early registrants receive €100 off.

***   The normal registration deadline is on 01—Septemeber-2018   ***
  Registrations after the deadline are considered as late registrations.
     For regular registrants (non-students), a late fee applies.

======================================================

The Luxembourg Logic for AI Summit (LuxLogAI 2018) brings together the 2nd International Joint Conference on Rules and Reasoning (RuleML+RR 2018), the Reasoning Web Summer School (RW 2018), the Global Conference on Artificial Intelligence (GCAI 2018), DecisionCAMP 2018, the MIREL workshop and the annual meeting of the Deduction Systems group (Deduktionstreffen 2018).

With its special focus theme on “methods and tools for responsible AI”, a core objective of LuxLogAI is to present the latest developments and progress made on the crucial question of how to make AI more transparent, responsible and accountable.

The summit will provide a forum for stimulating cooperation and cross-fertilization between the many different communities focused on the research, development and applications of Artificial Intelligence and Rule-based Systems. We invite you to join rigorous researchers and inventive practitioners in Luxembourg, a world-class location for research, development and innovation at the heart of Europe.

==Sponsors==
- Luxembourg National Research Fund (FNR)
- The University of Luxembourg
- Interdisciplinary Centre for Security, Reliability and Trust (SnT)
- Interdisciplinary Lab for Intelligent and Adaptive Systems (ILIAS)
- Digital Luxembourg (sponsor for Diversity@LuxLogAI)

==Keynotes & Speakers==
- Hannah Bast (Uni Freiburg)
- Pascal Fontaine (Uni Lorraine)
- Georg Gottlob (Uni Oxford)
- Guido Governatori (CSIRO, Data61)
- Cynthia Kop (Radboud Uni Nijmegen)
- Valeria de Paiva (Nuance Communications)
- Philipp Slusallek (Saarland Uni)
- Daniele Nardi (Uni Roma)
Daphna Weinshall (Hebrew Uni Jerusalem)
- Bob Kowalski (Imperial College) and Miguel Calejo (logicalcontracts.com)
- Fariba Sadri (Imperial College London)
Monica Palmirani (Uni Bologna)
Yolanda Spinola-Elias (Uni Seville)


==Multiple Events Summit==
- MIREL (MIning and REasoning with Legal texts) Workshop: 17 September 2018.
- 4th Global Conference on Artificial Intelligence (GCAI 2018): 17-19 September 2018.
- DecisionCAMP (Business Rules and Decision Management Technology): 17-19 September 2018.
- AI and ART: 17-19 September 2018.
- 2nd International Joint Conference on Rules and Reasoning (RuleML+RR 2018): 18-21 September 2018.
- AI Public Event: 19 September with Viviane Reding [(European Parliament), Toby Walsh (UNSW Sydney), Claude Adam (University of Luxembourg), Philipp Slusallek (DFKI, Saarland University)]
- Self Organizing Systems (SOS): 19 September 2018. 
- Diversity@LuxLogAI: 20 September 2018.
- Annual meeting of the Deduction Systems group of GI e.V. (Deduktionstreffen 2018): 21 September 2018.
- Reasoning Web Summer School (RW 2018): 22-26 September 2018.

==Open Calls==
- RuleML+RR Posters, see Call for Posters, Extended deadline: 8 August 2018
- Deduktionstreffen 2018, see Call for Abstracts, Deadline: 5 August 2018

==Registration==
Registration is open via EasyChair (https://easychair.org/conferences/?conf=luxlogai2018)
- Early registration deadline: 9 August, 2018
- Normal registration deadline: 1 September, 2018
- After normal registration deadline, a late registration fee applies (for non-students)

==Organization==
- Summit Chair (LuxLogAI):
  Leon van der Torre (U Luxembourg)
- General Chair (RuleML+RR):
  Xavier Parent (U Luxembourg)
- Program Chairs:
  Christoph  Benzmüller  (U  Luxembourg  &  FU Berlin)
  Francesco Ricca (U Calabria)
- Proceedings Chair:
  Dumitru Roman (SINTEF/U Oslo)
- Industry Track Chair:
  Silvie Spreeuwenberg (LibRT Amsterdam)
- Doctoral Consortium Chair
  Kia Teymouria (Boston University, Metropolitan College)
  Paul Fodor (Stony Brook University)
- Int’l Rule Challenge Chairs:
  Giovanni De Gasperis (U L’Aquila)
  Wolfgang Faber (Alpen-Adria-U Klagenfurt)
  Adrian Giurca (BTU Cottbus- Senftenberg)
- Reasoning Web (RW) Summer School
  Claudia d’Amato (U Bari)
  Martin Theobald (U Luxembourg)
- Publicity Chair:
  Amal Tawakuli (U Luxembourg)
- Financial Chair
  Martin Theobald (U Luxembourg)
- Poster Chair
  Alex Steen (U Luxembourg)

==Media==
- Web: https://luxlogai.uni.lu
- Twitter:
- Instagram:
- RuleML Blog: http://blog.ruleml.org
 
======================================

Schéi Gréiss | Mit Freundlichen Grüßen | Meilleures Salutations | With Kind Regards

Amal Tawakuli (amal.tawakuli@uni.lu)
CSC Research Unit
UNIVERSITÉ DU LUXEMBOURG
 
 
 

LuxLogAI 2018 Important Calls (Posters, Abstracts and Grants)


May 25, 2018 at 4:55 PM
Important Calls (Posters, Abstracts and Grants)
==============================================
Luxembourg Logic for AI Summit (LuxLogAI 2018)
17-26 Sep 2018, Luxembourg
https://luxlogai.uni.lu
==============================================

The Luxembourg Logic for AI Summit (LuxLogAI 2018) brings together the 2nd International Joint Conference on Rule and Reasoning (RuleML+RR 2018), the Reasoning Web Summer School (RW 2018), the Global Conference on Artificial Intelligence (GCAI 2018), DecisionCAMP 2018 and the annual meeting of the Deduction Systems group (Deduktionstreffen 2018) of the German Gesellschaft für Informatik (GI).

With its special focus theme on “methods and tools for responsible AI”, a core objective of LuxLogAI is to present the latest developments and progress made on the crucial question of how to make AI more transparent, responsible and accountable.


==First Call For Posters==
RuleML+RR 2018 calls for additional short poster papers related to theoretical advances, novel technologies, and innovative applications concerning knowledge representation and reasoning with rules. A Best Poster Award will be given to the best poster presentation.

The full Call for Posters, including submission details, is available at http://2018.ruleml-rr.org/call-for-posters.html.

Important dates:
-Poster paper submission: 1 August 2018
-Author notification: 15 August 2018
-Camera-ready submission: 31 August 2018


==First Call For Abstracts==
The annual meeting Deduktionstreffen (Deduktionstreffen 2018) is the prime activity of the Interest Group for Deduction Systems (FGDedSys) of the German Informatics Society (Gesellschaft für Informatik). It is a meeting with a familiar, friendly atmosphere, where everyone (not only the German community) interested in deduction can report on their work in an informal setting. The Deduktionstreffen will also host the annual general meeting of the members of FGDedSys. Contributions on all theoretical, experimental and application aspects of deduction are welcome.

Invited speakers:
Cynthia Kop (Radboud University Nijmegen)
Pascal Fontaine (Université de Lorraine, Nancy)

For further information about the Deduktionstreffen 2018, please visit http://fg-dedsys.gi.de/dt2018.html.

Important dates:
-Early bird submission: 5 July 2018 (Notification: 15 July 2018)
-Standard submission: 5 August 2018 (Notification: 15 August 2018)
-Deduktionstreffen: 21 September 2018


==First Call For Applications==
In order to give PhD students and Postdocs (with limited funding) the opportunity to attend LuxLogAI, the organizers are awarding a number of grants to motivated applicants. In return, successful applicants are asked to assist the local organization team during the conference.

For further details, including how to submit your application, visit https://luxlogai.uni.lu/grants/.

Important dates:
-Early bird application deadline: 30 June 2018
-Successful applicants will be notified before: 15 August 2018
-Second round application deadline: 20 August 2018
-Successful applicants will be notified on: 1 September 2018

Aggregates in Recursion: Issues and Solutions (webinar)


May 25, 2018 at 1:31 PM
Aggregates are commonplace in database query languages. It is natural to include them also into logic programming. However, doing so raises a number of issues, in particular when aggregates are used in conjunction with recursive definitions. This talk will shed some light on the underlying issues and some of the solutions proposed in the literature so far.

CfP: 12th International Rule Challenge 2018


April 27, 2018 at 9:04 AM
Submissions may present demos related to the RuleML+RR 2018 (@rulemlorg track topics, supply benchmarks and comparison results for rule engines, illustrate rule- and model-driven engineering, report on industrial experience, present real cases and practical experiences.

Important Dates

Paper submission:May 25, 2018
Notification of acceptance:June 15, 2018
Camera-ready submission:August 31, 2018
Challenge:September 18-19, 2018

Topics

Key themes of the RuleML 2018 Challenge include, but are not limited to the following:

  • Rule-based Event Processing and Stream Reasoning
  • Business Rules Modeling
  • Benchmarks and comparison results for rule engines
  • Distributed rule bases and rule services
  • Rules and model driven engineering
  • Reports on industrial experience about rule systems
  • Real cases and practical experiences
  • Rules in online market research and online marketing
  • Rule-based distributed / multi-agent systems
  • Combining rules with knowledge extraction and information retrieval
  • Rules and social media
  • Rule-based automation for asset trading

submissions

The challenge seeks high quality, original papers, potentially referencing online material, and ranging between 5-15 pages. Papers must be original contributions written in English and will be submitted at https://easychair.org/conferences/?conf=rulemlrr2018.

To ensure high quality, submitted papers will be carefully peer-reviewed by 3 PC members based on clarity and significance of objectives and demonstration of results.

The paper shall address the following:

  • Explain the objectives, outcomes, benefits as you are going beyond the state of the art in technology, the application domain, etc.
  • Proof the results with a concrete example balancing conciseness and completeness
  • Preferably (but not necessarily) embed the tool in a web-based or distributed environment or a mobile environment
  • Present end-user interactions, providing an adequate and usable interface that favours a concrete usage of the application
  • Mention the availability of the software and data, data interchange, and possible tool extensions
  • If it is the case, provide a web-link to the project site, online demonstration, or download site

Please upload all submissions in LNCS format. Rule Challenge 2018 proceedings will be published as CEUR Proceedings and indexed by SCOPUS.

Registration

Registration information will soon become available at the main conference web site. Reduced registration fees will be offered to all student participants of the conference.

Past CEUR-WS Proceedings

RuleML+RR 2018 FINAL CALL FOR PAPERS (EXTENDED DEADLINE: 4./11. May)


April 21, 2018 at 2:47 PM
Important dates (NEW): - Abstract: 04 May 2018 (EXTENDED) - Full paper: 11 May 2018 (EXTENDED).

==================================================================

RuleML+RR 2018 FINAL CALL FOR PAPERS (EXTENDED DEADLINE: 4./11. May)

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

http://2018.ruleml-rr.org

Part of Luxembourg Logic for AI Summit (LuxLogAI, https://luxlogai.uni.lu)

==================================================================

== SUMMARY ==

High-quality papers related to theoretical advances, novel technologies, and innovative applications concerning knowledge representation and reasoning with rules are solicited.

== IMPORTANT NEW DATES ==

Title and Abstract submission: 04 May 2018 (EXTENDED)
Full papers submission: 11 May 2018 (EXTENDED)
Notification of acceptance: 11 June 2018 (EXTENDED)
Camera-ready submission: 25 June 2018 (EXTENDED)
Conference: 18-21 Sept 2018

For each of these deadlines, a cut-off point of 23:59 AOE (anywhere on earth) applies.

==================================================================

For more information view the original post (http://blog.ruleml.org/post/134860309-ruleml-rr-2018-last-call-for-papers#disqus_thread)

RuleML+RR 2018 LAST CALL FOR PAPERS


April 10, 2018 at 10:11 PM
High-quality papers related to theoretical advances, novel technologies, and innovative applications concerning knowledge representation and reasoning with rules are solicited. Important dates: - Abstract: 20 Apr 2018 - Full paper: 27 Apr 2018

==================================================================

RuleML+RR 2018 LAST CALL FOR PAPERS

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

http://2018.ruleml-rr.org

Part of Luxembourg Logic for AI Summit (LuxLogAI, https://luxlogai.uni.lu)

==================================================================

== SUMMARY ==

High-quality papers related to theoretical advances, novel technologies, and innovative applications concerning knowledge representation and reasoning with rules are solicited.

Important dates:
 - Abstract:   20 Apr 2018
 - Full paper: 27 Apr 2018

== THE CONFERENCE ==

The International Joint Conference on Rules and Reasoning (RuleML+RR) is the leading international joint conference in the field of rule-based reasoning. Stemming from the synergy between the well-known RuleML and RR events, one of the main goals of this conference is to build bridges between academia and industry.

RuleML+RR 2018 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.

RuleML+RR 2018 will take place in Luxembourg on September 18th-21th 2018
and will be part of the Luxembourg Logic for AI Summit (LuxLogAI) "Methods and Tools for Responsible  AI", bringing together RuleML+RR 2018, DecisionCAMP 2018, the Reasoning Web Summer School (RW 2018), and
the Global Conference on Artificial Intelligence (GCAI 2018).

== TOPICS ==

RuleML+RR welcomes original research from all areas of Rules and Reasoning.

Topics of particular interest include:

* Rule-based languages for intelligent information access and for the semantic web
* Vocabularies, ontologies, and business rules
* Ontology-based data access
* Data management, and data interoperability for web data
* Distributed agent-based systems for the web
* Scalability and expressive power of logics for the semantic web
* Reasoning with incomplete, inconsistent and uncertain data
* Non-monotonic, common-sense, and closed-world reasoning for web data
* Non-classical logics and the Web
* Constraint programming
* Logic programming
* Production & business rules systems
* Streaming data and complex event processing
* Rules for machine learning, knowledge extraction and information retrieval
* Rule-based approaches to natural language processing
* Rule discovery, extraction and transformation
* Rules and ontology learning
* Deep Learning for rules and ontologies
* Neural Networks and logic rules
* Neural Networks and ontologies
* Rule-based approaches to agents
* Higher-order and modal rules
* Rules for knowledge graphs
* Pragmatic web reasoning and distributed rule inference / rule execution
* Big data reasoning with rules
* Rule markup languages and rule interchange formats
* Rule-based policies, reputation, and trust
* Scalability and expressive power of logics for rules
* System descriptions, applications and experiences
* Rules and human language technology
* Rules in online market research and online marketing
* Applications of rule technologies in healthcare and life sciences
* Applications of rule technologies in law, regulation and finance
* Industrial applications of rules
* Rules and social media
* Rules of ethics, laws, policies, and regulations

Particularly encouraged are submissions that combine one or several of the above topics with the overall focus theme of the LuxLogAI Summit: Methods and Tools for Responsible AI

== SUBMISSIONS ==

We accept the following submission formats for papers:

* Full papers (up to 15 pages in LNCS style)
* Technical Communications (up to 8 pages in LNCS style)

Submitted full papers should present original and significant research results. 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. Double submission to a workshop with informal proceedings is allowed.

Technical communications are intended for promising but possibly preliminary work, position papers, system descriptions, and applications descriptions (which may be accompanied by a demo).

Submissions: via EasyChair (https://easychair.org/conferences/?conf=rulemlrr2018)

The RuleML+RR 2018 best papers will be invited for rapid publication in the Journal of Theory and Practice of Logic Programming (TPLP).

In addition to regular submissions, RuleML+RR 2018 will host an Industry Track, a Doctoral Consortium and the 12th International Rule Challenge.

== PUBLICATION ==

The conference proceedings will be published by Springer in the Lecture Notes in Computer Science series (LNCS).
All submissions must be prepared in Springer's LaTeX style LNCS (http://www.springer.com/comp/lncs/authors.html).

== IMPORTANT DATES ==

Title and Abstract submission: 20 Apr 2018
Full papers submission: 27 Apr 2018
Notification of acceptance: 1 June 2018
Camera-ready submission: 15 June 2018
Conference: 18-21 Sept 2018

For each of these deadlines, a cut-off point of 23:59 AOE (anywhere on earth) applies.

== ORGANISATION ==

Summit Chair (LuxLogAI):
  Leon van der Torre (U Luxembourg)
General Chair (RuleML+RR):
  Xavier Parent (U Luxembourg)
Program Chairs:
  Christoph  Benzmüller  (U  Luxembourg  &  FU Berlin)
  Francesco Ricca (U Calabria)
Proceedings Chair:
  Dumitru Roman (SINTEF/U Oslo)
Industry Track Chair:
  Silvie Spreeuwenberg (LibRT Amsterdam)
Doctoral Consortium Chair
  Kia Teymouria (Boston University, Metropolitan College)
Int’l Rule Challenge Chairs:
  Giovanni De Gasperis (U L’Aquila)
  Adrian Giurca (BTU Cottbus- Senftenberg)
Reasoning Web (RW) Summer School
  Claudia d’Amato (U Bari)
  Martin Theobald (U Luxembourg)
Publicity Chairs:
  Frank Olken (Frank Olken Consulting)
  Amal Tawakuli (U Luxembourg)
  Xing Wang (Liaoning TU)
Financial Chair
  Martin Theobald (U Luxembourg)
Poster Chair
  Alex Steen (FU Berlin)


== PROGRAM COMMITTEE ==

Full list available at: http://2018.ruleml-rr.org

DecisionCAMP and RuleML+RR will Meet Again in Luxembourg


March 16, 2018 at 2:56 PM
This article is about relationships between two different but closely related fields of the knowledge representation movement: Semantic Reasoning and Business Rules&Decisions Management

This September DecisionCAMP (https://decisioncamp2018.wordpress.com/) and RuleML+RR (http://2018.ruleml-rr.org) will be co-located again for the third time during the LuxLogAI-2018 (https://luxlogai.uni.lu) summit in Luxembourg. These two events represent two different but closely related fields of the knowledge representation movement: Business Rules & Decisions Management and Semantic Reasoning. In this post I want to talk about relationships between these two fields and the events.

Probably not many people know that when OpenRules was founded in 2003 (https://openrules.wordpress.com/2018/02/24/happy-15th-birthday-openrules/), we initially positioned ourselves as a Semantic Web company. However, absence of practical results at that time forced us to limit our ambitions to Business Rules Management. As a result, we created an open source product (http://openrules.com/) that allowed business analysts to represent their business logic and then a rule engine effectively executed business rules – these capabilities quickly brought tangible values to our customers. Over the years, OpenRules, like other Business Rules and Decision Management vendors, was successfully used by many companies worldwide to build practical decision-making systems.

These days business analysts work in concert with developers to successfully develop so called “decision models” capable to solve their own business problems. In most cases they represent domain-specific knowledge by defining:

a) Business glossaries as a set of decision variables with their various characteristics
b) Business rules (such as decision tables) to represent the relationships between decision variables.

Then a rule engine executes the decision model to find an answer to a certain business question, e.g. calculate insurance premium or determine loan eligibility. The last 15 years resulted in serious progress in creating user-friendly interfaces for decision modeling. Now we even have the first standard “DMN - Decision Model and Notation” (http://www.omg.org/spec/DMN). Probably the most important achievement is the fact that the objective to move control over business logic from IT to subject matter experts became a reality.

However, today’s decision models force human experts to describe almost ALL relationships between decision variables using business rules which may become very complex and include various calculation formulas, filters, iterations, etc. How to minimize human involvement?

Some good practical results already came from the integration of the Business Rules approach with:
a) Machine Learning (Predictive Analytics) to automatically generate rules based on the historical data
b) Decision Optimization (Prescriptive Analytics) to apply an optimization engine to explore relationships not covered by business rules and to find not one but multiple alternative solutions, and even optimal solutions.

However, to further automate decision making across multiple inter-connected decision models we need to move business and decision management to the Semantic Web territory and try to integrate the results produced in the both fields. There were interesting initial inter-communications between DecisionCAMP and RuleML+RR in 2016 and 2017 when people from both communities attended presentations during both events. I also would like to mention the following related papers:

And finally, I want to share my answer to the question asked during DecisionCAMP-2017 Q&A Panel: What is the next “killer” application for Decision Management?

“We probably should look for an answer at our co-located conference RuleML+RR where Semantic Web people already have created good reasoning tools. If we consider our decision models as ‘decision ontologies’ and apply similar reasoning tools to them, we would not need to force our customers to write specific rules that lead to calculation of insurance premiums or acceptance/rejection of loan applications. Having rules to define only relationships inside our inter-related decision models (ontologies), they (users) would only need to specify the goal (e.g. insurance premium), and then a Decision Reasoner will automatically calculate it for a particular insurance policy.”

Looking forward to more suggestions for a productive cooperation between experts in two related fields: Semantic Web and Business Rules&Decision Management.