[agents] 2nd CFP RuleML 2010

Fri May 7 10:50:09 EDT 2010

------------------------------------------------------------------------

[Apologies for multiple postings]

2nd Call for Papers

RuleML-2010

4th International Web Rule Symposium:
Research Based and Industry Focused

October 21-23, 2010, Washington, DC, USA

Co-located with the 13th Business Rules Forum

http://2010.ruleml.org/

Overview and Aim
======================================================
The International Web Rule Symposium has evolved from an annual series
of international workshops since 2002, international conferences in 2005
and 2006, and international symposia since 2007. This year, the 4th
International Web Rule Symposium (RuleML-2010) will be held near
Washington, DC, USA, co-located with the 13th Business Rules Forum, the
world's largest Business Rules event. RuleML-2010 is devoted to
practical distributed rule technologies and rule-based applications,
which need language standards for rules (inter)operating in, e.g., the
Semantic Web, Enterprise Systems, Intelligent Multi-Agent Systems,
Event-Driven Architectures, and Service-Oriented Applications.

RuleML-2010 is a research-based, industry-focused symposium: its main
goal is to build a bridge between academia and industry in the field of
rules and semantic technology, and so to stimulate the cooperation and
interoperability between business and research, by bringing together
rule system providers, participants in rule standardization efforts,
open source communities, practitioners, and researchers. The concept of
the symposium has also advanced continuously in the face of extremely
rapid progress in practical rule and event processing technologies. As a
result, RuleML-2010 will feature hands-on demonstrations and challenges
alongside a wide range of thematic tracks. It will thus be an exciting
venue to exchange new ideas and experiences on all issues related to the
engineering, management, integration, interoperation, and interchange of
rules in distributed enterprise intranets and open distributed
environments.

Conference Theme
======================================================
This year, we particularly welcome submissions that address applications
of Web rule technologies for business and information systems. We invite
you to share your ideas, results, and experiences: as an industry
practitioner, rule system provider, technical expert, developer, rule
user or researcher, exploring foundations, developing systems and
applications, or using rule-based systems. We invite high-quality
submissions related to (but not limited to) one or more of the following
topics:

Track Topics
------------------------------------------------------------------------------
Rules, Semantic Technology, and Cross-Industry Standards
Rules in current industry standards, including:
 * XBRL: Extensible Business Reporting Language
 * MISMO: Mortgage Industry Standards Maintenance Org
 * FIXatdl: FIX Algorithmic Trading Definition Language
 * FpML: Financial products Markup Language
 * HL7: Health Level 7
 * Acord: Association for Cooperative Operations Research and Development 
   (Insurance Industry)
 * Rules for Governance, Risk, and Compliance (GRC), e.g., rules for 
   internal audit, SOX compliance, enterprise risk management (ERM), 
   operational risk, etc
 * Rules and Corporate Actions

- Rule Transformation and Extraction
 * Transformation and extraction with rule standards, such as SBVR, RIF and OCL
 * Extraction of rules from code
 * Transformation and extraction in the context of frameworks such as 
   KDM (Knowledge Discovery meta-model)
 * Extraction of rules from natural language
 * Transformation or rules from one dialect into another

- Rules and Uncertainty
 * Languages for the formalization of uncertainty rules
 * Probabilistic, fuzzy and other rule frameworks for reasoning with uncertain 
   or incomplete information
 * Handling inconsistent or disparate rules using uncertainty
 * Uncertainty extensions of event processing rules, business rules, 
   reactive rules, causal rules, derivation rules, association rules, 
   or transformation rules

- Rules and Norms
 * Methodologies for modeling regulations using both ontologies and rules
 * Defeasibility and norms: modeling rule exceptions and priority relations 
   among rules
 * The relationship between rules and legal argumentation schemes
 * Rule language requirements for the "isomorphic" modeling of legislation
 * Rule based inference mechanism for legal reasoning
 * E-contracting and automated negotiations with rule-based declarative 
   strategies

- Rules and Inferencing
 * From rules to FOL to modal logics
 * Rule-based non-monotonic reasoning
 * Rule-based reasoning with modalities
 * Deontic rule-based reasoning
 * Temporal rule-based reasoning
 * Priorities handling in rule-based systems
 * Defeasible reasoning
 * Rule-based reasoning about context and its use in smart environments
 * Combination of rules and ontologies
 * Modularity

- Rule-based Event Processing and Reaction Rules
 * Reaction rule languages and engines (production rules, ECA rules, logic 
   event action formalisms, vocabularies/ontologies)
 * State management approaches and frameworks
 * Concurrency control and scalability
 * Event and action definition, detection, consumption, termination, lifecycle 
   management
 * Dynamic rule-based workflows and intelligent event processing 
   (rule-based CEP)
 * Non-functional requirements, use of annotations, metadata to capture those
 * Design time and execution time aspects of rule-based (Semantic) Business 
   Processes Modeling and Management
 * Practical and business aspects of rule-based (Semantic) Business Process 
   Management (business scenarios, case studies, use cases etc.)

- Rule-Based Distributed/Multi-Agent Systems
 * rule-based specification and verification of distributed and 
   multi-agent system
 * rule-based distributed reasoning and problem solving
 * rule-based agent architectures
 * rules and ontologies for semantic agents
 * rule-based interaction protocols for multi-agent systems
 * rules for service-oriented computing (discovery, composition, etc.)
 * rule-based cooperation, coordination and argumentation in multi-agent systems
 * rule-based e-contracting and negotiation strategies in multi-agent systems
 * rule interchange and reasoning interoperation in heterogeneous 
   Distributed/Multi-Agent Systems

We also welcome submissions on miscellaneous rule topics, such as
  - Rules and ontologies
  - Execution models, rule engines, and environments
  - Graphical processing, modeling and rendering of rules

Case studies, experience reports, and industrial problem statements are
particularly encouraged.

RuleML-2010 Challenge
======================================================
The RuleML-2010 Challenge is one of the highlights of RuleML-2010. Rules
are used in interesting and practically relevant ways to, e.g., derive
useful information, transform knowledge, provide decision support, and
provide automated rule-based monitoring, enforcement, validation or
management of the behavioral logic of an application. The Challenge
offers participants the chance to demonstrate their commercial and open
source tools, use cases, and applications.

This year Rule Challenge will have the following theme:

"Modelling Rules in the Temporal and Geospatial Applications"

The participants of the Challenge have the opportunity to understand 
the current trend of rule technology and standard development in the 
temporal and geospatial domain including:

- temporal modelling and reasoning;
- geospatial modelling and reasoning;
- cross linking between temporal and geospatial knowledge;
- visualization of the rules with graphics models in order 
  to favour the end-user interaction.

See, for more details (including submission guidelines)

http://www.csw.inf.fu-berlin.de/ruleml2010/ruleml-2010-challenge.html

Conference Language
======================================================
The official language of the conference will be English.

Submission
======================================================
Authors are invited to submit original contributions of practical
relevance and technical rigor in the field, experience reports and
show/use case demonstrations of effective and practical rule-based
technologies, or applications deployed in distributed environments.

RuleML-2010 Submission Guidelines, Springer Proceedings, Best Paper
Award
------------------------------------------------------------------------
Papers must be in English and may be submitted at

http://www.easychair.org/conferences/?conf=ruleml2010

as:

Full Papers (15 pages in the proceedings)
Short Papers (8 pages in the proceedings)

Please upload all submissions by also conforming to the following guidelines:

  * Papers must be uploaded as PDF files in LNCS format 
    (http://www.springer.de/comp/lncs/authors.html);
  * Whenever possible, indicate as a first keyword the track to which the paper 
    is submitted.

To ensure high quality, submitted papers will be carefully peer-reviewed 
by 3 PC members based on originality, significance, technical soundness, 
and clarity of exposition. Authors are requested to upload the abstracts 
of their papers before May 25, 2010 and to upload their complete papers 
by June 1, 2010. The selected papers will be published in book form in 
the Springer Lecture Notes in Computer Science (LNCS) series. The best 
paper from all submissions will be determined by the PC and a Best Paper 
Award will be presented at the Symposium. All submissions must be made 
electronically. A selection of revised papers will be resubmitted to 
a special issue of a journal. 

Review Process
======================================================
The submitted papers will pass the blind review process. At least three
members of the Program Committee will review each submission.

Important Dates:
======================================================

RuleML-2010 Symposium
----------------------------------------------
Abstract submission deadline: May 25, 2010
Paper Submission deadline: June 1, 2010
Notification of acceptance: July 7, 2010
Camera ready due: July 28, 2010
Symposium dates: October 21-23, 2010

RuleML-2010 Challenge (dates to be confirmed)
----------------------------------------------
Submission deadline for demo papers and 
  demo systems:	September 3, 2010
Notification of accepted demo papers 
  and demo systems: September 17, 2010
Submission deadline for 
  demo systems only: October 1, 2010 
  (contingent on availability of demo slots)
Notification for demo 
  systems only: October 15th, 2010

Conference Venue
======================================================
RuleML-2010 will take place at the Hilton Alexandria Mark Center, 
which is located 5 miles southwest of Washington, DC. 
The symposium is co-located with the 13th Business Rules Forum.

Hilton Alexandria Mark Center
5000 Seminary Road, Alexandria, Virginia, United States 22311

Internet: http://www1.hilton.com/en_US/hi/hotel/DCAAHHF-Hilton-Alexandria-Mark-Center-Virginia/index.do

Program Committee
======================================================

General Chairs
--------------------
Mike Dean, Raytheon BBN Technologies, USA
Said Tabet, RuleML Initiative, USA

Program Chairs
--------------------
John Hall, Model Systems, UK
Antonino Rotolo, University of Bologna, Italy

Liaison Chair
--------------------
Mark Proctor, Red Hat, UK

Publicity Chair
--------------------
Patrick Hung, University of Waterloo, Canada

Rule Responder Chairs
--------------------
Efstratios Kontopoulos, Aristotle University of Thessaloniki, Greece
Kalliopi Kravari, Aristotle University of Thessaloniki, Greece

Track Chairs
--------------------
Rules, Semantic Technology, and Cross-Industry Standards
Tracy Bost, Valocity, USA
Robert Golan, DBMind, USA

Rule Transformation and Extraction
Mark Linehan, IBM, USA

Rules and Uncertainty
Davide Sottara, University Bologna, Italy
Nikolaus Wulff, University of Muenster, Germany

Rules and Norms
Thomas Gordon, Fraunhofer FOKUS, Germany
Guido Governatori, NICTA, Australia

Rules and Inferencing
Grigoris Antoniou, Information Systems Laboratory, FORTH, Greece
Antonis Bikakis, Information Systems Laboratory, FORTH, Greece

Rule-based Event Processing and Reaction Rules
Alex Kozlenkov, Betfair Ltd., UK
Adrian Paschke, Free Univ. Berlin, Germany

Rule-Based Distributed/Multi-Agent Systems
Nick Bassiliades, Aristotle University of Thessaloniki, Greece
Costin Badica, University of Craiova, Romania

RuleML-2010 Challenge Chairs
------------------------------
Enrico Francesconi, ITTIG-CNR, Italy
Monica Palmirani, University of Bologna, Italy
Fabio Vitali, University of Bologna, Italy

RuleML-2010 Program Committee
------------------------------
Hassan Ait-Kaci, IBM, Canada
Sidney Bailin, Knowledge Evolution, USA
Matteo Baldoni, University of Turin, Italy
Claudio Bartolini, HP Labs, USA
Bernhard Bauer, University of Augsburg, Germany
Mikael Berndtsson, University of Skövde, Sweden
Pedro Bizarro, University of Coimbra, Portugal
Jonathan Bnayahu, IBM Haifa Research Lab, Israel
Guido Boella, University of Turin, Italy
Peter Bollen, University of Maastricht, Netherlands
Jordi Cabot, Universitat Oberta de Catalunya, Spain
Carlos Castro, Unversidad Técnica Federico Santa María, Chile
Donald Chapin, Business Semantics Ltd, UK
Federico Chesani, University of Bologna, Italy 
Horatiu Cirstea, Loria, France
Claudia d'Amato, University of Bari, Italy
Juergen Dix, Technische Universitaet Clausthal, Germany
Weichang Du, University of New Brunswick, Canada 
Schahram Dustdar, Vienna University of Technology, Austria
Andreas Eberhart, Fluid Operations, Germany
Jenny Eriksson Lundström, Uppsala University, Sweden
Opher Etzion, IBM, Israel
Todd Everett, Nationwide, USA
Maribel Fernandez, King�s College London, UK
Enrico Francesconi, ITTIG-CNR, Italy
Dragan Gasevic, Athabasca University, Canada
Adrian Giurca, Brandenburg University of Technology at Cottbus, Germany
Ioannis Hatzilygeroudis, University of Patras, Greece
Stijn Heymans, Technischen Universität Wien, Austria
Minsu Jang, E&T Research Institute, Korea
Yuh-Jong Hu, National Chengchi University, Taiwan 
Yiannis Kompatsiaris, Informatics and Telematics Institute, Greece
Manolis Koubarakis, National and Kapodistrian University of Athens, Greece
Wolfgang Laun, Thales Rail Signalling Solutions GesmbH, Austria 
Ching Long Yeh, Tatung University, Taiwan 
Ian Mackie, Ecole Polytechnique, France
Christopher Matheus, Vistology, USA
Craig McKenzie, SAIC Ltd., UK
Jing Mei, IBM, China
Zoran Milosevic, Deontik, Australia
Anamaria Moreira, URFN, Brazil
Leora Morgenstern, IBM, USA
Joerg Mueller, Technische Universitaet Clausthal, Germany
Chieko Nakabasami, Toyo University, Japan
Monica Palmirani, University of Bologna, Italy
Alun Preece, Cardiff University, UK
Maher Rahmouni, HP Labs, UK
Dave Reynolds, HP Labs, UK
Graham Rong, MIT Sloan School of Management, USA
Giovanni Sartor, University of Bologna, Italy
Marco Seirio, RuleCore, Sweden
Silvie Spreeuwenberg, LibRT, The Netherlands
Giorgos Stamou, National Technical University of Athens, Greece
Giorgos Stoilos, National Technical University of Athens, Greece
Nenad Stojanovic, University of Karlsruhe, Germany
Umberto Straccia, ISTI-CNR, Italy
Terrance Swift, XSB Inc., USA
Leon Van der Torre, University of Luxembourg, Luxembourg 
Jan Vanthienen, Katholieke Universiteit Leuven, Belgium
Fabio Vitali, University of Bologna, Italy
George Vouros, University of the Aegean, Greece
Kewen Wang, Griffith University, Australia
Segev Wasserkrug, IBM, Israel

RuleML-2010 Partners
======================================================

Partner Organizations
---------------------------------------------------
W3C: The World Wide Web Consortium

Media Partners
---------------------------------------------------
Springer LNCS

-- 

Dipartimento di Informatica
Università di Torino
Cso Svizzera 185
10149 Torino
Italy

tel +39 011 670 6820
fax +39 011 75 16 03
email guido at di.unito.it
web http://www.di.unito.it/~guido/