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

Reaction RuleML 1.0 for Rules, Events and Actions in Semantic Complex Event Processing.- A Logical Characterization of a Reactive System Language.- On Using Semantically-Aware Rules for Efficient Online Communication.- Conceptual Model Interoperability: A Metamodel-driven Approach.- On Verifying Reactive Rules Using Rewriting Logic.- Using Rules to Develop a Personalized and Social Location Information System for the Semantic Web.- Checking Termination of Logic Programs with Function Symbols through Linear Constraints.- A Datalog+ RuleML 1.01 Architecture for Rule-Based Data Access in Ecosystem Research.- A Hybrid Diagnosis Approach Combining Black-Box and White-Box Reasoning.- Multi-valued Argumentation Frameworks.- Incomplete and Uncertain Data Handling in Context-Aware Rule-Based Systems with Modified Certainty Factors Algebra.- The Hardness of Revising Defeasible Preferences.- From Guidelines to Practice: Improving Clinical Care through Rule-Based Clinical Decision Support at the Point of Care.- Requirement Compound Mining and Analysis.- Semi-automated Vocabulary Building for Structured Legal English.- Basics for a Grammar Engine to Verbalize Logical Theories in isiZulu.- Formal Rule Representation and Verification from Natural Language Requirements Using an Ontology.- Learning Business Rules with Association Rule Classifiers.- Interpreting Web Shop User’s Behavioral Patterns as Fictitious Explicit Rating for Preference Learning.- Learning Association Rules from Data through Domain Knowledge and Automation.- Using Discriminative Rule Mining to Discover Declarative Process Models with Non-atomic Activities.- Modeling Obligations with Event-Calculus.- A Process for Knowledge Transformation and Knowledge Representation of Patent Law.- Legal Responsibility for the Acts of Others: A Logical Analysis.