( en | de | ru )

 

Disambiguation of "Pontelli, Enrico"

Author of the publication

copydeleteadd this publication to your clipboard
Justification and debugging of answer set programs in ASP.

, , and . AADEBUG, page 49-58. ACM, (2005)

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. You can also use the button next to the name to display some publications already assigned to the person.

Enrico Schramm

Enrico Streit

Enrico Körner

Enrico Meier

Enrico Taliani

 

Other publications of authors with the same name

Introductory programming and young learners with visual disabilities: a review., and . Univers. Access Inf. Soc., 22 (1): 169-184 (March 2023)On the Complexity of Or-Parallelism., , and . New Gener. Comput., 17 (3): 285-307 (1999)Data structures for order-sensitive predicates in parallel nondeterministic systems., , and . Acta Informatica, 37 (1): 21-43 (2000)Improving the Efficiency of Nondeterministic Independent and-Parallel Systems., , , , and . Comput. Lang., 22 (2/3): 115-142 (1996)Sequential and parallel algorithms for the NCA problem on pure pointer machines., , and . Theor. Comput. Sci., 352 (1-3): 108-135 (2006)Complexity Analysis of Late Binding in Dynamic Object-Oriented Languages, , and . J. Funct. Log. Program., (1999)2016 IEEE Education Society Awards, 2016 Frontiers in Education Conference Awards, and Selected IEEE Awards., , , , , , , , , and 21 other author(s). IEEE Trans. Educ., 60 (1): 67-77 (2017)Phylotastic: An Experiment in Creating, Manipulating, and Evolving Phylogenetic Biology Workflows Using Logic Programming., , and . Theory Pract. Log. Program., 18 (3-4): 656-672 (2018)Prolog Meets Biology., , , and . Prolog: The Next 50 Years, volume 13900 of Lecture Notes in Computer Science, Springer, (2023)Determinancy Driven Optimization of Parallel Prolog Implementations., , and . Workshop on Design and Impl. of Parallel Logic Programming Systems, page 54-71. (1994)