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 |
| LEADER | 06286clm a2200769 4500 | ||
|---|---|---|---|
| 001 | PPN172428394 | ||
| 003 | http://www.sudoc.fr/172428394 | ||
| 005 | 20241001155400.0 | ||
| 010 | |a 978-3-642-39617-5 | ||
| 017 | 7 | 0 | |a 10.1007/978-3-642-39617-5 |2 DOI |
| 035 | |a (OCoLC)862150788 | ||
| 035 | |a Springer978-3-642-39617-5 | ||
| 035 | |a SPRINGER_EBOOKS_LN_PLURI_10.1007/978-3-642-39617-5 | ||
| 035 | |a Springer-11645-978-3-642-39617-5 | ||
| 100 | |a 20131018f20 u |0frey0103 ba | ||
| 101 | 0 | |a eng |2 639-2 | |
| 102 | |a DE | ||
| 135 | |a dr||||||||||| | ||
| 181 | |6 z01 |c txt |2 rdacontent | ||
| 181 | 1 | |6 z01 |a i# |b xxxe## | |
| 182 | |6 z01 |c c |2 rdamedia | ||
| 182 | 1 | |6 z01 |a b | |
| 183 | |6 z01 |a ceb |2 RDAfrCarrier | ||
| 200 | 1 | |a Theory, practice, and applications of rules on the Web |e 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013 |e proceedings |f edited by Leora Morgenstern, Petros Stefaneas, François Lévy, Adam Wyner, Adrian Paschke | |
| 205 | |a 1st ed. 2013. | ||
| 214 | 0 | |a Berlin, Heidelberg |c Springer Berlin Heidelberg | |
| 214 | 2 | |a Cham |c Springer Nature |d [20..] | |
| 225 | 0 | |a Programming and Software Engineering |x 2945-9168 |v 8035 | |
| 327 | 1 | |a Invited Talks |a Probabilistic Soft Logic: A Scalable Approach for Markov Random Fields over Continuous-Valued Variables (Keynote) |a Rapid Text-based Authoring of Defeasible Higher-Order Logic Formulas, via Textual Logic and Rulelog (Summary of Invited Talk) |a Ontology Repositories Make a World of Difference (Keynote) |a Tutorials |a LegalRuleML: from Metamodel to Use Cases - A Tutorial |a Formalization of Natural Language Regulations through SBVR Structured English (Tutorial) |a Multi-Agent Activity Modeling with the Brahms Environment (Tutorial) |a Rules and Policy based handling of XML in Government Contexts including NIEM (Tutorial) |a Technical Papers, Main Track |a Reasoning over 2D and 3D Directional Relations in OWL: A Rule-Based Approach |a Grailog 1.0: Graph-Logic Visualization of Ontologies and Rules |a Modeling Stable Matching Problems with Answer Set Programming |a A Fuzzy, Utility-based Approach for Proactive Policy-based Management |a Picking Up The Best Goal: An Analytical Study in Defeasible Logic |a Computing Temporal Defeasible Logics |a Efficient Persistency Management in Complex Event Processing: A Hybrid Approach for Gamification Systems |a Ontology Patterns for Complex Activity Modelling |a A Rule-based Contextual Reasoning Platform for Ambient Intelligence Environments |a Extending an Object-Oriented Rete Network with fine-grained Reactivity to Property Modifications |a Computing the Stratified Well-Founded Semantics over Big Data through Mass Parallelization |a Distributed ECA Rules for Data Management Policies |a Technical Papers, Human Language Technology Track: Translating Between Human-Created Regulations and Formal Rules |a Semantic Relation Extraction from Legislative Text using Syntactic Dependencies and Support Vector Machines |a Interpreting Spatiotemporal Expressions from English to Fuzzy Logic |a Combining acquisition and debugging of business rule models | |
| 330 | |a 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 tutorials presented together with 3 invited talks were carefully reviewed and selected from numerous submissions. The accepted papers address topics such as rule-based programming and rule-based systems including production rules systems, logic programming rule engines, and business rules engines/business rules management systems; Semantic Web rule languages and rule standards; rule-based event processing languages (EPLs) and technologies; and research on inference rules, transformation rules, decision rules, production rules, and ECA rules | ||
| 371 | 0 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | |
| 371 | 0 | |a Accès soumis à abonnement pour tout autre établissement | |
| 371 | 1 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales |c https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | |
| 410 | | | |t Programming and Software Engineering |x 2945-9168 |v 8035 | |
| 452 | | | |t Theory, Practice, and Applications of Rules on the Web |b Texte imprimé |y 9783642396168 | |
| 452 | | | |t Theory, Practice, and Applications of Rules on the Web |b Texte imprimé |y 9783642396182 | |
| 610 | 1 | |a Computer Science | |
| 610 | 2 | |a Artificial Intelligence (incl. Robotics) | |
| 610 | 2 | |a Information Systems Applications (incl. Internet) | |
| 610 | 2 | |a Logics and Meanings of Programs | |
| 610 | 2 | |a Computer Appl. in Administrative Data Processing | |
| 610 | 2 | |a Computer Communication Networks | |
| 610 | 2 | |a Software Engineering | |
| 610 | 1 | |a Artificial Intelligence. | |
| 610 | 2 | |a Computer Science Logic and Foundations of Programming | |
| 610 | 2 | |a Computer and Information Systems Applications | |
| 610 | 2 | |a Computer Application in Administrative Data Processing | |
| 615 | |a @Computer Science |n 11645 |2 Springer | ||
| 615 | |a Computer Science |n 11645 |2 Springer | ||
| 676 | |a 006.3 |v 23 | ||
| 680 | |a Q334-342 | ||
| 680 | |a TJ210.2-211.495 | ||
| 702 | 1 | |3 PPN261895605 |a Morgenstern |b Leora |4 651 | |
| 702 | 1 | |3 PPN150495927 |a Stéfanéas |b Pétros |4 651 | |
| 702 | 1 | |3 PPN119463512 |a Lévy |b François |4 651 | |
| 702 | 1 | |3 PPN231622082 |a Wyner |b Adam Zachary |4 651 | |
| 702 | 1 | |3 PPN128847212 |a Paschke |b Adrian |4 651 | |
| 801 | 3 | |a FR |b Abes |c 20231126 |g AFNOR | |
| 801 | 1 | |a DE |b Springer |c 20220401 |g AACR2 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/978-3-642-39617-5 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-3KZRZQ28-7 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 441099901:830860444 |u https://budistant.univ-nantes.fr/login?url=https://doi.org/10.1007/978-3-642-39617-5 | |
| 915 | |5 441099901:830860444 |b SPRING13-01031 | ||
| 930 | |5 441099901:830860444 |b 441099901 |j g | ||
| 991 | |5 441099901:830860444 |a Exemplaire créé en masse par ITEM le 30-09-2024 16:16 | ||
| 997 | |a NUM |b SPRING13-01031 |d NUMpivo |e EM |s d | ||
| 998 | |a 978881 | ||