( en | de | ru )

 

Disambiguation of "Janhunen, Tomi"

Author of the publication

copydeleteadd this publication to your clipboard
Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings

, and (Eds.) volume 10377 of Lecture Notes in Computer Science, Springer, (2017)

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.

Tomi Haramina

Friedrich Tomi

Friedrich Tomi

Sladjana Tomi

Tomi Adeaga

 

Other publications of authors with the same name

Modular Equivalence in General.. ECAI, volume 178 of Frontiers in Artificial Intelligence and Applications, page 75-79. IOS Press, (2008)Translating Answer-Set Programs into Bit-Vector Logic., , and . INAP/WLP, volume 7773 of Lecture Notes in Computer Science, page 95-113. Springer, (2011)Declarative encodings of acyclicity properties., , and . J. Log. Comput., 30 (4): 923-952 (2020)On Syntactic Forgetting Under Uniform Equivalence., , , and . JELIA, volume 12678 of Lecture Notes in Computer Science, page 297-312. Springer, (2021)Answer Set Programming via Mixed Integer Programming., , and . KR, AAAI Press, (2012)Sampler Programs: The Stable Model Semantics of Abstract Constraint Programs Revisited.. ICLP (Technical Communications), volume 7 of LIPIcs, page 94-103. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2010)Representing Autoepistemic Introspection in Terms of Default Rules.. ECAI, page 70-74. John Wiley and Sons, Chichester, (1996)Strong Equivalence of Logic Programs with Abstract Constraint Atoms., , , , and . LPNMR, volume 6645 of Lecture Notes in Computer Science, page 161-173. Springer, (2011)Allen's Interval Algebra Makes the Difference., and . DECLARE, volume 12057 of Lecture Notes in Computer Science, page 89-98. Springer, (2019)Pruning Redundancy in Answer Set Optimization Applied to Preventive Maintenance Scheduling., , and . PADL, volume 13880 of Lecture Notes in Computer Science, page 279-294. Springer, (2023)