Theory, Practice, and Applications of Rules on the Web 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013. Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Morgenstern, Leora (Επιμελητής έκδοσης), Stefaneas, Petros (Επιμελητής έκδοσης), Lévy, François (Επιμελητής έκδοσης), Wyner, Adam (Επιμελητής έκδοσης), Paschke, Adrian (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
• Σειρά: Lecture Notes in Computer Science, 8035
• Θέματα: Computer science.; Computer communication systems.; Software engineering.; Computer logic.; Artificial intelligence.; Application software.; Computer Science.; Artificial Intelligence (incl. Robotics).; Information Systems Applications (incl. Internet).; Logics and Meanings of Programs.; Computer Communication Networks.; Software Engineering.; Computer Appl. in Administrative Data Processing.

This book constitutes the refereed proceedings of the 7th International RuleML Symposium, RuleML 2013, held in Seattle, WA, USA, in July 2013 - collocated with the 27th AAAI 2013. The 22 full papers,12 technical papers in main track, 3 technical papers in human language technology track, and 4 tutor...

Πίνακας περιεχομένων:

• Invited Talks
• Probabilistic Soft Logic: A Scalable Approach for Markov Random Fields over Continuous-Valued Variables (Keynote)
• Rapid Text-based Authoring of Defeasible Higher-Order Logic Formulas, via Textual Logic and Rulelog (Summary of Invited Talk)
• Ontology Repositories Make a World of Difference (Keynote)
• Tutorials
• LegalRuleML: from Metamodel to Use Cases - A Tutorial
• Formalization of Natural Language Regulations through SBVR Structured English (Tutorial)
• Multi-Agent Activity Modeling with the Brahms Environment (Tutorial)
• Rules and Policy based handling of XML in Government Contexts including NIEM (Tutorial)
• Technical Papers, Main Track
• Reasoning over 2D and 3D Directional Relations in OWL: A Rule-Based Approach
• Grailog 1.0: Graph-Logic Visualization of Ontologies and Rules
• Modeling Stable Matching Problems with Answer Set Programming
• A Fuzzy, Utility-based Approach for Proactive Policy-based Management
• Picking Up The Best Goal: An Analytical Study in Defeasible Logic
• Computing Temporal Defeasible Logics
• Efficient Persistency Management in Complex Event Processing: A Hybrid Approach for Gamification Systems
• Ontology Patterns for Complex Activity Modelling
• A Rule-based Contextual Reasoning Platform for Ambient Intelligence Environments
• Extending an Object-Oriented Rete Network with fine-grained Reactivity to Property Modifications
• Computing the Stratified Well-Founded Semantics over Big Data through Mass Parallelization
• Distributed ECA Rules for Data Management Policies
• Technical Papers, Human Language Technology Track: Translating Between Human-Created Regulations and Formal Rules
• Semantic Relation Extraction from Legislative Text using Syntactic Dependencies and Support Vector Machines
• Interpreting Spatiotemporal Expressions from English to Fuzzy Logic
• Combining acquisition and debugging of business rule models.