Implementing Stable-Unstable Semantics with ASPTOOLS and Clingo

von Janhunen, Tomi
Veröffentlicht in PADL (24. : 2022 : Philadelphia, Pa.) Practical Aspects of Declarative Languages (2022)

Allen's Interval Algebra Makes the Difference

von Janhunen, Tomi
Veröffentlicht in DECLARE (2019 : Cottbus) Declarative programming and knowledge management (2020)

Logics in artificial intelligence : 12th European conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010 ; proceedings

Veröffentlicht 2010

Logic programming and nonmonotonic reasoning : 14th International Conference, LPNMR 2017 : Espoo, Finland, July 3-6, 2017 : proceedings

Veröffentlicht 2017

On Syntactic Forgetting Under Uniform Equivalence

von Gonçalves, Ricardo
Veröffentlicht in JELIA (17. : 2021 : Online) Logics in Artificial Intelligence (2021)

Short Boolean Formulas as Explanations in Practice

von Jaakkola, Reijo
Veröffentlicht in JELIA (18. : 2023 : Dresden) Logics in artificial intelligence (2023)