Search

Select theme:

Shopping cart

Subtotal
$97.00
View cart Checkout

Saved articles

You have not yet added any article to your bookmarks!

Browse articles
Newsletter image

Subscribe to the Newsletter

Join 10k+ people to get notified about new posts, news and tips.

Do not worry we don't spam!

GDPR Compliance

We use cookies to ensure you get the best experience on our website. By continuing to use our site, you accept our use of cookies, Privacy Policy, and Terms of Service.

  • Home
Rules and Reasoning

Rules and Reasoning

By Christoph Benzmüller, Francesco Ricca, Xavier Parent & Dumitru Roman Programming 23/08/2018

This book constitutes the proceedings of the  International Joint Conference on Rules and Reasoning, RuleML+RR 2018, held in Luxembourg during September 2018. This is the second conference of a new series, joining the efforts of two existing conference series, namely “RuleML” (International Web Rule Symposium) and “RR” (Web Reasoning and Rule Systems).
The 10 full research papers presented together with 5 long technical communications and 7 short papers were carefully reviewed and selected from 33 submissions.

Read More
More Books from Christoph Benzmüller, Francesco Ricca, Xavier Parent & Dumitru Roman
Automated Reasoning Christoph Benzmüller, Marijn J.H. Heule & Renate A. Schmidt
Automated Reasoning
Rules and Reasoning Christoph Benzmüller, Francesco Ricca, Xavier Parent & Dumitru Roman
Rules and Reasoning
On Gödel and the Nonexistence of Time – Gödel und die Nichtexistenz der Zeit Oliver Passon, Christoph Benzmüller & Brigitte Falkenburg
On Gödel and the Nonexistence of Time – Gödel und die Nichtexistenz der Zeit
Automated Reasoning Christoph Benzmüller, Marijn J.H. Heule & Renate A. Schmidt
Automated Reasoning
KI 2019: Advances in Artificial Intelligence Christoph Benzmüller & Heiner Stuckenschmidt
KI 2019: Advances in Artificial Intelligence
Intelligent Computer Mathematics Christoph Benzmüller & Bruce Miller
Intelligent Computer Mathematics
Comments