( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Dealing with Infinite Intensional Sets in CLP.

, , и . APPIA-GULP-PRODE, стр. 465-478. (1997)

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.

Agostino Mazziotta

Agostino Sottili

Agostino Portera

Mario Agostino Rocca

Giuseppe Agostino Aronica

 

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

Narrowing the Gap between Set-Constraints and CLP(SET)-Constraints., , и . APPIA-GULP-PRODE, стр. 43-56. (1998)Constraint Propagation on GPU: A Case Study for the Cumulative Constraint., , , , и . CPAIOR, том 13884 из Lecture Notes in Computer Science, стр. 336-353. Springer, (2023)Non-Well-Founded Set Based Multi-Agent Epistemic Action Language., , , и . CILC, том 2396 из CEUR Workshop Proceedings, стр. 242-259. CEUR-WS.org, (2019)3coSoKu and its Logic Programming Modeling., и . CILC, том 2710 из CEUR Workshop Proceedings, стр. 5-20. CEUR-WS.org, (2020)2D object reconstruction with ASP., , и . CILC, том 2214 из CEUR Workshop Proceedings, стр. 132-146. CEUR-WS.org, (2018)Modeling and Solving the Rush Hour puzzle., , и . CILC, том 3204 из CEUR Workshop Proceedings, стр. 294-306. CEUR-WS.org, (2022)CLP-based Protein Fragment Assembly., , , и . CILC, том 598 из CEUR Workshop Proceedings, CEUR-WS.org, (2010)A necessary condition for Constructive Negation in Constraint Logic Programming., , и . Inf. Process. Lett., 74 (3-4): 147-156 (2000)A Fast Bisimulation Algorithm., , и . CAV, том 2102 из Lecture Notes in Computer Science, стр. 79-90. Springer, (2001)Multiset Constraints and P Systems., , и . WMP, том 2235 из Lecture Notes in Computer Science, стр. 103-122. Springer, (2000)