Rulelog information

Rulelog^[1]^[2]^[3] is an expressive semantic rule-based knowledge representation and reasoning (KRR) language. It underlies knowledge representation languages used in systems such as Flora-2, SILK^[4] and others. It extends well-founded declarative logic programs with features for higher-order syntax, frame syntax, defeasibility, general quantified expressions both in the bodies of the rules and their heads, user-defined functions, and restraint bounded rationality.

^ Grosof B.N. (2013) Rapid Text-Based Authoring of Defeasible Higher-Order Logic Formulas, via Textual Logic and Rulelog. In: Morgenstern L., Stefaneas P., Levy F., Wyner A., Paschke A. (eds) Theory, Practice, and Applications of Rules on the Web. RuleML 2013. Lecture Notes in Computer Science, vol 8035. Springer, Berlin, Heidelberg
^ Grosof, B. and Kifer, M. (2013) Rulelog: Syntax and Semantics Archived 2018-12-19 at the Wayback Machine
^ Benjamin Grosof, Michael Kifer, and Paul Fodor (2017). Rulelog: Highly Expressive Rules with Deep Scalable Reasoning. Tutorial presented at the International Joint Conference on Rules and Reasoning (RuleML+RR-2017) in London, UK, July 13, 2017.
^ Cite error: The named reference Andersen 2013 was invoked but never defined (see the help page).

[1] Grosof B.N. (2013) Rapid Text-Based Authoring of Defeasible Higher-Order Logic Formulas, via Textual Logic and Rulelog. In: Morgenstern L., Stefaneas P., Levy F., Wyner A., Paschke A. (eds) Theory, Practice, and Applications of Rules on the Web. RuleML 2013. Lecture Notes in Computer Science, vol 8035. Springer, Berlin, Heidelberg

[Grosof_and_Kifer_2013-2] Grosof, B. and Kifer, M. (2013) Rulelog: Syntax and Semantics Archived 2018-12-19 at the Wayback Machine

[3] Benjamin Grosof, Michael Kifer, and Paul Fodor (2017). Rulelog: Highly Expressive Rules with Deep Scalable Reasoning. Tutorial presented at the International Joint Conference on Rules and Reasoning (RuleML+RR-2017) in London, UK, July 13, 2017.

[Andersen_2013-4] Cite error: The named reference Andersen 2013 was invoked but never defined (see the help page).