Abstract is missing.
- Learning Ex NihiloSelmer Bringsjord, Naveen Sundar Govindarajulu, John Licato, Michael Giancola. 1-27 [doi]
- Adjudication of Symbolic & Connectionist Arguments in Autonomous Driving AIMichael Giancola, Selmer Bringsjord, Naveen Sundar Govindarajulu, John Licato. 28-33 [doi]
- Partial Regularization of First-Order Resolution ProofsJan Gorzny, Ezequiel Postan, Bruno Woltzenlogel Paleo. 34-45 [doi]
- WinoReg: A New Faster and More Accurate Metric of Hardness for Winograd SchemasNicos Isaak, Loizos Michael. 46-58 [doi]
- Face Image Deblurring: A Data-Driven StrategyAbdelwahed Nahli, Yuanzhouhan Cao, Shugong Xu. 59-69 [doi]
- Property Preserving Embedding of First-order LogicJulian Parsert, Stephanie Autherith, Cezary Kaliszyk. 70-82 [doi]
- Common Knowledge in an Epistemic Logic with HypothesesLevan Uridia, Dirk Walther 0002. 83-91 [doi]
- Guided Inductive Logic Programming: Cleaning Knowledge Bases with Iterative User FeedbackYan Wu, Jinchuan Chen, Plarent Haxhidauti, Vinu E. Venugopal, Martin Theobald. 92-106 [doi]
- Topical Neural Theorem Prover that Induces RulesShuang Xia, Krysia Broda, Alessandra Russo. 107-120 [doi]