( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
The Return of xorro.

, , , и . LPNMR, том 11481 из Lecture Notes in Computer Science, стр. 284-297. Springer, (2019)

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.

Tomi Haramina

Friedrich Tomi

Friedrich Tomi

Tomi Adeaga

Sladjana Tomi

 

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

Sampler Programs: The Stable Model Semantics of Abstract Constraint Programs Revisited.. ICLP (Technical Communications), том 7 из LIPIcs, стр. 94-103. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2010)The Answer Set Programming Paradigm., и . AI Magazine, 37 (3): 13-24 (2016)Cross-Translating Answer Set Programs Using the ASPTOOLS Collection.. Künstliche Intell., 32 (2-3): 183-184 (2018)Declarative encodings of acyclicity properties., , и . J. Log. Comput., 30 (4): 923-952 (2020)Translating Answer-Set Programs into Bit-Vector Logic., , и . INAP/WLP, том 7773 из Lecture Notes in Computer Science, стр. 95-113. Springer, (2011)Modular Equivalence in General.. ECAI, том 178 из Frontiers in Artificial Intelligence and Applications, стр. 75-79. IOS Press, (2008)On Syntactic Forgetting Under Uniform Equivalence., , , и . JELIA, том 12678 из Lecture Notes in Computer Science, стр. 297-312. Springer, (2021)Answer Set Programming via Mixed Integer Programming., , и . KR, AAAI Press, (2012)Strong Equivalence of Logic Programs with Abstract Constraint Atoms., , , , и . LPNMR, том 6645 из Lecture Notes in Computer Science, стр. 161-173. Springer, (2011)Distributed Deadlock Handling for Resource Allocation in Smart Spaces., , и . NEW2AN, том 6869 из Lecture Notes in Computer Science, стр. 87-98. Springer, (2011)