( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
An Overview of the Ciao System.

, , , , , , , и . RuleML Europe, том 6826 из Lecture Notes in Computer Science, стр. 2. Springer, (2011)

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.

Vicente Rodríguez Carro

Aaron E Carroll

Rebecca Carroll

John Carroll

Cristina Carro-Werner

 

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

Evaluation of the Implementation of an Abstract Interpretation Algorithm using Tabled CLP., и . Theory Pract. Log. Program., 19 (5-6): 1107-1123 (2019)An overview of Ciao and its design philosophy, , , , , , и . CoRR, (2011)https://cliplab.org/papers/hermenegildo10:ciao-design-tplp-tr.pdf.Incremental Evaluation of Lattice-Based Aggregates in Logic Programming Using Modular TCLP., и . PADL, том 11372 из Lecture Notes in Computer Science, стр. 98-114. Springer, (2019)An s(CASP) In-Browser Playground based on Ciao Prolog., , , , и . ICLP Workshops, том 3193 из CEUR Workshop Proceedings, CEUR-WS.org, (2022)Preface., , , , , и . Parallelism and Implementation Technology for (Constraint) Logic Programming@ICLP, том 30 из Electronic Notes in Theoretical Computer Science, стр. 1-2. Elsevier, (1999)Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming., , , и . CoRR, (2021)Towards Dynamic Consistency Checking in Goal-Directed Predicate Answer Set Programming., , и . PADL, том 13165 из Lecture Notes in Computer Science, стр. 117-134. Springer, (2022)Using Attributed Variables in the Implementation of Parallel and Concurrent Logic Programming Systems., , и . Workshop on Design and Impl. of Parallel Logic Programming Systems, стр. 42-53. (1994)Towards Description and Optimization of Abstract Machines in an Extension of Prolog., , и . LOPSTR, том 4407 из Lecture Notes in Computer Science, стр. 77-93. Springer, (2006)An Improved Continuation Call-Based Implementation of Tabling., , , , и . PADL, том 4902 из Lecture Notes in Computer Science, стр. 197-213. Springer, (2008)