Elmer Salazar

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 29

Top Topics

Theory Revision

Abductive Reasoning

Answer Set Programming

Top Venues

Theory Pract. Log. Program.

Publications

Sopam Dasgupta, Farhad Shakerin, Joaquín Arias, Elmer Salazar, Gopal Gupta
Counterfactual Generation with Answer Set Programming. CoRR (2024)
Sopam Dasgupta, Joaquín Arias, Elmer Salazar, Gopal Gupta
CoGS: Causality Constrained Counterfactual Explanations using goal-directed ASP. CoRR (2024)
Sopam Dasgupta, Joaquín Arias, Elmer Salazar, Gopal Gupta
CFGs: Causality Constrained Counterfactual Explanations using goal-directed ASP. CoRR (2024)
Elmer Salazar, Gopal Gupta
Proof-Theoretic Foundations of Normal Logic Programs. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems (2023)
Sopam Dasgupta, Farhad Shakerin, Joaquín Arias, Elmer Salazar, Gopal Gupta
Counterfactual Explanation Generation with s(CASP). CoRR (2023)
Anitha Murugesan, Isaac Hong Wong, Robert J. Stroud, Joaquín Arias, Elmer Salazar, Gopal Gupta, Robin Bloomfield, Srivatsan Varadarajan, John Rushby
Semantic Analysis of Assurance Cases using s(CASP). ICLP Workshops (2023)
Zesheng Xu, Joaquín Arias, Elmer Salazar, Zhuo Chen, Sarat Chandra Varanasi, Kinjal Basu, Gopal Gupta
Jury-Trial Story Construction and Analysis Using Goal-Directed Answer Set Programming. PADL (2023)
Gopal Gupta, Elmer Salazar, Sarat Chandra Varanasi, Kinjal Basu, Joaquín Arias, Farhad Shakerin, Fang Li, Huaduo Wang
Tutorial: Automating Commonsense Reasoning. ICLP Workshops (2022)
Sarat Chandra Varanasi, Neda Saeedloei, Elmer Salazar, Joaquín Arias, Gopal Gupta
LTL Model Checking using Coinductive Answer Set Programming. ICLP Workshops (2022)
Sarat Chandra Varanasi, Joaquín Arias, Elmer Salazar, Fang Li, Kinjal Basu, Gopal Gupta
Modeling and Verification of Real-Time Systems with the Event Calculus and s(CASP). PADL (2022)
Kinjal Basu, Elmer Salazar, Huaduo Wang, Joaquín Arias, Parth Padalkar, Gopal Gupta
Symbolic Reinforcement Learning Framework with Incremental Learning of Rule-based Policy. ICLP Workshops (2022)
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)
Fang Li, Elmer Salazar, Gopal Gupta
Graph-based Interpretation of Normal Logic Programs. CoRR (2021)
Fang Li, Elmer Salazar, Gopal Gupta
Graph Based Answer Set Programming Solver Systems. ICLP Workshops (2021)
Brendan Hall, Sarat Chandra Varanasi, Jan Fiedor, Joaquín Arias, Kinjal Basu, Fang Li, Devesh Bhatt, Kevin Driscoll, Elmer Salazar, Gopal Gupta
Knowledge-Assisted Reasoning of Model-Augmented System Requirements with Event Calculus and Goal-Directed Answer Set Programming. HCVS@ETAPS (2021)
Fang Li, Huaduo Wang, Kinjal Basu, Elmer Salazar, Gopal Gupta
DiscASP: A Graph-based ASP System for Finding Relevant Consistent Concepts with Applications to Conversational Socialbots. ICLP Technical Communications (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)
Elmer Salazar
Theory Revision with Goal-directed ASP. ICLP Workshops (2021)
Sarat Chandra Varanasi, Elmer Salazar, Neeraj Mittal, Gopal Gupta
Synthesizing Imperative Code from Answer Set Programming Specifications. LOPSTR (2019)
Joaquín Arias, Manuel Carro, Elmer Salazar, Kyle Marple, Gopal Gupta
Constraint Answer Set Programming without Grounding. CoRR (2018)
Joaquín Arias, Manuel Carro, Elmer Salazar, Kyle Marple, Gopal Gupta
Constraint Answer Set Programming without Grounding. Theory Pract. Log. Program. 18 (3-4) (2018)
Gopal Gupta, Elmer Salazar, Kyle Marple, Zhuo Chen, Farhad Shakerin
A Case for Query-driven Predicate Answer Set Programming. ARCADE@CADE (2017)
Zhuo Chen, Elmer Salazar, Kyle Marple, Gopal Gupta, Lakshman Tamil, Sandeep Das, Alpesh Amin
Improving Adherence to Heart Failure Management Guidelines via Abductive Reasoning. CoRR (2017)
Kyle Marple, Elmer Salazar, Gopal Gupta
Computing Stable Models of Normal Logic Programs Without Grounding. CoRR (2017)
Zhuo Chen, Elmer Salazar, Kyle Marple, Gopal Gupta, Lakshman Tamil, Daniel Cheeran, Sandeep Das, Alpesh Amin
Improving adherence to heart failure management guidelines via abductive reasoning. Theory Pract. Log. Program. 17 (5-6) (2017)
Farhad Shakerin, Elmer Salazar, Gopal Gupta
A New Algorithm to Automate Inductive Learning of Default Theories. CoRR (2017)
Farhad Shakerin, Elmer Salazar, Gopal Gupta
A new algorithm to automate inductive learning of default theories. Theory Pract. Log. Program. 17 (5-6) (2017)
Zhuo Chen, Kyle Marple, Elmer Salazar, Gopal Gupta, Lakshman Tamil
A Physician Advisory System for Chronic Heart Failure Management Based on Knowledge Patterns. CoRR (2016)
Zhuo Chen, Kyle Marple, Elmer Salazar, Gopal Gupta, Lakshman Tamil
A Physician Advisory System for Chronic Heart Failure management based on knowledge patterns. Theory Pract. Log. Program. 16 (5-6) (2016)