| Description |
1 online resource (xvii, 248 pages) : illustrations (black and white) |
| Series |
Lecture notes in computer science, 0302-9743 ; 8035 |
|
LNCS sublibrary. SL 2, Programming and software engineering |
|
Lecture notes in computer science ; 8035.
|
|
LNCS sublibrary. SL 2, Programming and software engineering.
|
| Contents |
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 |
| Summary |
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 |
| Analysis |
Computer science |
|
Computer Communication Networks |
|
Software engineering |
|
Logic design |
|
Artificial intelligence |
|
Information Systems Applications (incl. Internet) |
|
Logics and Meanings of Programs |
| Notes |
International conference proceedings |
|
Includes author index |
|
Online resource; title from PDF title page (SpringerLink, viewed July 17, 2013) |
|
Print version record |
| Subject |
Rule-based programming -- Congresses
|
|
Semantic Web -- Congresses
|
|
Software
|
|
software.
|
|
Rule-based programming
|
|
Semantic Web
|
| Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
| Form |
Electronic book
|
| Author |
Morgenstern, Leora, editor
|
|
Stefaneas, Petros, editor
|
|
Lévy, Franc̜ois, editor
|
|
Wyner, Adam, editor
|
|
Paschke, Adrian, editor
|
| ISBN |
9783642396175 |
|
3642396178 |
|
