Author of the publication

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.

 

Other publications of authors with the same name

A WAM-Based Implementation of a Logical Language with Sets., and . PLILP, volume 714 of Lecture Notes in Computer Science, page 275-290. Springer, (1993)Adding Preferences to Answer Set Planning., and . ICLP, volume 2916 of Lecture Notes in Computer Science, page 513-514. Springer, (2003)Two Applications of the ASP-Prolog System: Decomposable Programs and Multi-context Systems., , and . PADL, volume 8324 of Lecture Notes in Computer Science, page 87-103. Springer, (2014)Representing Multi-agent Planning in CLP., , and . LPNMR, volume 5753 of Lecture Notes in Computer Science, page 423-429. Springer, (2009)Parallel Answer Set Programming., , and . Handbook of Parallel Constraint Reasoning, Springer, (2018)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)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)