RuleML 2008: Orlando, Florida, USA

Nick Bassiliades, Guido Governatori, Adrian Paschke (Eds.): Rule Representation, Interchange and Reasoning on the Web, International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings. Lecture Notes in Computer Science 5321 Springer 2008, ISBN 978-3-540-88807-9 BibTeX

Keynote Talks

Michael Kifer:
Rule Interchange Format: The Framework. 1-2
Electronic Edition (link) BibTeX
David Luckham:
The Power of Events: An Introduction to Complex Event Processing in Distributed Enterprise Systems. 3
Electronic Edition (link) BibTeX
Paul Haley:
Event and Process Semantics Will Rule. 4-5
Electronic Edition (link) BibTeX

Valentin Zacharias:
Development and Verification of Rule Based Systems - A Survey of Developers. 6-16
Electronic Edition (link) BibTeX
Erik Putrycz, Anatol W. Kark:
Connecting Legacy Code, Business Rules and Documentation. 17-30
Electronic Edition (link) BibTeX
Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib:
Verifying Resource Requirements for Distributed Rule-Based Systems. 31-38
Electronic Edition (link) BibTeX
David A. Ostrowski:
Meta-analysis for Validation and Strategic Planning. 39-46
Electronic Edition (link) BibTeX

Scott Buffett:
Abductive Workflow Mining Using Binary Resolution on Task Successor Rules. 47-57
Electronic Edition (link) BibTeX
Akhil Kumar, Rong Liu:
A Rule-Based Framework Using Role Patterns for Business Process Compliance. 58-72
Electronic Edition (link) BibTeX
Jakub Moskal, Christopher J. Matheus:
Detection of Suspicious Activity Using Different Rule Engines - Comparison of BaseVISor, Jena and Jess Rule Engines. 73-80
Electronic Edition (link) BibTeX
Massimo Strano, Carlos Molina-Jiménez, Santosh K. Shrivastava:
A Rule-Based Notation to Specify Executable Electronic Contracts. 81-88
Electronic Edition (link) BibTeX

Duy Hoang Pham, Guido Governatori, Simon Raboczi, Andrew Newman, Subhasis Thakur:
On Extending RuleML for Modal Defeasible Logic. 89-103
Electronic Edition (link) BibTeX
Davide Sottara, Paola Mello, Mark Proctor:
Adding Uncertainty to a Rete-OO Inference Engine. 104-118
Electronic Edition (link) BibTeX
Pedro J. Morcillo, Gines Moreno:
Programming with Fuzzy Logic Rules by Using the FLOPER Tool. 119-126
Electronic Edition (link) BibTeX
Kirsten Terfloth, Jochen H. Schiller:
Ruling Networks with RDL: A Domain-Specific Language to Task Wireless Sensor Networks. 127-134
Electronic Edition (link) BibTeX

Antonis Bikakis, Grigoris Antoniou:
Local and Distributed Defeasible Reasoning in Multi-Context Systems. 135-149
Electronic Edition (link) BibTeX
Benjamin Larry Craig, Harold Boley:
Personal Agents in the Rule Responder Architecture. 150-165
Electronic Edition (link) BibTeX
Raluca Zaharia, Laurentiu Vasiliu, Costin Badica:
Semi-automatic Composition of Geospatial Web Services Using JBoss Rules. 166-173
Electronic Edition (link) BibTeX
Sheng Gao, Darka Mioc, Harold Boley, Francois Anton, Xiaolun Yi:
A RuleML Study on Integrating Geographical and Health Information. 174-181
Electronic Edition (link) BibTeX

Mark H. Linehan:
SBVR Use Cases. 182-196
Electronic Edition (link) BibTeX
Ioannis Avguleas, Katerina Gkirtzou, Sofia Triantafilou, Antonis Bikakis, Grigoris Antoniou, Efstratios Kontopoulos, Nick Bassiliades:
Visualization of Proofs in Defeasible Logic. 197-210
Electronic Edition (link) BibTeX
Kiyoshi Nitta:
Building an Autopoietic Knowledge Structure for Natural Language Conversational Agents. 211-218
Electronic Edition (link) BibTeX
Marcelo Tallis, Robert Balzer:
A Functional Spreadsheet Framework for Authoring Logic Implication Rules. 219-226
Electronic Edition (link) BibTeX

Gary Hallmark, Christian de Sainte Marie, Marcos Didonet Del Fabro, Patrick Albert, Adrian Paschke:
Please Pass the Rules: A Rule Interchange Demonstration. 227-235
Electronic Edition (link) BibTeX
Kirsten Terfloth, Jochen H. Schiller:
Self-sustained Routing for Event Diffusion in Wireless Sensor Networks. 236-241
Electronic Edition (link) BibTeX