( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Variable Elimination for DLP-Functions.

, , , , и . KR, стр. 643-644. AAAI Press, (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.

Tomi Haramina

Friedrich Tomi

Friedrich Tomi

Tomi Adeaga

Sladjana Tomi

 

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

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)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)On Syntactic Forgetting Under Uniform Equivalence., , , и . JELIA, том 12678 из Lecture Notes in Computer Science, стр. 297-312. Springer, (2021)Modular Equivalence in General.. ECAI, том 178 из Frontiers in Artificial Intelligence and Applications, стр. 75-79. IOS Press, (2008)Answer Set Programming via Mixed Integer Programming., , и . KR, AAAI Press, (2012)Representing Autoepistemic Introspection in Terms of Default Rules.. ECAI, стр. 70-74. John Wiley and Sons, Chichester, (1996)Pruning Redundancy in Answer Set Optimization Applied to Preventive Maintenance Scheduling., , и . PADL, том 13880 из Lecture Notes in Computer Science, стр. 279-294. Springer, (2023)Strong Equivalence of Logic Programs with Abstract Constraint Atoms., , , , и . LPNMR, том 6645 из Lecture Notes in Computer Science, стр. 161-173. Springer, (2011)A Scheme for Weakened Negative Introspection in Autoepistemic Reasoning., и . Kurt Gödel Colloquium, том 713 из Lecture Notes in Computer Science, стр. 211-222. Springer, (1993)