DecisionCAMP and RuleML+RR will Meet Again in Luxembourg

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

RuleML+RR 2017 Report

March 15, 2018 9:54:36 AM
Read the comments
This article reports on the 1st RuleML+RR: International Joint Conference on Rules and Reasoning, which was held at Birkbeck, University of London in London, UK, during 12-15 July 2017.

Announcing the Logical Contracts Server

November 14, 2017 6:25:40 PM
Read the comments
The Logical Contracts Server incorporates extensions of LPS (Logic Production System) to facilitate deployment of smart contracts. Its website contains a link to a preliminary version, now available for trial. It also contains a short, three minute video, illustrating an application to the paper-rock-scissor game, with an interface to the Ethereum blockchain.

Cfp: RADIO AI 2018: An Invitation to Talk About Your Work, Ideas, Thoughts

September 4, 2017 1:14:01 AM
Read the comments
RADIO AI - Call for Participation This invitation is extended across all the subfields of AI. The purpose of the RADIO AI project is to help educate the public and other professions about AI, with a crowd sourced collective of podcasts by people who work on AI. Submit podcasts by email to Submissions are in .mp3 or .wav. See for examples.

MOdeling LAnguages: The Portal on Models in Software Engineering

August 14, 2017 11:43:26 AM
Read the comments

Logic and AI – The Last 50 Years, Bob Kowalski, RuleMLRR2017

August 13, 2017 10:46:53 AM
Read the comments
A great talk about the origins and history of logic programming as well as its actual research challenges.

RuleML+RR2017: Call for Participation

July 3, 2017 9:42:47 AM
Read the comments
#RuleML+RR 2017: International Joint Conference on Rules and Reasoning London 12-15 July 2017, the leading international joint conference in the field of rule-based reasoning, from foundations to technologies to applications.

Call for Applications: The 13th Reasoning Web Summer School (RW 2017)

June 26, 2017 9:53:14 AM
Read the comments
The summer school takes place in London, U.K., July 7-11, 2017 and it is co-located with #RulemL+RR2017, DecisionCamp 2017, 11th International Rule Challenge

A software agent controlling 2 robots arms in co-operating concurrent tasks

June 23, 2017 10:23:19 AM
Read the comments
Keith Leonard Clark ( is a Professor of Computer Science at Imperial College London, England. He earned a Ph.D. in 1980 from Queen Mary, University of London and since 1979, Keith Clark has had an academic position in the Department of Computing, Imperial College where he has been Professor of Computational Logic since 1987.