Elmer Salazar

44 papers C 5Journal 20Unranked 14
YearRankTypeTitle / Venue / Authors
2025 C conf
C3G: Causally Constrained Counterfactual Generation.
PADL
Sopam Dasgupta, Farhad Shakerin, Joaquín Arias, Elmer Salazar, Gopal Gupta
2025 C conf
MC3G: Model Agnostic Causally Constrained Counterfactual Generation.
NeSy
Sopam Dasgupta, Sadaf Md. Halim, Joaquín Arias, Elmer Salazar, Gopal Gupta
2025 J jnl
MC3G: Model Agnostic Causally Constrained Counterfactual Generation.
CoRR
Sopam Dasgupta, Sadaf Md. Halim, Joaquín Arias, Elmer Salazar, Gopal Gupta
2025 J jnl
Modeling Deontic Modal Logic in the s(CASP) Goal-directed Predicate Answer Set Programming System.
CoRR
Gopal Gupta, Abhiramon Rajasekharan, Alexis R. Tudor, Elmer Salazar, Joaquín Arias
2025 J jnl
P2C: Path to Counterfactuals.
CoRR
Sopam Dasgupta, Sadaf Md. Halim, Joaquín Arias, Elmer Salazar, Gopal Gupta
2024 J jnl
Automating Semantic Analysis of System Assurance Cases Using Goal-Directed ASP.
Theory Pract. Log. Program.
Anitha Murugesan, Isaac Hong Wong, Joaquín Arias, Robert J. Stroud, Srivatsan Varadarajan, Elmer Salazar, Gopal Gupta, Robin Bloomfield, John Rushby
2024 J jnl
Automating Semantic Analysis of System Assurance Cases using Goal-directed ASP.
CoRR
Anitha Murugesan, Isaac Hong Wong, Joaquín Arias, Robert J. Stroud, Srivatsan Varadarajan, Elmer Salazar, Gopal Gupta, Robin Bloomfield, John Rushby
2024 J jnl
CFGs: Causality Constrained Counterfactual Explanations using goal-directed ASP.
CoRR
Sopam Dasgupta, Joaquín Arias, Elmer Salazar, Gopal Gupta
2024 — conf
Causally Constrained Counterfactual Generation using ASP.
ICLP Workshops
Sopam Dasgupta, Farhad Shakerin, Elmer Salazar, Joaquín Arias, Gopal Gupta
2024 J jnl
CoGS: Causality Constrained Counterfactual Explanations using goal-directed ASP.
CoRR
Sopam Dasgupta, Joaquín Arias, Elmer Salazar, Gopal Gupta
2024 J jnl
CoGS: Model Agnostic Causality Constrained Counterfactual Explanations using goal-directed ASP.
CoRR
Sopam Dasgupta, Joaquín Arias, Elmer Salazar, Gopal Gupta
2024 — conf
Computational Thinking with Logic Programming.
ICLP Workshops
Gopal Gupta, Elmer Salazar, Joaquín Arias
2024 J jnl
Counterfactual Generation with Answer Set Programming.
CoRR
Sopam Dasgupta, Farhad Shakerin, Joaquín Arias, Elmer Salazar, Gopal Gupta
2023 J jnl
Counterfactual Explanation Generation with s(CASP).
CoRR
Sopam Dasgupta, Farhad Shakerin, Joaquín Arias, Elmer Salazar, Gopal Gupta
2023 C conf
Jury-Trial Story Construction and Analysis Using Goal-Directed Answer Set Programming.
PADL
Zesheng Xu, Joaquín Arias, Elmer Salazar, Zhuo Chen, Sarat Chandra Varanasi, Kinjal Basu, Gopal Gupta
2023 — ch.
Logic-Based Explainable and Incremental Machine Learning.
Prolog: The Next 50 Years
Gopal Gupta, Huaduo Wang, Kinjal Basu, Farhad Shakerin, Elmer Salazar, Sarat Chandra Varanasi, Parth Padalkar, Sopam Dasgupta
2023 — ed.
Proceedings of the International Conference on Logic Programming 2023 Workshops co-located with the 39th International Conference on Logic Programming (ICLP 2023), London, United Kingdom, July 9th and 10th, 2023.
ICLP Workshops
Joaquín Arias, Sotiris Batsakis, Wolfgang Faber, Gopal Gupta, Francesco Pacenza, Emmanuel Papadakis, Livio Robaldo, Kilian Rückschloß, Elmer Salazar, Zeynep G. Saribatur, Ilias Tachmazidis, Felix Weitkämper, Adam Z. Wyner
2023 — ch.
Prolog: Past, Present, and Future.
Prolog: The Next 50 Years
Gopal Gupta, Elmer Salazar, Farhad Shakerin, Joaquín Arias, Sarat Chandra Varanasi, Kinjal Basu, Huaduo Wang, Fang Li, Serdar Erbatur, Parth Padalkar, Abhiramon Rajasekharan, Yankai Zeng, Manuel Carro
2023 — conf
Proof-Theoretic Foundations of Normal Logic Programs.
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems
Elmer Salazar, Gopal Gupta
2023 — conf
Semantic Analysis of Assurance Cases using s(CASP).
ICLP Workshops
Anitha Murugesan, Isaac Hong Wong, Robert J. Stroud, Joaquín Arias, Elmer Salazar, Gopal Gupta, Robin Bloomfield, Srivatsan Varadarajan, John Rushby
2022 — conf
LTL Model Checking using Coinductive Answer Set Programming.
ICLP Workshops
Sarat Chandra Varanasi, Neda Saeedloei, Elmer Salazar, Joaquín Arias, Gopal Gupta
2022 C conf
Modeling and Verification of Real-Time Systems with the Event Calculus and s(CASP).
PADL
Sarat Chandra Varanasi, Joaquín Arias, Elmer Salazar, Fang Li, Kinjal Basu, Gopal Gupta
2022 — ed.
Proceedings of the International Conference on Logic Programming 2022 Workshops co-located with the 38th International Conference on Logic Programming (ICLP 2022), Haifa, Israel, July 31st - August 1st, 2022.
ICLP Workshops
Joaquín Arias, Roberta Calegari, Luke Dickens, Wolfgang Faber, Jorge Fandinno, Gopal Gupta, Markus Hecher, Daniela Inclezan, Emily Leblanc, Michael Morak, Elmer Salazar, Jessica Zangari
2022 — conf
Symbolic Reinforcement Learning Framework with Incremental Learning of Rule-based Policy.
ICLP Workshops
Kinjal Basu, Elmer Salazar, Huaduo Wang, Joaquín Arias, Parth Padalkar, Gopal Gupta
2022 — conf
Tutorial: Automating Commonsense Reasoning.
ICLP Workshops
Gopal Gupta, Elmer Salazar, Sarat Chandra Varanasi, Kinjal Basu, Joaquín Arias, Farhad Shakerin, Fang Li, Huaduo Wang
2021 — conf
DiscASP: A Graph-based ASP System for Finding Relevant Consistent Concepts with Applications to Conversational Socialbots.
ICLP Technical Communications
Fang Li, Huaduo Wang, Kinjal Basu, Elmer Salazar, Gopal Gupta
2021 — conf
Formalizing Informal Logic and Natural Language Deductivism.
ICLP Workshops
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
2021 — conf
Graph Based Answer Set Programming Solver Systems.
ICLP Workshops
Fang Li, Elmer Salazar, Gopal Gupta
2021 J jnl
Graph-based Interpretation of Normal Logic Programs.
CoRR
Fang Li, Elmer Salazar, Gopal Gupta
2021 — conf
Knowledge-Assisted Reasoning of Model-Augmented System Requirements with Event Calculus and Goal-Directed Answer Set Programming.
HCVS@ETAPS
Brendan Hall, Sarat Chandra Varanasi, Jan Fiedor, Joaquín Arias, Kinjal Basu, Fang Li, Devesh Bhatt, Kevin Driscoll, Elmer Salazar, Gopal Gupta
2021 — conf
Modelling and Verification of Timed Systems with the Event Calculus and s(CASP).
ICLP Workshops
Sarat Chandra Varanasi, Brendan Hall, Joaquín Arias, Elmer Salazar, Fang Li, Kinjal Basu, Kevin Driscoll, Gopal Gupta
2021 — ed.
Proceedings of the International Conference on Logic Programming 2021 Workshops co-located with the 37th International Conference on Logic Programming (ICLP 2021), Porto, Portugal (virtual), September 20th-21st, 2021.
ICLP Workshops
Joaquín Arias, Fabio Aurelio D'Asaro, Abeer Dyoub, Gopal Gupta, Markus Hecher, Emily Leblanc, Rafael Peñaloza, Elmer Salazar, Ari Saptawijaya, Felix Weitkämper, Jessica Zangari
2021 — conf
Theory Revision with Goal-directed ASP.
ICLP Workshops
Elmer Salazar
2019 C conf
Synthesizing Imperative Code from Answer Set Programming Specifications.
LOPSTR
Sarat Chandra Varanasi, Elmer Salazar, Neeraj Mittal, Gopal Gupta
2018 J jnl
Constraint Answer Set Programming without Grounding.
CoRR
Joaquín Arias, Manuel Carro, Elmer Salazar, Kyle Marple, Gopal Gupta
2018 J jnl
Constraint Answer Set Programming without Grounding.
Theory Pract. Log. Program.
Joaquín Arias, Manuel Carro, Elmer Salazar, Kyle Marple, Gopal Gupta
2017 — conf
A Case for Query-driven Predicate Answer Set Programming.
ARCADE@CADE
Gopal Gupta, Elmer Salazar, Kyle Marple, Zhuo Chen, Farhad Shakerin
2017 J jnl
A New Algorithm to Automate Inductive Learning of Default Theories.
CoRR
Farhad Shakerin, Elmer Salazar, Gopal Gupta
2017 J jnl
A new algorithm to automate inductive learning of default theories.
Theory Pract. Log. Program.
Farhad Shakerin, Elmer Salazar, Gopal Gupta
2017 J jnl
Computing Stable Models of Normal Logic Programs Without Grounding.
CoRR
Kyle Marple, Elmer Salazar, Gopal Gupta
2017 J jnl
Improving Adherence to Heart Failure Management Guidelines via Abductive Reasoning.
CoRR
Zhuo Chen, Elmer Salazar, Kyle Marple, Gopal Gupta, Lakshman Tamil, Sandeep Das, Alpesh Amin
2017 J jnl
Improving adherence to heart failure management guidelines via abductive reasoning.
Theory Pract. Log. Program.
Zhuo Chen, Elmer Salazar, Kyle Marple, Gopal Gupta, Lakshman Tamil, Daniel Cheeran, Sandeep Das, Alpesh Amin
2016 J jnl
A Physician Advisory System for Chronic Heart Failure Management Based on Knowledge Patterns.
CoRR
Zhuo Chen, Kyle Marple, Elmer Salazar, Gopal Gupta, Lakshman Tamil
2016 J jnl
A Physician Advisory System for Chronic Heart Failure management based on knowledge patterns.
Theory Pract. Log. Program.
Zhuo Chen, Kyle Marple, Elmer Salazar, Gopal Gupta, Lakshman Tamil