Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Elmer Salazar
conf.researchr.org general profile
POPL 2022 profile
POPL 2023 profile
Not registered as user yet
Name:
Elmer Salazar
Country:
United States
Affiliation:
The University of Texas at Dallas
Contributions
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
Thu 21 Nov 13:07