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, Francois Lévy, Adam Wyner, Adrian Paschke.

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
1 online resource (XVIII, 249 pages) : 69 illustrations
1st ed. 2013.
Computer Science (Springer-11645)
LNCS sublibrary. Programming and software engineering SL 2, 8035
Programming and Software Engineering ; 8035
Contained In:
Springer eBooks

Location Notes Your Loan Policy


Artificial intelligence.
Application software.
Computer logic.
Computer networks.
Software engineering.
Local subjects:
Artificial Intelligence. (search)
Information Systems Applications (incl. Internet). (search)
Logics and Meanings of Programs. (search)
Computer Communication Networks. (search)
Software Engineering. (search)
Computer Appl. in Administrative Data Processing. (search)
System Details:
text file PDF
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.
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)
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.
Morgenstern, Leora, editor., Editor,
Stefaneas, Petros. editor., Editor,
Lévy, François, editor., Editor,
Wyner, Adam. editor., Editor,
Paschke, Adrian, editor., Editor,
SpringerLink (Online service)
Other format:
Printed edition:
Printed edition:
Publisher Number:
10.1007/978-3-642-39617-5 doi
Access Restriction:
Restricted for use by site license.