000 05197nam a22005895i 4500
001 978-3-540-88808-6
003 DE-He213
005 20240423125720.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 .
650 0 _aSoftware engineering.
650 0 _aData mining.
650 0 _aComputer science.
650 1 4 _aComputer Communication Networks.
650 2 4 _aSoftware Engineering.
650 2 4 _aData Mining and Knowledge Discovery.
650 2 4 _aModels of Computation.
700 1 _aBassiliades, Nick.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aGovernatori, Guido.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aPaschke, Adrian.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
710 2 _aSpringerLink (Online service)
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
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 _cSPRINGER
999 _c180960
_d180960