Tomi Janhunen

Available identifiers

zbMath Open janhunen.tomiMaRDI QIDQ517385

List of research outcomes

Publication	Date of Publication	Type
Solution Enumeration by Optimality in Answer Set Programming	2023-12-12	Paper
Efficient computation of answer sets via SAT modulo acyclicity and vertex elimination	2023-04-04	Paper
Applying Visible Strong Equivalence in Answer-Set Program Transformations	2022-02-24	Paper
On syntactic forgetting under uniform equivalence	2021-12-01	Paper
On neighbourhood singleton-style consistencies for qualitative spatial and temporal reasoning	2021-09-21	Paper
Boosting Answer Set Optimization with Weighted Comparator Networks	2021-09-03	Paper
Declarative encodings of acyclicity properties	2020-08-05	Paper
Rewriting optimization statements in answer-set programs	2019-10-24	Paper
The return of \textit{xorro}	2019-10-10	Paper
Answer Set Programming Modulo Acyclicity*	2017-11-09	Paper
Optimizing phylogenetic supertrees using answer set programming	2017-11-09	Paper
Stable-unstable semantics: Beyond NP with normal logic programs	2017-11-09	Paper
Clingo goes linear constraints over reals and integers	2017-11-08	Paper
https://portal.mardi4nfdi.de/entity/Q5282991	2017-07-18	Paper
Unfolding partiality and disjunctions in stable model semantics	2017-07-12	Paper
Learning discrete decomposable graphical models via constraint optimization	2017-03-23	Paper
Writing Declarative Specifications for Clauses	2016-11-30	Paper
Answer Set Programming Modulo Acyclicity	2015-11-04	Paper
ASP Solving for Expanding Universes	2015-11-04	Paper
Cumulativity Tailored for Nonmonotonic Reasoning	2015-02-04	Paper
SAT Modulo Graphs: Acyclicity	2015-01-14	Paper
Improving the Normalization of Weight Rules in Answer Set Programs	2015-01-14	Paper
Normalizing Cardinality Rules Using Merging and Sorting Constructions	2013-10-10	Paper
Applying Visible Strong Equivalence in Answer-Set Program Transformations	2012-07-23	Paper
Sampler Programs: The Stable Model Semantics of Abstract Constraint Programs Revisited	2012-05-11	Paper
https://portal.mardi4nfdi.de/entity/Q3089145	2011-08-24	Paper
Strong Equivalence of Logic Programs with Abstract Constraint Atoms	2011-05-26	Paper
Compact Translations of Non-disjunctive Answer Set Programs to Propositional Clauses	2011-05-19	Paper
On Testing Answer-Set Programs	2011-05-11	Paper
Modularity Aspects of Disjunctive Stable Models	2009-12-10	Paper
Some (in)translatability results for normal logic programs and propositional theories	2009-11-30	Paper
Computing Stable Models via Reductions to Difference Logic	2009-11-10	Paper
A Module-Based Framework for Multi-language Constraint Modeling	2009-11-10	Paper
A Translation-based Approach to the Verification of Modular Equivalence	2009-08-24	Paper
Removing Redundancy from Answer Set Programs	2009-01-22	Paper
Achieving compositionality of the stable model semantics for <scp>smodels</scp> programs	2008-12-18	Paper
Implementing Prioritized Circumscription by Computing Disjunctive Stable Models	2008-11-04	Paper
Automated Verification of Weak Equivalence within the<scp>smodels</scp>System	2007-12-10	Paper
Modularity Aspects of Disjunctive Stable Models	2007-11-13	Paper
Logic Programming and Nonmonotonic Reasoning	2007-11-07	Paper
Logic Programming and Nonmonotonic Reasoning	2007-11-07	Paper
Logic Programming and Nonmonotonic Reasoning	2007-11-07	Paper
Logics in Artificial Intelligence	2006-10-25	Paper
Logic Programming and Nonmonotonic Reasoning	2006-06-23	Paper
Evaluating the effect of semi-normality on the expressiveness of defaults	2006-02-07	Paper
https://portal.mardi4nfdi.de/entity/Q4708942	2003-06-20	Paper
https://portal.mardi4nfdi.de/entity/Q4798001	2003-03-18	Paper
https://portal.mardi4nfdi.de/entity/Q4536320	2002-06-25	Paper
https://portal.mardi4nfdi.de/entity/Q2767110	2002-01-28	Paper
On the intertranslatability of non-monotonic logics	2000-06-07	Paper
https://portal.mardi4nfdi.de/entity/Q4955326	2000-05-25	Paper
https://portal.mardi4nfdi.de/entity/Q4246971	1999-06-16	Paper
https://portal.mardi4nfdi.de/entity/Q4216774	1998-11-03	Paper
https://portal.mardi4nfdi.de/entity/Q4282608	1994-08-21	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Tomi Janhunen