Elmer Salazar
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
16
Venues
5
Active years
2017–2025
Best venue rank
B
Where they publish
Papers
16 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | NeSy | MC3G: Model Agnostic Causally Constrained Counterfactual Generation. | Sopam Dasgupta, Sadaf Md. Halim, Joaqun Arias, Elmer Salazar, Gopal Gupta |
| 2025 | PADL | C3G: Causally Constrained Counterfactual Generation. | Sopam Dasgupta, Farhad Shakerin, Joaqun Arias, Elmer Salazar, Gopal Gupta |
| 2024 | ICLP | Computational Thinking with Logic Programming. | Gopal Gupta, Elmer Salazar, Joaqun Arias |
| 2024 | ICLP | Causally Constrained Counterfactual Generation using ASP. | Sopam Dasgupta, Farhad Shakerin, Elmer Salazar, Joaqun Arias, Gopal Gupta |
| 2023 | ICLP | Semantic Analysis of Assurance Cases using s(CASP). | Anitha Murugesan, Isaac Hong Wong, Robert J. Stroud, Joaqun Arias, Elmer Salazar, Gopal Gupta, Robin Bloomfield, Srivatsan Varadarajan, John Rushby |
| 2023 | PADL | Jury-Trial Story Construction and Analysis Using Goal-Directed Answer Set Programming. | Zesheng Xu, Joaqun Arias, Elmer Salazar, Zhuo Chen, Sarat Chandra Varanasi, Kinjal Basu, Gopal Gupta |
| 2022 | ICLP | Symbolic Reinforcement Learning Framework with Incremental Learning of Rule-based Policy. | Kinjal Basu, Elmer Salazar, Huaduo Wang, Joaqun Arias, Parth Padalkar, Gopal Gupta |
| 2022 | ICLP | Tutorial: Automating Commonsense Reasoning. | Gopal Gupta, Elmer Salazar, Sarat Chandra Varanasi, Kinjal Basu, Joaqun Arias, Farhad Shakerin, Fang Li, Huaduo Wang |
| 2022 | ICLP | LTL Model Checking using Coinductive Answer Set Programming. | Sarat Chandra Varanasi, Neda Saeedloei, Elmer Salazar, Joaqun Arias, Gopal Gupta |
| 2022 | PADL | Modeling and Verification of Real-Time Systems with the Event Calculus and s(CASP). | Sarat Chandra Varanasi, Joaqun Arias, Elmer Salazar, Fang Li, Kinjal Basu, Gopal Gupta |
| 2021 | ICLP | Graph Based Answer Set Programming Solver Systems. | Fang Li, Elmer Salazar, Gopal Gupta |
| 2021 | ICLP | 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, Joaqun Arias, Brendan Hall, Kevin Driscoll |
| 2021 | ICLP | Theory Revision with Goal-directed ASP. | Elmer Salazar |
| 2021 | ICLP | Modelling and Verification of Timed Systems with the Event Calculus and s(CASP). | Sarat Chandra Varanasi, Brendan Hall, Joaqun Arias, Elmer Salazar, Fang Li, Kinjal Basu, Kevin Driscoll, Gopal Gupta |
| 2019 | LOPSTR | Synthesizing Imperative Code from Answer Set Programming Specifications. | Sarat Chandra Varanasi, Elmer Salazar, Neeraj Mittal, Gopal Gupta |
| 2017 | CADE | A Case for Query-driven Predicate Answer Set Programming. | Gopal Gupta, Elmer Salazar, Kyle Marple, Zhuo Chen, Farhad Shakerin |