000 | 05280nam a22005895i 4500 | ||
---|---|---|---|
001 | 978-3-540-88808-6 | ||
003 | DE-He213 | ||
005 | 20240730184719.0 | ||
007 | cr nn 008mamaa | ||
008 | 100301s2008 gw | s |||| 0|eng d | ||
020 |
_a9783540888086 _9978-3-540-88808-6 |
||
024 | 7 |
_a10.1007/978-3-540-88808-6 _2doi |
|
050 | 4 | _aTK5105.5-5105.9 | |
072 | 7 |
_aUKN _2bicssc |
|
072 | 7 |
_aCOM043000 _2bisacsh |
|
072 | 7 |
_aUKN _2thema |
|
082 | 0 | 4 |
_a004.6 _223 |
245 | 1 | 0 |
_aRule Representation, Interchange and Reasoning on the Web _h[electronic resource] : _bInternational Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings / _cedited by Nick Bassiliades, Guido Governatori, Adrian Paschke. |
250 | _a1st ed. 2008. | ||
264 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg : _bImprint: Springer, _c2008. |
|
300 |
_aXIII, 243 p. _bonline resource. |
||
336 |
_atext _btxt _2rdacontent |
||
337 |
_acomputer _bc _2rdamedia |
||
338 |
_aonline resource _bcr _2rdacarrier |
||
347 |
_atext file _bPDF _2rda |
||
490 | 1 |
_aProgramming and Software Engineering, _x2945-9168 ; _v5321 |
|
505 | 0 | _aKeynote Talks (Abstracts) -- Rule Interchange Format: The Framework -- The Power of Events: An Introduction to Complex Event Processing in Distributed Enterprise Systems -- Event and Process Semantics Will Rule -- Rule Engineering -- Development and Verification of Rule Based Systems - A Survey of Developers -- Connecting Legacy Code, Business Rules and Documentation -- Verifying Resource Requirements for Distributed Rule-Based Systems -- Meta-analysis for Validation and Strategic Planning -- Rule-Based Methodologies and Applications in Policies, Electronic Contracts and Security -- Abductive Workflow Mining Using Binary Resolution on Task Successor Rules -- A Rule-Based Framework Using Role Patterns for Business Process Compliance -- Detection of Suspicious Activity Using Different Rule Engines - Comparison of BaseVISor, Jena and Jess Rule Engines -- A Rule-Based Notation to Specify Executable Electronic Contracts -- Rule Representation Languages and Reasoning Engines -- On Extending RuleML for Modal Defeasible Logic -- Adding Uncertainty to a Rete-OO Inference Engine -- Programming with Fuzzy Logic Rules by Using the FLOPER Tool -- Ruling Networks with RDL: A Domain-Specific Language to Task Wireless Sensor Networks -- Rule-Based Methodologies and Applications in Distributed and Heterogeneous Environments -- Local and Distributed Defeasible Reasoning in Multi-Context Systems -- Personal Agents in the Rule Responder Architecture -- Semi-automatic Composition of Geospatial Web Services Using JBoss Rules -- A RuleML Study on Integrating Geographical and Health Information -- Natural-Language and Graphical Rule Representation and Processing -- SBVR Use Cases -- Visualization of Proofs in Defeasible Logic -- Building an Autopoietic Knowledge Structure for Natural Language Conversational Agents.-A Functional Spreadsheet Framework for Authoring Logic Implication Rules -- RuleML-2008 Challenge -- Please Pass the Rules: A Rule Interchange Demonstration -- Self-sustained Routing for Event Diffusion in Wireless Sensor Networks. | |
520 | _aThis book constitutes the refereed proceedings of the International RuleML Symposium on Rule Interchange and Applications, RuleML 2008, held in Orlando, FL, USA, in October 2008 - collocated with the 11th International Business Rules Forum. The 10 revised full papers and 10 revised short papers presented together with 2 demo papers and the abstracts of 3 keynote lectures were carefully reviewed and selected from 35 submissions. The papers are organized in topical sections on rule engineering, rule-based methodologies and applications in policies, electronic contracts and security, rule representation languages and reasoning engines, rule-based methodologies and applications in distributed and heterogeneous environments, natural-language and graphical rule representation and processing, as well as exemplary contributions to the RuleML-2008 challenge. | ||
650 | 0 |
_aComputer networks . _931572 |
|
650 | 0 |
_aSoftware engineering. _94138 |
|
650 | 0 |
_aData mining. _93907 |
|
650 | 0 |
_aComputer science. _99832 |
|
650 | 1 | 4 |
_aComputer Communication Networks. _9136403 |
650 | 2 | 4 |
_aSoftware Engineering. _94138 |
650 | 2 | 4 |
_aData Mining and Knowledge Discovery. _9136404 |
650 | 2 | 4 |
_aModels of Computation. _931806 |
700 | 1 |
_aBassiliades, Nick. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9136405 |
|
700 | 1 |
_aGovernatori, Guido. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9136406 |
|
700 | 1 |
_aPaschke, Adrian. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9136407 |
|
710 | 2 |
_aSpringerLink (Online service) _9136408 |
|
773 | 0 | _tSpringer Nature eBook | |
776 | 0 | 8 |
_iPrinted edition: _z9783540888079 |
776 | 0 | 8 |
_iPrinted edition: _z9783540893424 |
830 | 0 |
_aProgramming and Software Engineering, _x2945-9168 ; _v5321 _9136409 |
|
856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-540-88808-6 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-SXCS | ||
912 | _aZDB-2-LNC | ||
942 | _cELN | ||
999 |
_c92442 _d92442 |