( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Theoretical Perspective of Coinductive Logic Programming.

, и . Fundam. Informaticae, 140 (3-4): 221-246 (2015)

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

 

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

A uniform approach to constraint-solving for lists, multisets, compact lists, and sets., , и . ACM Trans. Comput. Log., 9 (3): 15:1-15:30 (2008)Heuristics, optimizations, and parallelism for protein structure prediction in CLP(FD)., , и . PPDP, стр. 230-241. ACM, (2005)Book review: Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets by Domenico Cantone, Eugenio Omodeo, and Alberto Policriti, Springer, 2001, ISBN 0-387-95197-0.. Theory Pract. Log. Program., 3 (1): 125-128 (2003)Introduction to the Technical Communications of the 28th International Conference on Logic Programming Special Issue., и . ICLP (Technical Communications), том 17 из LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2012)Applying model-checking to solve queries on semistructured data., и . Comput. Lang. Syst. Struct., 35 (2): 143-172 (2009)Solving Systems of Equations over Hypersets., , , и . GULP-PRODE (1), стр. 403-417. (1994)Set domains for structural properties of terms., и . APPIA-GULP-PRODE, стр. 93-104. (1997)Comparing expressiveness of set constructor symbols., , и . APPIA-GULP-PRODE, стр. 151-166. (1999)A Multi-paradigm Tool for Large Neighborhood Search., , и . Hybrid Metaheuristics, том 434 из Studies in Computational Intelligence, Springer, (2013)Compiling Intensional Sets in CLP., , , и . ICLP, стр. 647-661. MIT Press, (1994)