Description
Rule Technologies: Foundations, Tools, and Applications, 1st ed. 2015
9th International Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, Proceedings
Programming and Software Engineering Series
Coordinators: Bassiliades Nick, Gottlob Georg, Sadri Fariba, Paschke Adrian, Roman Dumitru
Language: EnglishSubjects for Rule Technologies: Foundations, Tools, and Applications:
Keywords
access control policy; answer set programming; automated reasoning; business rules; complex event processing; description logics; higher order logic; knowledge representation and reasoning; linked data; logic programming; markup languages; ontologies; pattern detection; probabilistic reasoning; proof theory; query answering; regulatory compliance; semantic Web; semantic interoperability; transaction logic
Support: Print on demand
Description
/li>Contents
/li>Comment
/li>
This book constitutes the refereed proceedings of the 9th International RuleML Symposium, RuleML 2015, held in Berlin, Germany, in August 2015.
The 25 full papers, 4 short papers, 2 full keynote papers, 2 invited research track overview papers, 1 invited paper, 1 invited abstracts presented were carefully reviewed and selected from 63 submissions. The papers cover the following topics: general RuleML track; complex event processing track, existential rules and datalog+/- track; legal rules and reasoning track; rule learning track; industry track.