Knowledge Authoring for Rule-based Reasoning,

October 29, 2018 at 9:40 AM
Modern knowledge bases have matured to the extent of being capable of complex reasoning at scale. Unfortunately, wide deployment of this technology is still hindered by the fact that specifying the requisite knowledge requires skills that most domain experts do not have, and skilled knowledge engineers are in short supply. A way around this problem could be to acquire knowledge from text.

The current knowledge acquisition technologies for information extraction are not up to the task because logic reasoning systems are extremely sensitive to errors in the acquired knowledge, and existing techniques lack the required accuracy by too large of a margin. Because of the enormous complexity of the problem, controlled natural languages (CNLs) were proposed in the past, but even they lack high enough accuracy. Instead of tackling the general problem of text understanding, our interest is in a related, but different, area of knowledge authoring—a technology designed to enable domain experts to manually create formalized knowledge using CNL. Our KALM system approach adopts and formalizes the FrameNet methodology for representing the meaning, enables incrementally-learnable and explainable semantic parsing, and harnesses rich knowledge graphs like BabelNet in the quest to obtain unique, disambiguated meaning of CNL sentences. Our experiments show that this approach is 95.6% accurate in standardizing the semantic relations extracted from CNL sentences—far superior to alternative systems.

For more information, see KALM Code and KALM short presentation.

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
Second Call For Participation (early registration deadline approaching)
Luxembourg Logic for AI Summit (LuxLogAI 2018)

17-26 Sep 2018, Luxembourg

***   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.

- 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 (
- 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 is open via EasyChair (
- Early registration deadline: 9 August, 2018
- Normal registration deadline: 1 September, 2018
- After normal registration deadline, a late registration fee applies (for non-students)

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

- Web:
- Twitter:
- Instagram:
- RuleML Blog:

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

Amal Tawakuli (
CSC Research Unit

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

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

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

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

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


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


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

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