Author of the publication

Logic programming for finding models in the logics of knowledge and its applications: A case study.

, , , and . Theory Pract. Log. Program., 10 (4-6): 675-690 (2010)

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

On the Complexity of Or-Parallelism., , and . New Gener. Comput., 17 (3): 285-307 (1999)Introductory programming and young learners with visual disabilities: a review., and . Univers. Access Inf. Soc., 22 (1): 169-184 (March 2023)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)Parallel Answer Set Programming., , and . Handbook of Parallel Constraint Reasoning, Springer, (2018)Representing Multi-agent Planning in CLP., , and . LPNMR, volume 5753 of Lecture Notes in Computer Science, page 423-429. Springer, (2009)Justifications for logic programs under answer set semantics., , and . Theory Pract. Log. Program., 9 (1): 1-56 (2009)A new approach to hybrid probabilistic logic programs., and . Ann. Math. Artif. Intell., 50 (3-4): 417-418 (2007)