Theory, practice, and applications of rules on the Web : 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013 : proceedings
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...
Enregistré dans:
| Autres auteurs: | , , , , |
|---|---|
| Format: | Livre numérique |
| Langue: | Anglais |
| Publié: |
Berlin, Heidelberg :
Springer Berlin Heidelberg
[20..].
Cham : Springer Nature |
| Édition: | 1st ed. 2013. |
| Collection: | Programming and Software Engineering
8035 |
| Accès en ligne: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Note: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Theory, Practice, and Applications of Rules on the Web, Texte imprimé, 9783642396168 • Theory, Practice, and Applications of Rules on the Web, Texte imprimé, 9783642396182 |
Table des matières:
- 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