Home
5th International Symposium on Rules

Sponsors

(Silver Sponsor)

(Silver Sponsor)

(Silver Sponsor)

(Silver Sponsor)

(Bronze Sponsor)

(Bronze Sponsor)

(Bronze Sponsor)

Partners

Related Events


Topics

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 and 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:

  • 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 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 system
    • 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 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