Nantilus
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 |
| Langue : | anglais |
| Titre complet : | Theory, practice, and applications of rules on the Web : 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013 : proceedings / edited by Leora Morgenstern, Petros Stefaneas, François Lévy, Adam Wyner, Adrian Paschke |
| Édition : | 1st ed. 2013. |
| Publié : |
Berlin, Heidelberg :
Springer Berlin Heidelberg
, [20..] Cham : Springer Nature |
| Collection : | Programming and Software Engineering ; 8035 |
| Accès en ligne : |
Accès Nantes Université
Accès direct soit depuis les campus via le réseau ou le wifi eduroam soit à distance avec un compte @etu.univ-nantes.fr ou @univ-nantes.fr |
| Note sur l'URL : | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex |
| Condition d'utilisation et de reproduction : | Conditions particulières de réutilisation pour les bénéficiaires des licences nationales : https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 |
| Contenu : | 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 |
| Sujets : | |
| Documents associés : | Autre format:
Theory, Practice, and Applications of Rules on the Web Autre format: Theory, Practice, and Applications of Rules on the Web |