Abstract is missing.
- Modelling Infectious Disease Dynamics with Probabilistic Logic ProgrammingFelix Weitkämper, Beatrice Sarbu, Kailin Sun. [doi]
- Asynchronous Forward-Bounding algorithm with Directional Arc ConsistencyRachid Adrdor, Lahcen Koutti. [doi]
- AUTO-DISCERN: Autonomous Driving Using Common Sense ReasoningSuraj Kothawade, Vinaya Khandelwal, Kinjal Basu 0002, Huaduo Wang, Gopal Gupta. [doi]
- Explainability Through Argumentation in Logic ProgrammingMarco Billi, Roberta Calegari, Giuseppe Contissa, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor. [doi]
- exp(ASPc): Explaining ASP Programs with Choice Atoms and Constraint RulesLy Ly T. Trieu, Tran Cao Son, Marcello Balduccini. [doi]
- Modeling Clique Coloring via ASP(Q)Giovanni Amendola, Giovanni Rotondaro. [doi]
- A Speech about Generative Datalog and Non-measurable SetsMario Alviano, Arnel Zamayla. [doi]
- Establish Coherence in Logic Programs Modelling Expert Knowledge via ArgumentationAndre Thevapalan, Jesse Heyninck, Gabriele Kern-Isberner. [doi]
- When is a Program an Actual Cause?Bita Banihashemi, Shakil M. Khan 0001, Mikhail Soutchanski. [doi]
- From Probabilistic Programming to Probabilistic ArgumentationNico Potyka. [doi]
- Fixpoint Characterizations of Disjunctive Hybrid MKNF Knowledge BasesSpencer Killen, Jia-Huai You. [doi]
- A Short Tutorial on s(CASP), a Goal-directed Execution of Constraint Answer Set ProgramsJoaquín Arias, Gopal Gupta, Manuel Carro. [doi]
- Theory Revision with Goal-directed ASPElmer Salazar. [doi]
- Logic Programming for XAI: A Technical PerspectiveLaura State. [doi]
- probKanren: A Simple Probabilistic Extension for microKanrenRobert Zinkov, Willliam E. Byrd. [doi]
- Formalizing Informal Logic and Natural Language DeductivismGopal Gupta, Sarat Varnasi, Kinjal Basu 0002, Zhuo Chen, Elmer Salazar, Farhad Shakerin, Serdar Erbatur, Fang Li 0010, Huaduo Wang, Joaquín Arias, Brendan Hall, Kevin Driscoll. [doi]
- Reasoning About Actions with EL(bot) Ontologies and Temporal Answer SetsLaura Giordano 0001, Alberto Martelli, Daniele Theseider Dupré. [doi]
- Natural Language Question Answering with Goal-directed Answer Set ProgrammingKinjal Basu 0002, Gopal Gupta. [doi]
- s(CASP) for SWI-PrologJan Wielemaker, Joaquín Arias, Gopal Gupta. [doi]
- Answer Set Programming with Epistemic DefaultsShutao Zhang, Zhizheng Zhang, Jun Shen. [doi]
- aspmc: An Algebraic Answer Set CounterThomas Eiter, Markus Hecher, Rafael Kiesel. [doi]
- Building Health Policy Enforcement Solution Based on HL7 FHIRAlexey Koptsevich, Wolf Ruzicka, Victor Shilo, Mikkel P. Schultz, Dmitrii Velikii. [doi]
- Modelling Human Mental-States in an Action Language following the Theory of Planned BehaviorAndreas Brännström, Juan Carlos Nieves. [doi]
- Graph Based Answer Set Programming Solver SystemsFang Li 0010, Elmer Salazar, Gopal Gupta. [doi]
- Modelling and Verification of Timed Systems with the Event Calculus and s(CASP)Sarat Chandra Varanasi, Brendan Hall, Joaquín Arias, Elmer Salazar, Fang Li 0010, Kinjal Basu 0002, Kevin Driscoll, Gopal Gupta. [doi]
- Top-down Splitting Property for Epistemic Logic ProgramsStefania Costantini. [doi]
- Automata for Dynamic Answer Set Solving: Preliminary ReportPedro Cabalar, Martín Diéguez, Susana Hahn, Torsten Schaub. [doi]
- Reasoning about Independence in Open Universe Probabilistic Logic ProgramsKilian Rueckschloss, Felix Weitkämper. [doi]
- Solving B Constraints with Goal-directed Answer Set ProgrammingAlexandros Efremidis. [doi]
- Gradient-Based Supported Model Computation in Vector SpacesAkihiro Takemura, Katsumi Inoue. [doi]