Overview
- Up-to-date results
- Fast track conference proceedings
- State-of-the-art report
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 9202)
Part of the book sub series: Programming and Software Engineering (LNPSE)
Included in the following conference series:
Conference proceedings info: RuleML 2015.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (31 papers)
-
General RuleML Track
-
Complex Event Processing Track
Other volumes
-
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
About this book
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.Editors and Affiliations
Bibliographic Information
Book Title: Rule Technologies: Foundations, Tools, and Applications
Book Subtitle: 9th International Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, Proceedings
Editors: Nick Bassiliades, Georg Gottlob, Fariba Sadri, Adrian Paschke, Dumitru Roman
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-21542-6
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing Switzerland 2015
Softcover ISBN: 978-3-319-21541-9Published: 23 July 2015
eBook ISBN: 978-3-319-21542-6Published: 11 July 2015
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XIX, 474
Number of Illustrations: 77 b/w illustrations
Topics: Artificial Intelligence, Information Systems Applications (incl. Internet), Logics and Meanings of Programs, Computer Applications, Information Storage and Retrieval