Elmer Salazar -

Not registered as user yet

Name:Elmer Salazar

Country:United States

Affiliation:The University of Texas at Dallas

Contributions

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