2nd CFP: RuleML-2011@IJCAI (5th International Symposium on Rules)

Apologies for cross-posting
----------------------------------------------------------------------------

                                 CALL FOR PAPERS

                                RuleML 2011@IJCAI
     5th International Symposium on Rules: Research Based, Industry Focused

                        Barcelona, Spain, 19-21 July 2011

http://2011.ruleml.org


About The RuleML 2011 Symposia
-------------------------------

In 2011, two instalments of the RuleML Symposium will take place.
The first one will be held in conjunction with the International Joint 
Conference on
Artificial Intelligence (IJCAI 2011) in Barcelona, Spain, in July 19-21.
The second one will be co-located with the Business Rules Forum (BRF 2011)
to be held in Ft Lauderdale, Florida, Nov 3-4, including a Challenge
Award, which this year will be dedicated to Rules and Ontologies.
For RuleML-2011@IJCAI, a selection of the best papers will be presented
during a joint session with IJCAI, and the authors of these papers will be
invited to submit revised versions for inclusion in the IJCAI proceedings.


Objectives
----------
RuleML-2011@IJCAI 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-2011@IJCAI
will feature hands-on demonstrations and a use-case ranking 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.


Topics
------
As in the previous years the Symposium will be organized in tracks,
specifically for RuleML-2011@IJCAI the focus will be on the following areas:

- Rules and Automated Reasoning
   - Rule-based non-monotonic and defeasible reasoning
   - Rule-based reasoning with modalities (deontic, temporal, etc)
   - Priorities handling in rule-based systems
   - Combination of rules, objects, and ontologies
   - AI techniques for rule reasoning, e.g. theorem proving, SAT 
solving, planning, constraint solving
   - Declarative business process modelling using rules
   - Parsing, semantics and reasoning for natural language rules, such 
as SBVR
- Logic Programming and Non-monotonic Reasoning
   - Nonmonotonic reasoning systems for ontologies
   - Hybrid combinations of open and closed-world reasoning
   - Formalization and reasoning on multi-ontology and multi-semantics 
systems
   - Modular logic programs and ontologies
   - Datalog and tractable ontology languages
   -Uncertainty handling in ontologies and rules
- Rules, Agents and Norms
   - Norm interchange format (Norm Types, Languages Temporal Issues)
   - Normative system roles and Authorities
   - Rule-based e-Contracting and Policy Negotiation
   - Verification of Normative Systems (Violations and Sanctions, 
Equivalence,
      Redundancy, Coherence, Change, Merge)
   - Business Process Compliance
- Rule-Based Distributed/Multi-Agent Systems
   - Rule-based specification and verification of distributed and 
multi-agent systems
   - Rule-based distributed reasoning and problem solving
   - Rule-based interaction (cooperation, coordination, negotiation and
     argumentation)  for multi-agent systems
   - Rules for service-oriented computing (discovery, composition, etc.)
   - Rule-based programming of (multi-)agent systems
   - Rule-based knowledge representation and reasoning in (multi-)agent 
systems
- Rule-Based Policies, Reputation and Trust
   - Rule languages for policy specification and reasoning
   - Policy standards, their extensions and refinements
   - Formal semantics of policies
   - NLP and high-level requirements for policy specification
   - Detection and resolution of policy inconsistencies and conflicts
   - Representation of belief, trust, and risk
   - Policy Learning and automated policy generation
- Rule-based Event Processing and Reaction Rules
   - Representation languages for event processing
   - Algorithms for real-time event processing
   - Probabilistic reasoning for event processing
   - Event-driven architectures
   - Benchmarks, performance evaluations, and testbeds for event-based 
systems
   - Rule based workflows
   - Rule-based event processing applications (ontologies, ...)
- Fuzzy Rules and Uncertainty
   - Languages for the formalization of uncertainty rules
   - Probabilistic, fuzzy and other rule frameworks for reasoning with 
uncertain, vague or incomplete information
   - Handling inconsistent, conflicting or disparate rules using uncertainty
   - Uncertainty extensions of event processing rules, business rules, 
reactive rules, causal rules,
     derivation rules, association rules, or transformation rules
   - Benchmarks and test cases for uncertain rules
   - Combination of rules with other uncertainty handling frameworks
     (e.g. Bayesian Networks, fuzzy systems, etc)
- Rule Transformation and Extraction
   - Transformation and extraction with rule standards, such as SBVR, 
RIF, RuleML 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
   - Representation of rules in Natural or Controlled Languages
- Vocabularies, Ontologies, and Business rules
   - Vocabularies, Ontologies and Rules for Enterprise Modeling
   - Ontologies and Rules for Business Process Modeling
   - Ontologies and Goal-Based Modeling
   - Ontologies and Business Rules
   - Enterprise Reference Ontologies, Taxonomies and Vocabularies
   - Ontologies and Rules for Enterprise Integration
- General Topics
   - Implemented tools for rules
   - Rule-based Applications
   - Rule interchange and reasoning interoperation
   - Usability and effectiveness of rule-based systems and languages


Submission Guidelines
---------------------
Authors are invited to submit original contributions of practical relevance
and technical rigor in the field, experience reports and show case/use case
demonstrations of effective, practical, deployable rule-based technologies
or applications in distributed environments. Papers must be in English and
may be submitted at
http://www.easychair.org/conferences/?conf=ruleml2011ijcai
as:
      Full Papers (15 pages in the proceedings)
      Short Papers (8 pages in the proceedings)

Please upload all submissions as PDF files in LNCS format
(http://www.springer.de/comp/lncs/authors.html). To ensure high quality,
submitted papers will be carefully peer-reviewed by at least 3 PC members
based on originality, significance, technical soundness, and clarity of 
exposition.


Publications
------------
The selected papers will be published in book form in the Springer Lecture
Notes in Computer Science (LNCS) series.
Authors of the best papers will be invited to submit a revised version of
their papers for inclusion in the IJCAI 2011 Proceedings.


Important Dates
---------------
Abstract submission: February 25, 2011 (11:59PM, UTC-12)
Paper submission: March 4, 2011 (11:59PM, UTC-12)
Notification of acceptance/rejection: March 31, 2011
Camera-ready copy due: April 15, 2011
RuleML-2011 dates: July 19-21, 2011


RuleML 2011 Doctoral Consortium
-------------------------------

The RuleML 2011 doctoral consortium is a new 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 of this year's RuleML-2011 topics.

PhD Paper submission: April 11, 2011 (11:59PM, UTC-12)

More information: http://www.defeasible.org/ruleml2011/consortium


Program Committee
-----------------
General Chairs
Georg Gottlob, University of Oxford, UK
Juergen Dix, TU Clausthal, Germany

Program Chairs
Adrian Paschke, Freie Universitaet Berlin, Germany
Guido Governatori, NICTA, Australia
Nick Bassiliades, Aristotle University of Thessaloniki, Greece

Organization Chairs
Luis Polo, CITIC, Spain
Gines Moreno, Universidad de Castilla La Mancha, Spain

Steering Chairs
John Hall, Model Systems, UK
Christian de Saint Marie, IBM ILOG, France

Received on Monday, 31 January 2011 11:47:25 UTC