Tomi Janhunen | DeepAI

DeepAI AI Chat

Featured Co-authors

Torsten Schaub
48 publications
Stefan Woltran
42 publications
Bart Bogaerts
25 publications
Javier Romero
23 publications
Antti Kuusisto
18 publications
Hans Tompits
13 publications
Roland Kaminski
12 publications
Reijo Jaakkola
12 publications
Emilia Oikarinen
8 publications
Miikka Vilander
8 publications
Philipp Wanko
8 publications

∙ 08/30/2023

Generalizing Level Ranking Constraints for Monotone and Convex Aggregates

In answer set programming (ASP), answer sets capture solutions to search...

0 Tomi Janhunen, et al. ∙

∙ 07/13/2023

Short Boolean Formulas as Explanations in Practice

We investigate explainability via short Boolean formulas in the data mod...

0 Reijo Jaakkola, et al. ∙

∙ 06/08/2023

Capturing (Optimal) Relaxed Plans with Stable and Supported Models of Logic Programs

We establish a novel relation between delete-free planning, an important...

0 Masood Feyzbakhsh Rankooh, et al. ∙

∙ 09/03/2022

Explainability via Short Formulas: the Case of Propositional Logic with Implementation

We conceptualize explainability in terms of logic and formula size, givi...

0 Reijo Jaakkola, et al. ∙

∙ 06/23/2022

plingo: A system for probabilistic reasoning in clingo based on lpmln

We present plingo, an extension of the ASP system clingo with various pr...

0 Susana Hahn, et al. ∙

∙ 08/07/2021

Solution Enumeration by Optimality in Answer Set Programming

Given a combinatorial search problem, it may be highly useful to enumera...

0 Jukka Pajunen, et al. ∙

∙ 03/06/2020

Boosting Answer Set Optimization with Weighted Comparator Networks

Answer set programming (ASP) is a paradigm for modeling knowledge intens...

0 Jori Bomanson, et al. ∙

∙ 09/03/2019

Allen's Interval Algebra Makes the Difference

Allen's Interval Algebra constitutes a framework for reasoning about tem...

0 Tomi Janhunen, et al. ∙

∙ 07/13/2017

Clingo goes Linear Constraints over Reals and Integers

The recent series 5 of the ASP system clingo provides generic means to e...

0 Tomi Janhunen, et al. ∙

∙ 08/05/2016

Stable-Unstable Semantics: Beyond NP with Normal Logic Programs

Standard answer set programming (ASP) targets at solving search problems...

0 Bart Bogaerts, et al. ∙

∙ 01/15/2014

Modularity Aspects of Disjunctive Stable Models

Practically all programming languages allow the programmer to split a pr...

0 Tomi Janhunen, et al. ∙

∙ 08/30/2011

Translating Answer-Set Programs into Bit-Vector Logic

Answer set programming (ASP) is a paradigm for declarative problem solvi...

0 Mai Nguyen, et al. ∙

Are you a researcher?
Expose your work
to one of the largest
A.I. communities in the world