Home
5th International Symposium on Rules

Sponsors

(Silver Sponsor)

(Silver Sponsor)

(Silver Sponsor)

(Silver Sponsor)

(Bronze Sponsor)

(Bronze Sponsor)

(Bronze Sponsor)

Partners

Related Events


Program

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

Download program in PDF

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
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