( en | de | ru )

 

Disambiguation of "Salazar, Elmer"

Author of the publication

copydeleteadd this publication to your clipboard
Jury-Trial Story Construction and Analysis Using Goal-Directed Answer Set Programming.

, , , , , , and . PADL, volume 13880 of Lecture Notes in Computer Science, page 261-278. Springer, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Jaime Salazar

Wenceslao Salazar

Ulrich Elmer

Konrad Elmer

Andreas Elmer

 

Other publications of authors with the same name

Theory Revision with Goal-directed ASP.. ICLP Workshops, volume 2970 of CEUR Workshop Proceedings, CEUR-WS.org, (2021)Modelling and Verification of Timed Systems with the Event Calculus and s(CASP)., , , , , , , and . ICLP Workshops, volume 2970 of CEUR Workshop Proceedings, CEUR-WS.org, (2021)Computing Stable Models of Normal Logic Programs Without Grounding., , and . CoRR, (2017)Formalizing Informal Logic and Natural Language Deductivism., , , , , , , , , and 2 other author(s). ICLP Workshops, volume 2970 of CEUR Workshop Proceedings, CEUR-WS.org, (2021)CFGs: Causality Constrained Counterfactual Explanations using goal-directed ASP., , , and . CoRR, (2024)Counterfactual Explanation Generation with s(CASP)., , , , and . CoRR, (2023)Improving adherence to heart failure management guidelines via abductive reasoning., , , , , , , and . Theory Pract. Log. Program., 17 (5-6): 764-779 (2017)Jury-Trial Story Construction and Analysis Using Goal-Directed Answer Set Programming., , , , , , and . PADL, volume 13880 of Lecture Notes in Computer Science, page 261-278. Springer, (2023)Modeling and Verification of Real-Time Systems with the Event Calculus and s(CASP)., , , , , and . PADL, volume 13165 of Lecture Notes in Computer Science, page 181-190. Springer, (2022)Tutorial: Automating Commonsense Reasoning., , , , , , , and . ICLP Workshops, volume 3193 of CEUR Workshop Proceedings, CEUR-WS.org, (2022)