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 http://logicalcontracts.com/server/ 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 cmason@radioai.net Submissions are in .mp3 or .wav. See http://www.radioai.net 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 http://2017.ruleml-rr.org, 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 (http://www.imperial.ac.uk/people/k.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.

Computer Science PhD grants KRDB - Univ. of Bozen-Bolzano Italy

June 21, 2017 5:07:43 PM
Read the comments
10 four-years grants are offered by the faculty of Computer Science of the Free University of Bozen-Bolzano in Italy for its PhD programme. Each grant amounts to 68,000 €; for research visits abroad the grant can increase up to 50%. Substantial extra funding is available for participation to international conferences, schools, workshops, research visits. The language of the PhD program is English.

Keynote Talk: Logic and AI – The Last 50 Years

June 21, 2017 1:22:50 PM
Read the comments
Bob Kowalski (https://www.doc.ic.ac.uk/~rak/) was a research fellow at the University of Edinburgh (1970–75) and has been at Imperial College London since 1975, attaining a chair in Computational logic in 1982 and becoming Emeritus Professor in 1999.