Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Elmer Salazar
conf.researchr.org general profile
POPL 2022 profile
POPL 2023 profile
POPL 2025 profile
Not registered as user
Name:
Elmer Salazar
Country:
United States
Affiliation:
The University of Texas at Dallas
Contributions
2025
Symposium on Practical Aspects of Declarative Languages
Author of C3G: Causally Constrained Counterfactual Generation within the PADL 2025-track
2023
Symposium on Practical Aspects of Declarative Languages
Author of Jury-trial Story Construction and Analysis using Goal-directed Answer Set Programming within the PADL 2023-track
2022
Symposium on Practical Aspects of Declarative Languages
Author of Graph-based Interpretation of Normal Logic Programs within the PADL 2022-track
Author of Modeling and Verification of Real-Time Systems with the Event Calculus and s(CASP) within the PADL 2022-track
Share
x
Sun 22 Dec 02:18