- 2021
- Laura Giordano, Alberto Martelli, Daniele Theseider Dupré:
Reasoning About Actions with EL(bot) Ontologies and Temporal Answer Sets. ICLP Workshops 2021 - Kinjal Basu, Gopal Gupta:
Natural Language Question Answering with Goal-directed Answer Set Programming. ICLP Workshops 2021 - Fang Li, Elmer Salazar, Gopal Gupta:
Graph Based Answer Set Programming Solver Systems. ICLP Workshops 2021 - Rachid Adrdor, Lahcen Koutti:
Asynchronous Forward-Bounding algorithm with Directional Arc Consistency. ICLP Workshops 2021 - Mario Alviano, Arnel D. Zamayla:
A Speech about Generative Datalog and Non-measurable Sets. ICLP Workshops 2021 - Giovanni Amendola, Giovanni Rotondaro:
Modeling Clique Coloring via ASP(Q). ICLP Workshops 2021 - Joaquín Arias, Gopal Gupta, Manuel Carro:
A Short Tutorial on s(CASP), a Goal-directed Execution of Constraint Answer Set Programs. ICLP Workshops 2021 - Bita Banihashemi
, Shakil M. Khan, Mikhail Soutchanski:
When is a Program an Actual Cause? ICLP Workshops 2021 - Marco Billi, Roberta Calegari, Giuseppe Contissa, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor:
Explainability Through Argumentation in Logic Programming. ICLP Workshops 2021 - Andreas Brännström, Juan Carlos Nieves:
Modelling Human Mental-States in an Action Language following the Theory of Planned Behavior. ICLP Workshops 2021 - Pedro Cabalar, Martín Diéguez, Susana Hahn, Torsten Schaub:
Automata for Dynamic Answer Set Solving: Preliminary Report. ICLP Workshops 2021 - Stefania Costantini:
Top-down Splitting Property for Epistemic Logic Programs. ICLP Workshops 2021 - Alexandros Efremidis:
Solving B Constraints with Goal-directed Answer Set Programming. ICLP Workshops 2021 - Thomas Eiter, Markus Hecher, Rafael Kiesel:
aspmc: An Algebraic Answer Set Counter. ICLP Workshops 2021 - Gopal Gupta, Sarat Varnasi, Kinjal Basu, Zhuo Chen, Elmer Salazar, Farhad Shakerin, Serdar Erbatur, Fang Li, Huaduo Wang, Joaquín Arias, Brendan Hall, Kevin Driscoll:
Formalizing Informal Logic and Natural Language Deductivism. ICLP Workshops 2021 - Spencer Killen, Jia-Huai You:
Fixpoint Characterizations of Disjunctive Hybrid MKNF Knowledge Bases. ICLP Workshops 2021 - Alexey Koptsevich, Wolf Ruzicka, Victor Shilo, Mikkel P. Schultz, Dmitrii Velikii:
Building Health Policy Enforcement Solution Based on HL7 FHIR. ICLP Workshops 2021 - Suraj Kothawade, Vinaya Khandelwal, Kinjal Basu, Huaduo Wang, Gopal Gupta:
AUTO-DISCERN: Autonomous Driving Using Common Sense Reasoning. ICLP Workshops 2021 - Nico Potyka:
From Probabilistic Programming to Probabilistic Argumentation. ICLP Workshops 2021 - Kilian Rueckschloss, Felix Weitkämper:
Reasoning about Independence in Open Universe Probabilistic Logic Programs. ICLP Workshops 2021 - Elmer Salazar:
Theory Revision with Goal-directed ASP. ICLP Workshops 2021 - Laura State:
Logic Programming for XAI: A Technical Perspective. ICLP Workshops 2021 - Akihiro Takemura, Katsumi Inoue:
Gradient-Based Supported Model Computation in Vector Spaces. ICLP Workshops 2021 - Andre Thevapalan, Jesse Heyninck, Gabriele Kern-Isberner:
Establish Coherence in Logic Programs Modelling Expert Knowledge via Argumentation. ICLP Workshops 2021 - Ly Ly T. Trieu, Tran Cao Son, Marcello Balduccini:
exp(ASPc): Explaining ASP Programs with Choice Atoms and Constraint Rules. ICLP Workshops 2021 - Sarat Chandra Varanasi, Brendan Hall, Joaquín Arias, Elmer Salazar, Fang Li, Kinjal Basu, Kevin Driscoll, Gopal Gupta:
Modelling and Verification of Timed Systems with the Event Calculus and s(CASP). ICLP Workshops 2021 - Felix Weitkämper, Beatrice Sarbu, Kailin Sun:
Modelling Infectious Disease Dynamics with Probabilistic Logic Programming. ICLP Workshops 2021 - Jan Wielemaker, Joaquín Arias, Gopal Gupta:
s(CASP) for SWI-Prolog. ICLP Workshops 2021 - Shutao Zhang, Zhizheng Zhang, Jun Shen:
Answer Set Programming with Epistemic Defaults. ICLP Workshops 2021 - Robert Zinkov, William E. Byrd:
probKanren: A Simple Probabilistic Extension for microKanren. ICLP Workshops 2021
