CFP: RuleML-2012@ECAI (6th International Symposium on Rules)

===============
CALL FOR PAPERS
===============

The 6th International Symposium on Rules: Research Based and Industry
Focused, Montpellier, France, August 27-29, 2012.
http://2012.ruleml.org

The International Symposium on Rules, RuleML, 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 RuleML
Symposium will be held in conjunction with ECAI 2012, the 20th biennial
European Conference on Artificial Intelligence, in Montpellier, France,
August 27-29, 2012. RuleML 2012 will be the host of the 7th AIS SigPrag
International Conference on Pragmatic Web (ICPW 2012).


Objectives
============================================

RuleML-2012@ECAI 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-2012will 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.

We invite you to share your ideas, results, and experiences: as an industry
practitioner, rule system provider, technical expert and developer, rule
user or researcher, exploring foundations, developing systems and
applications, or using rule-based systems.


Topics
============================================

We invite high-quality submissions related to (but not limited to) one or
more of the following topics:

   * Rules and Automated Reasoning
   * Logic Programming and Non-monotonic Reasoning
   * Int. Conference track on Pragmatic Web (see track description below)
   * Rule-Based Policies, Reputation and Trust
   * Rule-based Event Processing and Reaction Rules
   * Fuzzy Rules and Uncertainty
   * Rule Transformation, Extraction and Learning
   * Vocabularies, Ontologies, and Business rules
   * Rules in online-market research and online marketing
   * Rule Markup Languages and Rule Interchange
   * General Rule Topics


Important Dates
============================================

Abstract submission: March 25, 2012
Paper submission: April 1, 2012
Notification of acceptance/rejection: May 20, 2012
Camera-ready copy due: June 10, 2012
RuleML-2012 dates: August 27-29, 2012


Submission guidelines
============================================

Papers must be in English and must be submitted at
http://www.easychair.org/conferences/?conf=ruleml2012 as:

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

Please upload all submissions as PDF files based on the LNCS format (
http://www.springer.de/comp/lncs/authors.html). The selected papers will be
published in book form in the Springer Lecture Notes in Computer Science
(LNCS) series.


Organization
============================================

General Chairs:
Grigoris Antoniou, Institute of Computer Science, FO.R.T.H., GR
Guido Governatori, NICTA, Australia

Program Chairs:
Antonis Bikakis, University College London, UK
Adrian Giurca, Brandenburg University of Technology, DE


Satellite Events
============================================

The RuleML2012 Conference is also hosting

   * The 7th AIS SigPrag International Conference Track on Pragmatic Web
   * The RuleML2012 Doctoral Consortium:
http://2012.ruleml.org/phdconsortium
   * The 6th International Rule Challenge:
http://2012.ruleml.org/rulechallenge


Int. Conference on Pragmatic Web (ICPW 2012)
============================================

The conference track on PRAGMATIC WEB is part of RuleML-2012 and centred
around the study of "pragmatics"  in the Semantic Web. That is, it draws
attention to how communicative actions are performed by agents via  Web
media and illuminates how mutual understanding and commitments to actions
can evolve in (agent) conversations. This year the Pragmatic Web conference
track has a special focus on the applications of rule-based technologies
and AI agent technologies for the Pragmatic Web. Topics of Interest include
one or more of the following topics (but are not limited to):

 * Rule-Based Distributed/Multi-Agent Systems
 * Rules, Agents and Norms
 * Rule-Based Communication, Dialogue and Argumentation Models
 * Vocabularies / ontologies for pragmatic primitives (e.g. speech acts,
deontic primitives)
 * Pragmatic Web reasoning and distributed rule inference / rule execution

For further information about the Pragmatic Web see
http://www.pragmaticweb.info/


RuleML 2012 Doctoral Consortium
============================================

The RuleML 2012 Doctoral Consortium is an initiative of the International
Symposium on Rules, RuleML, to attract and promote Ph.D. research in the
area of Rules and Markup Languages. The doctoral symposium offers to
students a close contact with leading experts on the field, as well as the
opportunity to present and discuss their ideas in a dynamic and friendly
setting. The accepted thesis descriptions will be presented to an
interested audience and subject to discussion with a panel of senior
researchers, and we expect submissions on any (but not limited to) of this
year's RuleML2012@ECAI topics.

Students are invited to submit an original description of their work
addressing the following aspects:

   * A clear formulation of the research question.
   * An identification of the significant problems in the field of research..
   * An outline of the current knowledge of the problem domain, as well as
the state of existing solutions.
   * A presentation of any preliminary ideas, the proposed approach and the
results achieved so far.
   * A sketch of the applied research methodology.
   * A description of the Ph.D. project's contribution to the problem
solution.
   * A discussion of how the suggested solution is different, new, or
better as compared
     to existing approaches to the problem.

Accepted submissions will be published in internal proceedings and later on
published in CEUR Workshop Proceedings (http://www.ceur-ws.org) volume of
RuleML.

Important Dates
----------------------------------------
Paper submission:                     June 25, 2012
Notification of acceptance/rejection: July 16, 2012
Camera-ready copy due:                July 30, 2012
Doctoral Consortium date:             August 27, 2012

Submission guidelines
----------------------------------------
Thesis descriptions are limited to 8 pages in English using LNCS format (
http://www.springer.de/comp/lncs/authors.html) and submitted electronically
in PDF format jointly with a maximum 5 page CV.

Please submit to:
http://www.easychair.org/conferences/?conf=ruleml2012consortium

If you have no EasyChair account, then you should sign up for an account at
https://www.easychair.org/account/signup.cgi?conf=ruleml2012consortium

Chairs
----------------------------------------
Grzegorz J. Nalepa, AGH University of Science and Technology, Kraków,
Poland
Monica Palmirani, CIRSFID-University of Bologna, Italy


6th International Rule Challenge
============================================

The International RuleML2012@ECAI Challenge is one of the highlights of the
RuleML2012 conference. The challenge is dedicated to practical experiences
with rule-oriented applications. In particular, submissions of
benchmarks/evaluations, demos, case studies/use cases, experience reports,
best practice solutions (e.g. design patterns, reference architectures,
models), rule-based implementations/tools/applications, demonstrations of
engineering methods, implementations of rule standards (e.g. RuleML, RIF,
SBVR, PRR, rule-based Event Processing languages, BPMN+rules,
BPEL+rules,...), rules + industrial standards (e.g. XBRL, MISMO,
Accord,...), and industrial problem statements are particularly encouraged.

Key themes of the International RuleML2012@ECAI Challenge include (but they
are NOT limited to) the following:

   * Industrial rule-based applications includiong rule-based Web
applications
   * Demos related to the RuleML2012@ECAI Topics
   * Extensions and implementations of rule standards: W3C RIF, RuleML,
SBVR,...
   * Editing environments and IDEs for Web rules
   * Benchmarks and comparison results for rule engines
   * Distributed rule bases and rule services
   * Reports on industrial experience about rule systems

Previous challenge editions were in Ft Lauderdale, Florida (
http://2011.ruleml.org/america/challenge ), in Washington, DC (
http://2010.ruleml.org/ruleml-2010-challenge.html ), in Las Vegas, Nevada (
http://2009.ruleml.org/challenge ) and Orlando, Florida (
http://2008.ruleml.org/challenge.php  and
http://2007.ruleml.org/index-Dateien/Page787.htm).

RuleML2012Challenge is the first edition taking place in Europe.

Important Dates
----------------------------------------
Abstract submission:                        March 6, 2012
Paper submission:                            May 25, 2012
Notification of acceptance/rejection:   July 1, 2012
Camera-ready copy due:                   July 15, 2012
RuleML Challenge date:                    TBA


Submission guidelines
----------------------------------------
Submissions to the International RuleML2012@ECAI Challenge consist of:

  1. An early 1 page abstract announcing the application.
  2. An open-source or commercial demo
  3. A demo paper, using LNCS format, describing research, implementation,
and technical details of your submission.

Submit both the demo and the paper to
http://www.easychair.org/conferences/?conf=ruleml2012challenge.
Would you have an online demo please indicate in the description paper an
URL were it can be tested and evaluated.

If you have no EasyChair account, then you should sign up for an account at
https://www.easychair.org/account/signup.cgi?conf=ruleml2012challenge

Chairs
----------------------------------------
Adrian Giurca, Yuh-Jong Hu and Dumitru Roman