Editors:
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 10364)
Part of the book sub series: Programming and Software Engineering (LNPSE)
Conference series link(s): RuleML+RR: International Joint Conference on Rules and Reasoning
Conference proceedings info: RuleML+RR 2017.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (16 papers)
-
Front Matter
-
Back Matter
About this book
The 16 regular papers presented together with 2 keynote abstracts were carefully reviewed and selected from 29 submissions.
The RR conference series has been a forum for discussion and dissemination of new results on all topics concerning Web Reasoning and Rule Systems, with an emphasis on rule-based approaches and languages. The RuleML conference series has been devoted to disseminating research, applications, languages and standards for rule technologies, with attention to both theoretical and practical developments, to challenging new ideas and industrial applications. Both series of conferences aimed at building bridges between academia and industry in the field of rules and their applications. Therefore, RuleML+RR is expected to become a leading conference for all subjects concerning theoretical advances, novel technologies, and innovative applications about knowledge representation and reasoning with rules.This new joint conference provides a valuable forum for stimulating cooperation and cross-fertilization between the many different communities focused on the research, development and applications of rule-based systems. It provides the possibility to present and discuss applications of rules and reasoning in academia, industry, engineering, business, finance, healthcare and other application areas.
Keywords
- Temporal Reasoning
- Spatial and Physical Reasoning
- Rule Learning
- Business Rules
- Reactive Rules
- Association Rules
- Logic and Verification
- Markup Languages
- Modal and Temporal Logics
- Description Logics
- Proof Theory
- Ontologies
- Legal Rules
- Constraint Handling Rules
- Artificial Intelligence
- Semantics
- Knowledge based systems
- Programming languages
- World Wide Web
- Logic programming
Editors and Affiliations
-
University of L’Aquila, L’Aquila, Italy
Stefania Costantini
-
Free University of Bozen-Bolzano, Bolzano, Italy
Enrico Franconi
-
Dalhousie University, Halifax, Canada
William Van Woensel
-
Birkbeck, University of London, London, United Kingdom
Roman Kontchakov
-
Imperial College London, London, United Kingdom
Fariba Sadri
-
SINTEF/University of Oslo, Oslo, Norway
Dumitru Roman
Bibliographic Information
Book Title: Rules and Reasoning
Book Subtitle: International Joint Conference, RuleML+RR 2017, London, UK, July 12–15, 2017, Proceedings
Editors: Stefania Costantini, Enrico Franconi, William Van Woensel, Roman Kontchakov, Fariba Sadri, Dumitru Roman
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-61252-2
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing AG 2017
Softcover ISBN: 978-3-319-61251-5Published: 14 June 2017
eBook ISBN: 978-3-319-61252-2Published: 03 July 2017
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XVIII, 239
Number of Illustrations: 43 b/w illustrations
Topics: Programming Techniques, Programming Languages, Compilers, Interpreters, Mathematical Logic and Formal Languages, Artificial Intelligence, Software Engineering, Computer Applications