RULE: Rule-Based Programming

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

Future:  Post a CFP for 2011 or later   |   Invite the Organizers Email

 
 

All CFPs on WikiCFP

Event When Where Deadline
RULE 2010 Eleventh International Workshop on Rule-Based Specification and Programming
Jul 14, 2010 - Jul 14, 2010 Edinburgh, UK Apr 16, 2010
 
 

Present CFP : 2010

With the renewed interest in rule-based computing for industrial applications (e.g., Business Rules) especially as it relates to the Semantic Web ( e.g., the W3C's Rule Interchange Format), it is timely to explore the practical benefits delivered by computing with rules and ontologies in the large. Thus, this year's theme will focus on rule-based programming in Industry and the Semantic Web. The emphasis will be on implemented systems that have been actually used in pragmatic situations where the advantages of rule-driven computation and inference have made all the difference, such advantages being:

agility
declarativeness
maintainability
documentability
scalability
meta-programmability
reliability
formal semantics
etc., ...

In terms of the Semantic Web, we explicitly call for submissions that probe (in a pragmatic setting) how rule-based approaches complement ontology-based approaches, which share some of the characteristics of rule systems, such as declarativeness and formal semantics.

Paper submission:

We are solliciting papers dealing with topics related to this year's theme discussing any or several of the itemized facets of the combinations of rules and ontologies, going beyond academic experiments and meant for large-scale or industrial applications. Papers should contain no more than 10 pages, including figures, and submitted through EasyChair using the standard EPTCS LaTeX style file.

Program committee
In alphabetical order by last name:

Hassan Aït-Kaci, IBM, Canada (co-chair)
Maria Alpuente, Universidàd de Valencia, Spain
Harold Boley, National Research Council, Canada
Mike Dean, BBN, USA
Mohand-Saïd Hacid, Université Claude Bernard, Lyon, France
Gary Hallmark, Oracle, USA
Pierre-Etienne Moreau, INRIA Nancy, France
Jeff Pan, University of Aberdeen, United Kingdom
Dave Reynolds, Epimorphics Ltd., United Kingdom (co-chair)
Eelco Visser, Delft University of Technology, The Netherlands
 

Related Resources

PSSV 2018   Nineth Workshop Program Semantics, Specification and Verification: Theory and Applications
IJAB 2018   International Journal of Advances in Biology
POPL 2019   Symposium on Principles of Programming Languages
OnTheMove 2018   ▶ CFP: OntheMove Federated Conferences 2018, Valletta, Malta, 22-26 October 2018
ATVA 2018   International Symposium on Automated Technology for Verification and Analysis
IEEE SITIS - IWeCa 2018   IEEE SITIS 2018 Conf. - Special Track on Intelligent Web Computing and Applications (I-WeCA)
ASPLOS 2019   Architectural Support for Programming Languages and Operating Systems
RW 2018   RW2018: THE 14th INTERNATIONAL REASONING WEB SUMMER SCHOOL | Luxembourg, 22-26 Sep 2018
ICCBR 2018   International Conference on Case-Based Reasoning
IEEE AVSS 2018   IEEE International Conference on Advanced Video and Signal-based Surveillance