000 -LEADER |
fixed length control field |
05210nam a22006375i 4500 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
ISBN |
9783642396175 |
-- |
978-3-642-39617-5 |
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
Classification number |
006.3 |
245 10 - TITLE STATEMENT |
Title |
Theory, Practice, and Applications of Rules on the Web |
Sub Title |
7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013. Proceedings / |
Statement of responsibility, etc |
edited by Leora Morgenstern, Petros Stefaneas, François Lévy, Adam Wyner, Adrian Paschke. |
260 #1 - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
Place of publication |
Berlin, Heidelberg : |
Name of publisher |
Springer Berlin Heidelberg : |
-- |
Imprint: Springer, |
Year of publication |
2013. |
300 ## - PHYSICAL DESCRIPTION |
Number of Pages |
XVIII, 249 p. 69 illus. |
Other physical details |
online resource. |
490 1# - SERIES STATEMENT |
Series statement |
Lecture Notes in Computer Science, |
505 0# - FORMATTED CONTENTS NOTE |
Formatted contents note |
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. |
520 ## - SUMMARY, ETC. |
Summary, etc |
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. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical Term |
Computer science. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical Term |
Computer Communication Networks. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical Term |
Software engineering. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical Term |
Logic design. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical Term |
Artificial intelligence. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical Term |
Information systems. |
650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical Term |
Computer Science. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical Term |
Artificial Intelligence (incl. Robotics). |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical Term |
Information Systems Applications (incl. Internet). |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical Term |
Logics and Meanings of Programs. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical Term |
Computer Communication Networks. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical Term |
Software Engineering. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical Term |
Computer Appl. in Administrative Data Processing. |
700 1# - ADDED ENTRY--PERSONAL NAME |
Personal name |
Morgenstern, Leora. |
700 1# - ADDED ENTRY--PERSONAL NAME |
Personal name |
Stefaneas, Petros. |
700 1# - ADDED ENTRY--PERSONAL NAME |
Personal name |
Lévy, François. |
700 1# - ADDED ENTRY--PERSONAL NAME |
Personal name |
Wyner, Adam. |
700 1# - ADDED ENTRY--PERSONAL NAME |
Personal name |
Paschke, Adrian. |
856 40 - ELECTRONIC LOCATION AND ACCESS |
Uniform Resource Identifier |
http://dx.doi.org/10.1007/978-3-642-39617-5 |
942 ## - ADDED ENTRY ELEMENTS (KOHA) |
Koha item type |
E-BOOKS |
264 #1 - |
-- |
Berlin, Heidelberg : |
-- |
Springer Berlin Heidelberg : |
-- |
Imprint: Springer, |
-- |
2013. |
336 ## - |
-- |
text |
-- |
txt |
-- |
rdacontent |
337 ## - |
-- |
computer |
-- |
c |
-- |
rdamedia |
338 ## - |
-- |
online resource |
-- |
cr |
-- |
rdacarrier |
347 ## - |
-- |
text file |
-- |
PDF |
-- |
rda |
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
-- |
0302-9743 ; |