First of all, we are happy to be able to show the links of the joint keynote presentation by Michael Genesereth of Stanford University about "The Herbrand Manifesto: Thinking Inside the Box". The slides are now available and you can also watch the presentation here:
The preceding Blog articles Constraint Handling Rules - What Else? and When Processes Rule Events link to the slides of the other keynote and the invited talk. Moreover, two tutorials were still missing from our collection started in Part 1.
First, there is the TPTP World by Geoff Sutcliffe from University of Miami. TPTP is a well known and established infrastructure that supports research, development, and deployment of Automated Theorem Proving (ATP) systems for classical logics.
Second, a tutorial was given by Harold Boley, University of New Brunswick, about PSOA RuleML. This integrated Positional-Slotted, Object-Applicative language permits a relation application to have an object identifier -- typed by the relation -- and, orthogonally, its arguments to be positional or slotted.
Last but not least, we are happy to share some impressions from RuleML 2015 with the community (click on the images to get an enlarged version):
We hope you enjoyed the conference and want to invite you to join us at the 10th International Web Rule Symposium from July 5 – July 8, 2016 at Stony Brook University, New York.