Author:
BIKAKIS ANTONIS,FODOR PAUL,GIURCA ADRIAN,MORGENSTERN LEORA
Abstract
The annual International Web Rule Symposium (RuleML) is an international conference on research, applications, languages, and standards for rule technologies. It has evolved from an annual series of international workshops since 2002, international conferences in 2005 and 2006, and international symposia since 2007. It is the flagship event of the Rule Markup and Modeling Initiative (RuleML, http://ruleml.org), a nonprofit umbrella organization of several technical groups from academia, industry, and government working on rule technology and its applications. RuleML is the leading conference to build 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, DMN, CL, Prolog); rule-based event processing languages and technologies; and research on inference rules, transformation rules, decision rules, production rules, and ECA rules.
Publisher
Cambridge University Press (CUP)
Subject
Artificial Intelligence,Computational Theory and Mathematics,Hardware and Architecture,Theoretical Computer Science,Software
Reference5 articles.
1. Kowalski R. A. and Sadri F. 2014. A logical characterization of a reactive system language. In Proc. Rules on the Web. From Theory to Applications - 8th International Symposium, RuleML 2014, Co-located with the 21st European Conference on Artificial Intelligence, ECAI 2014, Prague, Czech Republic, August 18–20, 2014, 22–36.
2. Patkos T. , Chibani A. , Plexousakis D. and Amirat Y. 2012. A production rule-based framework for causal and epistemic reasoning. In Proc. Rules on the Web: Research and Applications - 6th International Symposium, RuleML 2012, Montpellier, France, August 27–29, 2012, 120–135.
3. Calautti M. , Greco S. , Molinaro C. and Trubitsyna I. 2014. Checking termination of logic programs with function symbols through linear constraints. In Proc. Rules on the Web. From Theory to Applications - 8th International Symposium, RuleML 2014, Co-located with the 21st European Conference on Artificial Intelligence, ECAI 2014, Prague, Czech Republic, August 18–20, 2014, 97–111.
4. Clercq S. D. , Schockaert S. , Cock M. D. and Nowé A. 2013. Modeling stable matching problems with answer set programming. In Proc. Theory, Practice, and Applications of Rules on the Web - 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11–13, 2013, 68–83.
5. Governatori G. , Olivieri F. , Rotolo A. , Scannapieco S. and Cristani M. 2013. Picking up the best goal - an analytical study in defeasible logic. In Proc. Theory, Practice, and Applications of Rules on the Web - 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11–13, 2013, 99–113.