( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Graph Based Answer Set Programming Solver Systems.

, , и . ICLP Workshops, том 2970 из CEUR Workshop Proceedings, CEUR-WS.org, (2021)

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.

Jaime Salazar

Wenceslao Salazar

Ulrich Elmer

Konrad Elmer

Andreas Elmer

 

Другие публикации лиц с тем же именем

Modelling and Verification of Timed Systems with the Event Calculus and s(CASP)., , , , , , , и . ICLP Workshops, том 2970 из CEUR Workshop Proceedings, CEUR-WS.org, (2021)Theory Revision with Goal-directed ASP.. ICLP Workshops, том 2970 из CEUR Workshop Proceedings, CEUR-WS.org, (2021)Computing Stable Models of Normal Logic Programs Without Grounding., , и . CoRR, (2017)Formalizing Informal Logic and Natural Language Deductivism., , , , , , , , , и 2 other автор(ы). ICLP Workshops, том 2970 из CEUR Workshop Proceedings, CEUR-WS.org, (2021)CFGs: Causality Constrained Counterfactual Explanations using goal-directed ASP., , , и . CoRR, (2024)Tutorial: Automating Commonsense Reasoning., , , , , , , и . ICLP Workshops, том 3193 из CEUR Workshop Proceedings, CEUR-WS.org, (2022)Symbolic Reinforcement Learning Framework with Incremental Learning of Rule-based Policy., , , , , и . ICLP Workshops, том 3193 из CEUR Workshop Proceedings, CEUR-WS.org, (2022)Synthesizing Imperative Code from Answer Set Programming Specifications., , , и . LOPSTR, том 12042 из Lecture Notes in Computer Science, стр. 75-89. Springer, (2019)A Case for Query-driven Predicate Answer Set Programming., , , , и . ARCADE@CADE, том 51 из EPiC Series in Computing, стр. 64-68. EasyChair, (2017)Improving adherence to heart failure management guidelines via abductive reasoning., , , , , , , и . Theory Pract. Log. Program., 17 (5-6): 764-779 (2017)