About these proceedings
This book constitutes the refereed proceedings of the 8th International RuleML Symposium, RuleML 2014, co-located with the 21st European Conference on Artificial Intelligence, ECAI 2014, held in Prague, Czech Republic, in August 2014.
The 17 full and 6 short papers presented together with 3 keynote talks were carefully reviewed and selected from 48 submissions. The papers cover the following topics: semantic web rule languages and standards, rule engines, formal and operational semantics and rule-based systems, the relation between natural language and rules, automation of business rules generation from existing data, and aspects related to legal rules and norms for web and corporate environments.
applied computing association rules business rules decision support systems enterprise computing higher order logic information systems applications knowledge representation and reasoning legal rules logic and verification markup languages modal and temporal logics natural language processing ontologies proof theory reactive rules reasoning about belief and knowledge semantics and reasoning spatial and physical reasoning temporal reasoning
Rules on the Web. From Theory to Applications
8th International Symposium, RuleML 2014, Co-located with the 21st European Conference on Artificial Intelligence, ECAI 2014, Prague, Czech Republic, August 18-20, 2014. Proceedings
Lecture Notes in Computer Science
Springer International Publishing Switzerland 2014
Computer Science (R0)
Number of Pages
Number of Illustrations
77 b/w illustrations, 0 illustrations in colour
Information Systems Applications (incl. Internet)
Logics and Meanings of Programs
Buy this book on publisher's site