misc-publications

Benjamin Grosof. “Towards a Stronger Unified Core for AI: Reasoning and Learning”. Invited talk (1.5 hours) presented at IBM Research, Yorktown, NY, March 6, 2019. Talk slides (approximately 67 slides). Talk abstract (brief). Discusses how to combine KRR and ML..

Benjamin Grosof and Theresa Swift. “PLOW: Probabilistic Logic Over the Well-Founded Semantics”. Refereed short paper presented at the AAAI 2019 Symposium on Combining Machine Learning with Knowledge Engineering (MAKE-2019) in Stanford, California, USA, March 26, 2019. Paper (short; 2 pages). Talk slides (approximately 21 detailed slides). Note: much of the talk’s content goes beyond what is the paper.

Benjamin Grosof, Michael Kifer, Paul Fodor, and Janine Bloomfield. “Rulelog: Highly Expressive, Yet Scalable, Semantic Rules”. Conference tutorial (3 hours) presented at the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR-2018) in Tempe, Arizona, USA, October 29, 2018. Tutorial description (including abstract). Tutorial slides (approximately 152 detailed slides). For short paper covering similar content, see RuleML+RR-2017 tutorial below.

Benjamin Grosof. “Adding Knowledge Representation and Reasoning to Machine Learning: Why and How”. Invited talk (1.25 hours) presented at Microsoft Research, Redmond, WA, July 30, 2018. Talk slides. Talk abstract. See also the more recent IBM Research talk (2019) above, which is largely on the same topic.

Benjamin Grosof, Michael Kifer, Paul Fodor, and Janine Bloomfield. “Rulelog: Highly Expressive Rules with Deep Scalable Reasoning Networks”. Conference tutorial (3.5 hours) presented at the 32nd AAAI Conference on Artificial Intelligence (AAAI-18) in New Orleans, Louisiana, USA, February 3, 2018. Tutorial short description (see also with speaker photos at AAAI-18 tutorial page; tutorial number is SA4). Tutorial long description (including outline). Tutorial slides (approx. 139 detailed slides). For short paper covering similar content, see RuleML+RR-2017 tutorial below.

Benjamin Grosof, Michael Kifer, and Paul Fodor. “Rulelog: Highly Expressive Rules with Deep Scalable Reasoning”. Conference tutorial (3 hours) presented at the International Joint Conference on Rules and Reasoning (RuleML+RR-2017) in London, UK, July 13, 2017. Tutorial overview description (includes abstract and speaker bios). Tutorial slides (approx. 138 detailed slides). Tutorial short paper appearing in proceedings (3 pages).

Benjamin Grosof, Michael Kifer, and Paul Fodor. “Rulelog: Deep KRR for Cognitive Computing”. Conference Tutorial (half-day) presented at the 31st AAAI Conference on Artificial Intelligence (AAAI-17) in San Francisco, CA, USA, February 4, 2017. Tutorial Syllabus (includes abstract and speaker bios). Tutorial Slides.

Coherent Knowledge‘s ErgoAI. Multiple releases since 2017 (and earlier too); V2.1 is imminent. With Michael Kifer, Janine Bloomfield, Paul Fodor, and Theresa Swift. Free license for academic -y research use. Extensive public documentation including user/reference manuals, tutorials, and demos. It extends XSB, an open source system for logic programs.
Flora-2 is an open source subset of ErgoAI. Multiple releases since 2017 (and earlier too).
SWI Prolog, the world’s most popular logic programming system; it’s open source. Contributed during 2019-2020 to its release updates, via design and leadership: especially to its significantly enhanced capabilities for well-founded semantics and tabling; see the announcement. With Jan Wielemaker, Theresa Swift, and others.
PLOW, a system for probabilistic/fuzzy logic programs that extends PITA, on top of XSB and SWI. With Theresa Swift and Fabrizio Riguzzi. It is open source, on github. Status: it is in progress — still quite immature as software. See the PLOW paper and talk at MAKE-2019, above on this page.