| 2022 | Constrained Default Logic Programming. | Shutao Zhang, Zhizheng Zhang, Jun Shen |
| 2021 | probKanren: A Simple Probabilistic Extension for microKanren. | Robert Zinkov, William E. Byrd |
| 2021 | Answer Set Programming with Epistemic Defaults. | Shutao Zhang, Zhizheng Zhang, Jun Shen |
| 2021 | s(CASP) for SWI-Prolog. | Jan Wielemaker, Joaqun Arias, Gopal Gupta |
| 2021 | Modelling Infectious Disease Dynamics with Probabilistic Logic Programming. | Felix Weitkmper, Beatrice Sarbu, Kailin Sun |
| 2021 | Modelling and Verification of Timed Systems with the Event Calculus and s(CASP). | Sarat Chandra Varanasi, Brendan Hall, Joaqun Arias, Elmer Salazar, Fang Li, Kinjal Basu, Kevin Driscoll, Gopal Gupta |
| 2021 | exp(ASPc): Explaining ASP Programs with Choice Atoms and Constraint Rules. | Ly Ly T. Trieu, Tran Cao Son, Marcello Balduccini |
| 2021 | Establish Coherence in Logic Programs Modelling Expert Knowledge via Argumentation. | Andre Thevapalan, Jesse Heyninck, Gabriele Kern-Isberner |
| 2021 | Gradient-Based Supported Model Computation in Vector Spaces. | Akihiro Takemura, Katsumi Inoue |
| 2021 | Logic Programming for XAI: A Technical Perspective. | Laura State |
| 2021 | Theory Revision with Goal-directed ASP. | Elmer Salazar |
| 2021 | Reasoning about Independence in Open Universe Probabilistic Logic Programs. | Kilian Rueckschloss, Felix Weitkmper |
| 2021 | From Probabilistic Programming to Probabilistic Argumentation. | Nico Potyka |
| 2021 | AUTO-DISCERN: Autonomous Driving Using Common Sense Reasoning. | Suraj Kothawade, Vinaya Khandelwal, Kinjal Basu, Huaduo Wang, Gopal Gupta |
| 2021 | Building Health Policy Enforcement Solution Based on HL7 FHIR. | Alexey Koptsevich, Wolf Ruzicka, Victor Shilo, Mikkel P. Schultz, Dmitrii Velikii |
| 2021 | Fixpoint Characterizations of Disjunctive Hybrid MKNF Knowledge Bases. | Spencer Killen, Jia-Huai You |
| 2021 | Formalizing Informal Logic and Natural Language Deductivism. | Gopal Gupta, Sarat Varnasi, Kinjal Basu, Zhuo Chen, Elmer Salazar, Farhad Shakerin, Serdar Erbatur, Fang Li, Huaduo Wang, Joaqun Arias, Brendan Hall, Kevin Driscoll |
| 2021 | aspmc: An Algebraic Answer Set Counter. | Thomas Eiter, Markus Hecher, Rafael Kiesel |
| 2021 | Solving B Constraints with Goal-directed Answer Set Programming. | Alexandros Efremidis |
| 2021 | Top-down Splitting Property for Epistemic Logic Programs. | Stefania Costantini |
| 2021 | Automata for Dynamic Answer Set Solving: Preliminary Report. | Pedro Cabalar, Martn Diguez, Susana Hahn, Torsten Schaub |
| 2021 | Modelling Human Mental-States in an Action Language following the Theory of Planned Behavior. | Andreas Brnnstrm, Juan Carlos Nieves |
| 2021 | Explainability Through Argumentation in Logic Programming. | Marco Billi, Roberta Calegari, Giuseppe Contissa, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor |
| 2021 | When is a Program an Actual Cause? | Bita Banihashemi, Shakil M. Khan, Mikhail Soutchanski |
| 2021 | A Short Tutorial on s(CASP), a Goal-directed Execution of Constraint Answer Set Programs. | Joaqun Arias, Gopal Gupta, Manuel Carro |