Justifications for Goal-Directed Constraint Answer Set Programming

In H. Gallaire & J. Minker, editors: Logic and Data Bases

Keith L. Clark (1978): Negation as Failure · 1978

Earlier work this paper cites.

In: EPIA 89, 4th Portuguese Conference on Artificial Intelligence, Lisbon, Portugal, September 26-29, 1989, Proceedings

Luís Moniz Pereira & Joaquim Nunes Aparício (1989): Relevant Counterfactuals · 1989

Earlier work this paper cites.

Journal of the ACM

A. Van Gelder, K. Ross & J. Schlipf (1991): The Well-Founded Semantics for General Logic Programs · 1991

Earlier work this paper cites.

Theory and Practice of Logic Programming

Enrico Pontelli, Tran Cao Son & Omar El-Khatib (2009): Justifications for Logic Programs under Answer Set Semantics · 2009

Earlier work this paper cites.

In: 5th International Conference on Logic Programming

Michael Gelfond & Vladimir Lifschitz (1988): The Stable Model Semantics for Logic Programming · 2010

Earlier work this paper cites.

Expert Systems and Applications

Alejandro Javier García, Carlos Iván Chesñevar, Nicolás D. Rotstein & Guillermo Ricardo Simari (2013): Formalizing Dialectical Explanation Support for Argument-Based Reasoning in Knowledge-Based Systems · 2012

Earlier work this paper cites.

Theory and Practice of Logic Programming

Original

M. V. Hermenegildo, F. Bueno, M. Carro, P. Lopez-Garcia, E. Mera, J.F. Morales & G. Puebla (2012): An Overview of Ciao and its Design Philosophy · 2012

Cited alongside, same era.

Theory and Practice of Logic Programming

Terrance Swift & David Scott Warren (2012): XSB: Extending Prolog with Tabled Logic Programming · 2012

Cited alongside, same era.

Theory and Practice of Logic Programming

Pedro Cabalar, Jorge Fandinno & Michael Fink (2014): Causal Graph Justifications of Logic Programs · 2014

Cited alongside, same era.

Theory and Practice of Logic Programming

Zhuo Chen, Kyle Marple, Elmer Salazar, Gopal Gupta & Lakshman Tamil (2016): A Physician Advisory System for Chronic Heart Failure Management Based on Knowledge Patterns · 2016

Cited alongside, same era.

Regulation (EU) 2016/679 of the European Parliament and of the Council

European Union (2016): General Data Protection Regulation (GDPR) · 2016

Cited alongside, same era.

Defense Advanced Research Projects Agency

DARPA (2017): Explainable Artificial Intelligence (XAI) · 2017

Later among the works it cites.

Theory and Practice of Logic Programming

Original

Joaquín Arias, Manuel Carro, Elmer Salazar, Kyle Marple & Gopal Gupta (2018): Constraint Answer Set Programming without Grounding · 2018

Later among the works it cites.

Theory and Practice of Logic Programming

Jorge Fandinno & Claudia Schulz (2019): Answering the "Why" in Answer Set Programming - A Survey of Explanation Approaches · 2019

Later among the works it cites.

In: AAAI 2019

Farhad Shakerin & Gopal Gupta (2019): Induction of Non-Monotonic Logic Programs to Explain Boosted Tree Models Using LIME · 2019

Later among the works it cites.

In: LOPSTR

Sarat Chandra Varanasi, Elmer Salazar, Neeraj Mittal & Gopal Gupta (2019): Synthesizing Imperative Code from Answer Set Programming Specifications · 2019

Later among the works it cites.