Logic List Mailing Archive

RuleML 2013: Web Rule Symposium

11-13 Jul 2013
Seattle WA, U.S.A.

Call for Papers

RuleML 2013: 7th International Web Rule Symposium

Seattle Metropolitan Area, USA, July 11-13, 2013

http://2013.ruleml.org

The annual International Web Rule Symposium (RuleML) is an international
conference on research, applications, languages and standards for rule
technologies. RuleML is the leading conference for building bridges between
academia and industry in the field of rules and its applications, especially
as part of the semantic technology stack. It is devoted to rule-based
programming and rule-based systems including production rules systems, logic
programming rule engines, and business rules engines/business rules
management systems; Semantic Web rule languages and rule standards (e.g.,
RuleML, SWRL, RIF, PRR, SBVR); Legal RuleML; rule-based event processing
languages (EPLs) and technologies; hybrid rule-based methods; and research
on inference rules, transformation rules, decision rules, production rules,
and ECA rules.

The 7th International Symposium on Rules and the Web (RuleML 2013) will be
held on July 11-13, 2013 just prior to the AAAI conference in the Seattle
Metropolitan Area, Washington. Selected papers will be published in book
form in the Springer Lecture Notes in Computer Science (LNCS) series.

Objectives
==========

RuleML-2013 will stimulate cooperation and interoperability between research
and business in a community of researchers and practitioners who are
interested in the theory and applications of rules. The symposium's areas of
research and development have helped drive the rapid progress in
technologies for practical rule and event processing. As a result,
RuleML-2013 promises to be an exciting venue for the exchange of new ideas
and experiences on issues related to engineering, management, integration,
interoperability of rule systems, and interchange of rules in distributed
enterprise, intranets, and open distributed environments. Industry
practitioners, rule-system providers, users of rules, technical experts and
developers, and researchers who are exploring foundational issues,
developing systems and applications, or using rule-based systems are invited
to share ideas, results, and experiences.

The RuleML2013 Conference is also hosting
- The 7th Int. Rule Challenge: Further information and a separate call for
papers and demos for the challenge will be forthcoming.
- The 3rd Doctoral Consortium on Rules: Further information and a separate
call for papers and demos for the challenge will be forthcoming
- An OASIS Legal RuleML TC Meeting and Tutorial

Topics
=======

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

* Rules and automated reasoning
* Rule-based policies, reputation, and trust
* Rule-based event processing and reaction rules
* Rules and the web
* Fuzzy rules and uncertainty
* Logic programming and nonmonotonic reasoning
* Non-classical logics and the web (e.g modal and epistemic logics)
* Hybrid methods for combining rules and statistical machine learning
techniques (e.g., conditional random fields, PSL)
* Rule transformation, extraction, and learning
* Vocabularies, ontologies, and business rules
* Rule markup languages and rule interchange formats
* Rule-based distributed/multi-agent systems
* Rules, agents, and norms
* Rule-based communication, dialogue, and argumentation models
* Vocabularies and ontologies for pragmatic primitives (e.g. speech acts and
deontic primitives)
* Pragmatic web reasoning and distributed rule inference / rule execution
* Rules in online market research and online marketing
* Applications of rule technologies in health care and life sciences
* Legal rules and legal reasoning
* Industrial applications of rules
* Controlled natural language for rule encoding (e.g. SBVR, ACE, CLCE)
* Standards activities related to rules
* General rule topics

Conference Chairs
=================
Adrian Paschke (Freie Universitaet Berlin, Germany)

Program Chairs
===============
Leora Morgenstern (Science Applications International Corporation, USA)

Petros Stefaneas (NTUA, Greece)

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

Abstract submission: Feb. 19, 2013
Paper submission: Feb. 20, 2013
Notification of acceptance/rejection: April 12, 2013 Camera-ready copy due:
May 3, 2013
RuleML-2013 dates: July 11-13, 2013

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

Papers must be original contributions written in English and must be
submitted at http://www.easychair.org/conferences/?conf=ruleml2013 as:
* Full Papers (15 pages in the proceedings)
* Short Papers (8 pages in the proceedings)

Please upload all submissions in LNCS format
(http://www.springer.de/comp/lncs/authors.html). 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.
Selected papers will be published in book form in the Springer Lecture Notes
in Computer Science (LNCS) series.