|Register Title and Abstract in Easychair||March 11, 2016|
|Paper Submission:||March 18, 2016|
|Author Notification||May 4, 2016|
|Camera Ready||May 18, 2016|
|Conference:||5-8 July, 2016|
a Special Issue of Cambridge journal
Theory and Practice of Logic Programming.
Special topic tracks
Smart Contracts have emerged as means to digitize and (semi-)automatically enforce (legal) contracts, backed by #blockchain technologies --- a set of recent technologies that appeared the first time in the context of the cryptocurrencies bitcoin, but are now being transitioned to different domains.
Due to the relevance of rules in Smart Contracts, it is natural that the emerging area of Smart Contracts finds #RuleML a relevant venue for dissemination and that RuleML uses this opportunity to expand the applicability of rule technologies.
This track will bring together practitioners, interested in the theory and applications of Constraint Handling Rules ( #CHR ), including abductive reasoning, multi-agent systems, natural language processing, compilation, scheduling, spatial-temporal reasoning, testing and verification, and type systems.
Topics (not limited to): Semantics, Analysis, Methodologies, Applications, Extensions, Related Approaches
This special track will bring together practitioners, interested in the theory and applications of active databases.
Topics (not limited to): Complex Event Processing ( #cep ), Active Database systems, Semantic Complex Event Processing, Stream Reasoning, Event-driven and Rule-based Systems for the Internet of Things ( #IoT )
This track will bring together practitioners, interested in the legal rules and reasoning. Legal rules are interpretations of one or more norms formalized using logical rules in the form of antecedent and consequent.
Topics (not limited to): Learning from legal texts, Modeling normative rules, Regulatory compliance by rules, Modeling legislation, XML, standards for #legal documents, Legal ontology, Semantic Web in Legal Domain, Legal Open Data and Rules, Reasoning about normative rules, Normative rules extraction by natural language processing.
This track solicits contributions on theoretical and practical aspects of rule- and ontology-based data access and transformation.
Topics (not limited to): Logics and rule languages of particular interest to data access or transformation, Tractability and intractability results for rule- and ontology-based systems in the presence of large amounts of data, Interactions between rules and #ontology in the presence of large amounts of data, Rule- and ontology-based data integration, Rule and ontology-driven user interfaces for data access, Implementations of R&OBDA&T systems, Reports on applications and lessons learnt
This track will bring together practitioners, interested in #inductiverulelearning and other learning aspects of learning rules and reasoning.
Topics (not limited to): Inductive rule learning, Classification rules, Association rules, Learning rules for the semantic web, Preference rules, Rule-based recommender systems, Relational learning, Learning business rules, Descriptive rule learning, Predictive rule learning