RuleML 2008: Orlando, Florida, USA

Keynote Talks

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

Rule Engineering

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

Rule-Based Methodologies and Applications in Policies, Electronic Contracts and Security

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

Rule Representation Languages and Reasoning Engines

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

Rule-Based Methodologies and Applications in Distributed and Heterogeneous Environments

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

Natural-Language and Graphical Rule Representation and Processing

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

RuleML-2008 Challenge

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