Elmer Salazar

According to our database, Elmer Salazar authored at least 26 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Counterfactual Generation with Answer Set Programming.

Sopam Dasgupta, Farhad Shakerin, Joaquín Arias, Elmer Salazar, Gopal Gupta

CoRR, 2024

2023

Logic-Based Explainable and Incremental Machine Learning.

Gopal Gupta, Huaduo Wang, Kinjal Basu, Farhad Shakerin, Elmer Salazar, Sarat Chandra Varanasi, Parth Padalkar, Sopam Dasgupta

Proceedings of the Prolog: The Next 50 Years, 2023

Prolog: Past, Present, and Future.

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

Proceedings of the Prolog: The Next 50 Years, 2023

Counterfactual Explanation Generation with s(CASP).

Sopam Dasgupta, Farhad Shakerin, Joaquín Arias, Elmer Salazar, Gopal Gupta

CoRR, 2023

Jury-Trial Story Construction and Analysis Using Goal-Directed Answer Set Programming.

Zesheng Xu, Joaquín Arias, Elmer Salazar, Zhuo Chen, Sarat Chandra Varanasi, Kinjal Basu, Gopal Gupta

Proceedings of the Practical Aspects of Declarative Languages, 2023

Semantic Analysis of Assurance Cases using s(CASP).

Anitha Murugesan, Isaac Hong Wong, Robert J. Stroud, Joaquín Arias, Elmer Salazar, Gopal Gupta, Robin Bloomfield, Srivatsan Varadarajan, John Rushby

Proceedings of the International Conference on Logic Programming 2023 Workshops co-located with the 39th International Conference on Logic Programming (ICLP 2023), 2023

Proof-Theoretic Foundations of Normal Logic Programs.

Elmer Salazar, Gopal Gupta

Proceedings of the Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023

2022

Modeling and Verification of Real-Time Systems with the Event Calculus and s(CASP).

Sarat Chandra Varanasi, Joaquín Arias, Elmer Salazar, Fang Li, Kinjal Basu, Gopal Gupta

Proceedings of the Practical Aspects of Declarative Languages, 2022

LTL Model Checking using Coinductive Answer Set Programming.

Sarat Chandra Varanasi, Neda Saeedloei, Elmer Salazar, Joaquín Arias, Gopal Gupta

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, 2022

Tutorial: Automating Commonsense Reasoning.

Gopal Gupta, Elmer Salazar, Sarat Chandra Varanasi, Kinjal Basu, Joaquín Arias, Farhad Shakerin, Fang Li, Huaduo Wang

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, 2022

Symbolic Reinforcement Learning Framework with Incremental Learning of Rule-based Policy.

Kinjal Basu, Elmer Salazar, Huaduo Wang, Joaquín Arias, Parth Padalkar, Gopal Gupta

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, 2022

2021

Graph-based Interpretation of Normal Logic Programs.

Fang Li, Elmer Salazar, Gopal Gupta

CoRR, 2021

DiscASP: A Graph-based ASP System for Finding Relevant Consistent Concepts with Applications to Conversational Socialbots.

Fang Li, Huaduo Wang, Kinjal Basu, Elmer Salazar, Gopal Gupta

Proceedings of the Proceedings 37th International Conference on Logic Programming (Technical Communications), 2021

Knowledge-Assisted Reasoning of Model-Augmented System Requirements with Event Calculus and Goal-Directed Answer Set Programming.

Brendan Hall, Sarat Chandra Varanasi, Jan Fiedor, Joaquín Arias, Kinjal Basu, Fang Li, Devesh Bhatt, Kevin Driscoll, Elmer Salazar, Gopal Gupta

Proceedings of the Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis, 2021

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, Kinjal Basu, Kevin Driscoll, Gopal Gupta

Proceedings of the International Conference on Logic Programming 2021 Workshops co-located with the 37th International Conference on Logic Programming (ICLP 2021), 2021

Theory Revision with Goal-directed ASP.

Elmer Salazar

Proceedings of the International Conference on Logic Programming 2021 Workshops co-located with the 37th International Conference on Logic Programming (ICLP 2021), 2021

Formalizing Informal Logic and Natural Language Deductivism.

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

Proceedings of the International Conference on Logic Programming 2021 Workshops co-located with the 37th International Conference on Logic Programming (ICLP 2021), 2021

Graph Based Answer Set Programming Solver Systems.

Fang Li, Elmer Salazar, Gopal Gupta

Proceedings of the International Conference on Logic Programming 2021 Workshops co-located with the 37th International Conference on Logic Programming (ICLP 2021), 2021

2019

Synthesizing Imperative Code from Answer Set Programming Specifications.

Sarat Chandra Varanasi, Elmer Salazar, Neeraj Mittal, Gopal Gupta

Proceedings of the Logic-Based Program Synthesis and Transformation, 2019

2018

Constraint Answer Set Programming without Grounding.

Joaquín Arias, Manuel Carro, Elmer Salazar, Kyle Marple, Gopal Gupta

Theory Pract. Log. Program., 2018

2017

A new algorithm to automate inductive learning of default theories.

Farhad Shakerin, Elmer Salazar, Gopal Gupta

Theory Pract. Log. Program., 2017

Improving adherence to heart failure management guidelines via abductive reasoning.

Zhuo Chen, Elmer Salazar, Kyle Marple, Gopal Gupta, Lakshman Tamil, Daniel Cheeran, Sandeep Das, Alpesh Amin

Theory Pract. Log. Program., 2017

Computing Stable Models of Normal Logic Programs Without Grounding.

Kyle Marple, Elmer Salazar, Gopal Gupta

CoRR, 2017

Improving Adherence to Heart Failure Management Guidelines via Abductive Reasoning.

Zhuo Chen, Elmer Salazar, Kyle Marple, Gopal Gupta, Lakshman Tamil, Sandeep Das, Alpesh Amin

CoRR, 2017

A Case for Query-driven Predicate Answer Set Programming.

Gopal Gupta, Elmer Salazar, Kyle Marple, Zhuo Chen, Farhad Shakerin

Proceedings of the ARCADE 2017, 2017

2016

A Physician Advisory System for Chronic Heart Failure management based on knowledge patterns.

Zhuo Chen, Kyle Marple, Elmer Salazar, Gopal Gupta, Lakshman Tamil

Theory Pract. Log. Program., 2016