BPM EduNet
RuleML-2011 Europe Springer LNCS Proceedings
Nick Bassiliades, Guido Governatori und Adrian Paschke
Rule-Based Reasoning, Programming, and Applications
5th International Symposium, RuleML 2011 – Europe, Barcelona, Spain, July 19-21, 2011. Proceedings, Lecture Notes in Computer Science, Volume 6826, 2011, DOI: 10.1007/978-3-642-22546-8
http://www.springerlink.com/content/978-3-642-22545-1/
RuleML-2011 Doctoral Consortium Pre-Proceedings
Carlos Viegas Damásio, Alun Preece, Umberto Straccia
Pre-Proceedings of the Doctoral Consortium and Poster Session
of the 5th International Symposium on Rules (RuleML 2011@IJCAI)
http://arxiv.org/html/1107.1686v1
Program Schedule
RuleML-2011 will take place in the Mediterraneo conference meeting room
| Day 1: Tuesday, July 19th, 2011 | |
| 08:30-09:15 | Registration |
| 09:15-09:30 | Chairs' Opening Address |
| 09:30-10:30 |
Keynote: An Overview of the CIAO System
Manuel Hermenegildo (TechnicalUniversity of Madrid)
|
| 10:30-11:00 | Break |
| Rules and Uncertainty | |
| 11:00-11:30 | Declarative Traces Into Fuzzy Computed Answers Pedro J. Morcillo, Ginés Moreno, Jaime Penabad, and Carlos Vázquez
|
| 11:30-11:50 | A Flexible XPath based Query Language implemented with Fuzzy Logic Programming Jesus Almendros, Alejandro Luna Tedesqui and Gines Moreno
|
| 11:50-13:25 | Lunch |
| Doctoral Consortium | |
| 13:25-13:30 | Doctoral Consortium Opening (track introduction)
Chair: Carlos Viegas Damásio
|
| 13:30-14:00 | Advancing Multi-Context Systems by Inconsistency Management Antonius Weinzierl
|
| 14:00-14:30 | Rule-based query answering method for a knowledge base of economic crimes Jaroslaw Bak
|
| 14:30-15:00 | Rule-Based Semantic Sensing Przemyslaw Woznowski
|
| 15:00-15:30 | Why (and How) Extend Commitment Protocols with Temporal Regulations Elisa Marengo
|
| 15:30-16:00 | Break |
| Rules and Reasoning I | |
| 16:00-16:30 | Modularity in the Rule Interchange Format Carlos Viegas Damásio, Anastasia Analyti and Grigoris Antoniou
|
| 16:30-17:00 | Algorithms for Rule Inference in Modularized Rule Bases Grzegorz J. Nalepa, Szymon Bobek, Antoni Ligeza and Krzysztof Kaczor
|
| 17:00-17:30 | Overview of Knowledge Formalization with XTT2 Rules Grzegorz J. Nalepa, Antoni Ligeza and Krzysztof Kaczor
|
| 17:30-17:50 | Semantic-ontological combination of Business Rules and Business Processes in IT Service Management Alexander Sellner, Christopher Schwarz and Erwin Zinser
|
Day 2: Wednesday, July 20th, 2011 |
|
| 08:30-09:00 | Registration |
| 09:00-10:00 |
Grigoris Antoniou (University of Crete)
|
| 10:30-11:00 | Break |
| Rules-based Distributed/Multi-Agent Systems | |
| 10:30-10:50 | Rule-based Distributed and Agent Systems (track introduction)
Costin Badica, Lars Braubach and Adrian Paschke
|
| 10:50-11:20 | Extending a Multi-agent Reasoning Interoperability Framework with Services for the Semantic Web Logic and Proof Layers Kalliopi Kravari, Konstantinos Papatheodorou, Grigoris Antoniou and Nick Bassiliades
|
| 11:20-11:40 | Cross-Community Interoperation Between the EMERALD and Rule Responder Multi-Agent Systems Kalliopi Kravari, Taylor Osmun, Harold Boley and Nick Bassiliades
|
| Rules and Reasoning II | |
| 11:40-12:00 | HalVA - Rule Analysis Framework for XTT2 Rules Grzegorz J. Nalepa, Szymon Bobek, Antoni Ligeza and Krzysztof Kaczor
|
| 12:00-13:00 | Lunch |
| Rule-based Event Processing and Reaction Rules | |
| 13:30-13:50 | On Complex Event Processing for real-time situational awareness (track introduction)
Nenad Stojanovic and Alexander Artikis
|
| 13:50-14:20 | Retractable Complex Event Processing and Stream Reasoning Darko Anicic, Sebastian Rudolph, Paul Fodor and Nenad Stojanovic
|
| 14:20-14:50 | Entity-Based State Management for Complex Event Processing Applications Hannes Obweger, Josef Schiefer, Martin Suntinger and Robert Thullner
|
| 14:50-15:20 | A Declarative Framework for Matching Iterative and Aggregative Patterns against Event Streams Darko Anicic, Sebastian Rudolph, Paul Fodor and Nenad Stojanovic
|
| 15:20-15:40 | Break |
| Rules, Agents and Norms | |
| 15:40-16:00 | Rules, Agents and Norms: Guidelines for Rule-based Normative Multi-agent Systems (track introduction)
Antonino Rotolo and Leon Van Der Torre
|
| 16:00-16:30 | Integrating written policies in Business Rule Management Systems Adeline Nazarenko, Abdoulaye Guissé, François Lévy, Nouha Omrane and Sylvie Szulman
|
| 16:30-17:00 | A dynamic metalogic argumentation framework implementation Jenny Eriksson Lundström, Giacomo Aceto and Andreas Hamfelt
|
| 17:00-17:30 | Rule-based agents, compliance, and intention reconsideration in defeasible logic (best paper award)
Antonino Rotolo
|
| 17:30-18:00 | Conditional Learning of Rules and Plans by Knowledge Exchange in Logical Agents Stefania Constantini, Pierangelo Dell'Acqua and Luís Moniz Pereira
|
| 19:30-21:30 |
Joint RuleML & IJCAI Conference dinner
(for more information please see http://ijcai-11.iiia.csic.es/program/banquet)
|
Day 3: Thursday, July 21st, 2011 |
|
| 09:30-10:00 | Registration |
| Rule-based Applications | |
| 10:00-10:30 | Rewriting Queries for Web Searches That Use Local Expressions Rolf Grütter, Iris Helming, Simon Speich and Abraham Bernstein
|
| 10:30-10:50 | Implementing General Purpose Applications with the Rule-based Approach Igor Wojnicki and Antoni Ligęza
|
| 10:50-11:10 | OWL Web Ontology Language as a Scripting Language for Smart Space Applications Espen Suenson, Johan Lilius and Ivan Porres
|
| 11:10-11:30 | Rule-Based Complex Event Processing for Food Safety and Public Health Monica Nogueira and Noel Greis
|
| 11:30-12:00 | Break |
| Rules and the Semantic Web | |
| 12:00-12:30 | A RIF-Style Semantics for RuleML-Integrated Positional-Slotted, Object-Applicative Rules Harold Boley
|
| 12:30-13:00 | COROR: A COmposable Rule-entailment Owl Reasoner for Resource-Constrained Devices Wei Tai, John Keeney and D O'Sullivan
|
| 13:00-13:30 | Rule-Based Trust Assessment on the Semantic Web Ian Jacobi, Lalana Kagal and Ankesh Khandelwal
|
| 13:30-13:50 | SOWL: A Framework for Handling Spatio-Temporal Information in OWL 2.0 Sotiris Batsakis and Euripides Petrakis
|
| 13:50-15:00 | Lunch |
| Rule Learning and Extraction | |
| 15:00-15:30 | A Framework for the Automatic Extraction of Rules from Online Text Saeed Hassanpour, Martin O'Connor and Amar K. Das
|
| 15:30-16:00 | Classification Rule Mining for A Stream of Perennial Objects Zaigham Faraz Siddiqui and Myra Spiliopoulou
|
| 16:00-16:20 | A Case for Learning Simpler Rule Sets with Multiobjective Evolutionary Algorithms Adam Ghandar, Zbigniew Michalewicz and Ralf Zurbruegg
|
| 16:20-17:00 |
Closing Session
Best Paper Award (Antonino Rotolo, "Rule-based agents, compliance, and intention reconsideration in defeasible logic") Feedback on RuleML-2011@IJCAI and Input for RuleML-2011@BRF
|
| 17:00-18:30 | RuleML Steering Committee Meeting |