( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Towards Dynamic Consistency Checking in Goal-Directed Predicate Answer Set Programming.

, , и . PADL, том 13165 из Lecture Notes in Computer Science, стр. 117-134. Springer, (2022)

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.

Joaquín Díaz

Joaquín Iriarte

Joaquín Valdés

Joaquín Fernández-Bustillo

Joaquín Barrera Calderón

 

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

Description, Implementation, and Evaluation of a Generic Design for Tabled CLP., и . CoRR, (2018)Towards Dynamic Consistency Checking in Goal-directed Predicate Answer Set Programming., , и . CoRR, (2021)Prolog: Past, Present, and Future., , , , , , , , , и 3 other автор(ы). Prolog: The Next 50 Years, том 13900 из Lecture Notes in Computer Science, Springer, (2023)Modelling and Verification of Timed Systems with the Event Calculus and s(CASP)., , , , , , , и . ICLP Workshops, том 2970 из CEUR Workshop Proceedings, CEUR-WS.org, (2021)Value awareness and process automation: a reflection through school place allocation models., , , и . ICLP Workshops, том 3437 из CEUR Workshop Proceedings, CEUR-WS.org, (2023)Counterfactual Explanation Generation with s(CASP)., , , , и . CoRR, (2023)Jury-Trial Story Construction and Analysis Using Goal-Directed Answer Set Programming., , , , , , и . PADL, том 13880 из Lecture Notes in Computer Science, стр. 261-278. Springer, (2023)Modeling and Verification of Real-Time Systems with the Event Calculus and s(CASP)., , , , , и . PADL, том 13165 из Lecture Notes in Computer Science, стр. 181-190. Springer, (2022)Building Information Modeling Using Constraint Logic Programming., , , и . Theory Pract. Log. Program., 22 (5): 723-738 (2022)Constraint Answer Set Programming without Grounding and its Applications., , , и . Datalog, том 2368 из CEUR Workshop Proceedings, стр. 22-26. CEUR-WS.org, (2019)