( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
plasp 3: Towards Effective ASP Planning.

, , , , и . CoRR, (2018)

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.

Dirk Lühnenschloss

Dagmar Lühnenschloß

Anne Lühnenschloss

Stefan Luhne

Karin Luhne

 

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

plasp 3: Towards Effective ASP Planning., , , , и . CoRR, (2018)Towards Verifying Logic Programs in the Input Language of clingo., , и . Fields of Logic and Computation III, том 12180 из Lecture Notes in Computer Science, стр. 190-209. Springer, (2020)Discovering and Proving Invariants in Answer Set Programming and Planning.. CoRR, (2019)Verifying Strong Equivalence of Programs in the Input Language of gringo., , и . LPNMR, том 11481 из Lecture Notes in Computer Science, стр. 270-283. Springer, (2019)plasp 3: Towards Effective ASP Planning., , , , и . Theory Pract. Log. Program., 19 (3): 477-504 (2019)Verifying Tight Logic Programs with anthem and vampire., , , и . Theory Pract. Log. Program., 20 (5): 735-750 (2020)