[rules-dev] RuleML 2013: 7th International Web Rule Symposium

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.