The Luxembourg Logic for AI Summit (LuxLogAI 2018)
September 4, 2018 at 11:35:57 AM Read the comments
Luxembourg Logic for AI Summit: Second Call For Participation
LuxLogAI 2018 Important Calls (Posters, Abstracts and Grants)
12th International Rule Challenge 2018 (deadline updates!)
Aggregates in Recursion: Issues and Solutions (webinar)
May 25, 2018 at 1:31:05 PMRead the comments
by Wolfgang Faber
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:16 AMRead the comments
by Adrian Giurca
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.