The Luxembourg Logic for AI Summit (LuxLogAI 2018)

Have you registered yet? Visit https://luxlogai.uni.lu/registration/ Organized by: The University of Luxembourg (https://wwwen.uni.lu/)
September 4, 2018 at 11:35:57 AM Read the comments

Luxembourg Logic for AI Summit: Second Call For Participation

August 6, 2018 at 11:24:38 AM
Read the comments
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

Luxembourg Logic for AI Summit

Luxembourg Logic for AI Summit (LuxLogAI 2018) | 17-26 Sep 2018 | The University of Luxembourg | Methods and Tools for Responsible AI
July 29, 2018 at 5:51:09 PM Read the comments

Aggregates in Recursion: Issues and Solutions (webinar)

May 25, 2018 at 1:31:05 PM
Read the comments
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.

12th International Rule Challenge 2018

May 2, 2018 at 2:45:11 PM Read the comments

CfP: 12th International Rule Challenge 2018

April 27, 2018 at 9:04:16 AM
Read the comments
Submissions may present demos related to the RuleML+RR 2018 (@rulemlorg #ruleml) 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.

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

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