The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Tomi Janhunen" ( http://dblp.L3S.de/Authors/Tomi_Janhunen )

URL (Homepage):  http://www.tcs.hut.fi/~ttj/  Author page on DBLP  Author page in RDF  Community of Tomi Janhunen in ASPL-2

Publication years (Num. hits)
1992-2003 (16) 2004-2007 (16) 2008-2011 (18) 2012-2015 (18) 2016-2017 (15) 2018-2019 (10)
Publication types (Num. hits)
article(26) inproceedings(65) proceedings(2)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 6 occurrences of 5 keywords

Results
Found 94 publication records. Showing 93 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Tomi Janhunen, Michael Sioutis Allen's Interval Algebra Makes the Difference. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Michael Sioutis, Tomi Janhunen Towards Leveraging Backdoors in Qualitative Constraint Networks. Search on Bibsonomy KI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Flavio Everardo, Tomi Janhunen, Roland Kaminski, Torsten Schaub The Return of xorro. Search on Bibsonomy LPNMR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jori Bomanson, Tomi Janhunen, Antonius Weinzierl Enhancing Lazy Grounding with Lazy Normalization in Answer-Set Programming. Search on Bibsonomy AAAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ricardo Gonçalves 0001, Tomi Janhunen, Matthias Knorr, João Leite, Stefan Woltran Forgetting in Modular Answer Set Programming. Search on Bibsonomy AAAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Michael Sioutis, Anastasia Paparrizou, Tomi Janhunen On the Utility of Neighbourhood Singleton-Style Consistencies for Qualitative Constraint-Based Spatial and Temporal Reasoning. Search on Bibsonomy TIME The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Tomi Janhunen Answer Set Programming - Related with Other Solving Paradigms. Search on Bibsonomy KI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Tomi Janhunen Cross-Translating Answer Set Programs Using the ASPTOOLS Collection. Search on Bibsonomy KI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jori Bomanson, Tomi Janhunen, Antonius Weinzierl Towards Lazy Grounding with Lazy Normalization in Answer-Set Programming - Extended Abstract. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Ricardo Gonçalves 0001, Tomi Janhunen, Matthias Knorr, João Leite, Stefan Woltran Variable Elimination for DLP-Functions. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Tomi Janhunen, Martin Gebser, Jussi Rintanen, Henrik J. Nyman, Johan Pensar, Jukka Corander Learning discrete decomposable graphical models via constraint optimization. Search on Bibsonomy Statistics and Computing The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Tomi Janhunen, Roland Kaminski, Max Ostrowski, Torsten Schaub, Sebastian Schellhorn, Philipp Wanko Clingo goes Linear Constraints over Reals and Integers. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Tomi Janhunen, Roland Kaminski, Max Ostrowski, Sebastian Schellhorn, Philipp Wanko, Torsten Schaub Clingo goes linear constraints over reals and integers. Search on Bibsonomy TPLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Marcello Balduccini, Tomi Janhunen (eds.) Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings Search on Bibsonomy LPNMR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Tomi Janhunen, Roland Kaminski, Max Ostrowski, Torsten Schaub, Sebastian Schellhorn, Philipp Wanko clingo goes Linear Constraints over Reals and Integers. Search on Bibsonomy ASPOCP@LPNMR The full citation details ... 2017 DBLP  BibTeX  RDF
1Jori Bomanson, Martin Gebser, Tomi Janhunen, Benjamin Kaufmann, Torsten Schaub Answer Set Programming Modulo Acyclicity. Search on Bibsonomy Fundam. Inform. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Tomi Janhunen, Ilkka Niemelä The Answer Set Programming Paradigm. Search on Bibsonomy AI Magazine The full citation details ... 2016 DBLP  BibTeX  RDF
1Bart Bogaerts 0001, Tomi Janhunen, Shahab Tasharrofi Stable-Unstable Semantics: Beyond NP with Normal Logic Programs. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Bart Bogaerts 0001, Tomi Janhunen, Shahab Tasharrofi Stable-unstable semantics: Beyond NP with normal logic programs. Search on Bibsonomy TPLP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jori Bomanson, Martin Gebser, Tomi Janhunen Rewriting Optimization Statements in Answer-Set Programs. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Bart Bogaerts 0001, Tomi Janhunen, Shahab Tasharrofi Solving QBF Instances with Nested SAT Solvers. Search on Bibsonomy AAAI Workshop: Beyond NP The full citation details ... 2016 DBLP  BibTeX  RDF
1Tomi Janhunen, Shahab Tasharrofi, Eugenia Ternovska SAT-to-SAT: Declarative Extension of SAT Solvers with New Propagators. Search on Bibsonomy AAAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Bart Bogaerts 0001, Tomi Janhunen, Shahab Tasharrofi SAT-to-SAT in QBFEval 2016. Search on Bibsonomy QBF@SAT The full citation details ... 2016 DBLP  BibTeX  RDF
1Martin Gebser, Tomi Janhunen, Roland Kaminski, Torsten Schaub, Shahab Tasharrofi Writing Declarative Specifications for Clauses. Search on Bibsonomy JELIA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Bart Bogaerts 0001, Tomi Janhunen, Shahab Tasharrofi Declarative Solver Development: Case Studies. Search on Bibsonomy KR The full citation details ... 2016 DBLP  BibTeX  RDF
1Laura Koponen, Emilia Oikarinen, Tomi Janhunen, Laura Säilä Optimizing Phylogenetic Supertrees Using Answer Set Programming. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Laura Koponen, Emilia Oikarinen, Tomi Janhunen, Laura Säilä Optimizing phylogenetic supertrees using answer set programming. Search on Bibsonomy TPLP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Tomi Janhunen, Ilkka Niemelä Cumulativity Tailored for Nonmonotonic Reasoning. Search on Bibsonomy Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jori Bomanson, Martin Gebser, Tomi Janhunen, Benjamin Kaufmann, Torsten Schaub Answer Set Programming Modulo Acyclicity. Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Tomi Janhunen, Holger Jost, Roland Kaminski, Torsten Schaub ASP Solving for Expanding Universes. Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Indre Zliobaite, Michael Mathioudakis, Tuukka Lehtiniemi, Pekka Parviainen, Tomi Janhunen Accessibility by Public Transport Predicts Residential Real Estate Prices: A Case Study in Helsinki Region. Search on Bibsonomy MUD@ICML The full citation details ... 2015 DBLP  BibTeX  RDF
1Tomi Janhunen, Emilia Oikarinen, Hans Tompits, Stefan Woltran Modularity Aspects of Disjunctive Stable Models. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Martin Gebser, Tomi Janhunen, Jussi Rintanen Answer Set Programming as SAT modulo Acyclicity. Search on Bibsonomy ECAI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Jori Bomanson, Martin Gebser, Tomi Janhunen Improving the Normalization of Weight Rules in Answer Set Programs. Search on Bibsonomy JELIA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Tomi Janhunen, Jussi Rintanen SAT Modulo Graphs: Acyclicity. Search on Bibsonomy JELIA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Tomi Janhunen, Jussi Rintanen ASP Encodings of Acyclicity Properties. Search on Bibsonomy KR The full citation details ... 2014 DBLP  BibTeX  RDF
1Jukka Corander, Tomi Janhunen, Jussi Rintanen, Henrik J. Nyman, Johan Pensar Learning Chordal Markov Networks by Constraint Satisfaction. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Guohua Liu, Tomi Janhunen, Ilkka Niemelä Introducing Real Variables and Integer Objective Functions to Answer Set Programming. Search on Bibsonomy KDPD The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Jori Bomanson, Tomi Janhunen Normalizing Cardinality Rules Using Merging and Sorting Constructions. Search on Bibsonomy LPNMR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Jukka Corander, Tomi Janhunen, Jussi Rintanen, Henrik J. Nyman, Johan Pensar Learning Chordal Markov Networks by Constraint Satisfaction. Search on Bibsonomy NIPS The full citation details ... 2013 DBLP  BibTeX  RDF
1Tomi Janhunen, Ilkka Niemelä Applying Visible Strong Equivalence in Answer-Set Program Transformations. Search on Bibsonomy Correct Reasoning The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Guohua Liu, Tomi Janhunen, Ilkka Niemelä Answer Set Programming via Mixed Integer Programming. Search on Bibsonomy KR The full citation details ... 2012 DBLP  BibTeX  RDF
1Tomi Janhunen, Vesa Luukkala Meta Programming with Answer Sets for Smart Spaces. Search on Bibsonomy RR The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Mai Nguyen, Tomi Janhunen, Ilkka Niemelä Translating Answer-Set Programs into Bit-Vector Logic Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Tomi Janhunen, Ilkka Niemelä Compact Translations of Non-disjunctive Answer Set Programs to Propositional Clauses. Search on Bibsonomy Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Mai Nguyen, Tomi Janhunen, Ilkka Niemelä Translating Answer-Set Programs into Bit-Vector Logic. Search on Bibsonomy INAP/WLP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Tomi Janhunen, Ilkka Niemelä, Johannes Oetsch, Jörg Pührer, Hans Tompits Random vs. Structure-Based Testing of Answer-Set Programs: An Experimental Comparison. Search on Bibsonomy LPNMR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Guohua Liu, Randy Goebel, Tomi Janhunen, Ilkka Niemelä, Jia-Huai You Strong Equivalence of Logic Programs with Abstract Constraint Atoms. Search on Bibsonomy LPNMR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Rehan Abdul Aziz, Tomi Janhunen, Vesa Luukkala Distributed Deadlock Handling for Resource Allocation in Smart Spaces. Search on Bibsonomy NEW2AN The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Tomi Janhunen Sampler Programs: The Stable Model Semantics of Abstract Constraint Programs Revisited. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Tomi Janhunen, Ilkka Niemelä, Johannes Oetsch, Jörg Pührer, Hans Tompits On Testing Answer-Set Programs. Search on Bibsonomy ECAI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Tomi Janhunen, Ilkka Niemelä (eds.) Logics in Artificial Intelligence - 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings Search on Bibsonomy JELIA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Tomi Janhunen, Emilia Oikarinen, Hans Tompits, Stefan Woltran Modularity Aspects of Disjunctive Stable Models. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Emilia Oikarinen, Tomi Janhunen A Translation-based Approach to the Verification of Modular Equivalence. Search on Bibsonomy J. Log. Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Matti Järvisalo, Emilia Oikarinen, Tomi Janhunen, Ilkka Niemelä A Module-Based Framework for Multi-language Constraint Modeling. Search on Bibsonomy LPNMR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Tomi Janhunen, Ilkka Niemelä, Mark Sevalnev Computing Stable Models via Reductions to Difference Logic. Search on Bibsonomy LPNMR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Emilia Oikarinen, Tomi Janhunen Achieving compositionality of the stable model semantics for Smodels programs Search on Bibsonomy CoRR The full citation details ... 2008 DBLP  BibTeX  RDF
1Emilia Oikarinen, Tomi Janhunen Achieving compositionality of the stable model semantics for smodels programs. Search on Bibsonomy TPLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Tomi Janhunen Removing Redundancy from Answer Set Programs. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Tomi Janhunen Modular Equivalence in General. Search on Bibsonomy ECAI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Emilia Oikarinen, Tomi Janhunen Implementing Prioritized Circumscription by Computing Disjunctive Stable Models. Search on Bibsonomy AIMSA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Prioritized circumscription, disjunctive stable models, answer set programming, linear transformation
1Tomi Janhunen, Emilia Oikarinen Automated Verification of Weak Equivalence within the SMODELS System. Search on Bibsonomy TPLP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Emilia Oikarinen, Tomi Janhunen A Linear Transformation from Prioritized Circumscription to Disjunctive Logic Programming. Search on Bibsonomy ICLP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Tomi Janhunen, Emilia Oikarinen, Hans Tompits, Stefan Woltran Modularity Aspects of Disjunctive Stable Models. Search on Bibsonomy LPNMR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Tomi Janhunen, Ilkka Niemelä, Dietmar Seipel, Patrik Simons, Jia-Huai You Unfolding partiality and disjunctions in stable model semantics. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF disjunctive stable models, partial models, Answer set programming, inference engine, quantified Boolean formulas, minimal models
1Tomi Janhunen, Emilia Oikarinen Automated verification of weak equivalence within the SMODELS system Search on Bibsonomy CoRR The full citation details ... 2006 DBLP  BibTeX  RDF
1Tomi Janhunen Some (in)translatability results for normal logic programs and propositional theories. Search on Bibsonomy Journal of Applied Non-Classical Logics The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Jean Gressmann, Tomi Janhunen, Robert E. Mercer, Torsten Schaub, Sven Thiele, Richard Tichy On Probing and Multi-Threading in Platypus. Search on Bibsonomy ECAI The full citation details ... 2006 DBLP  BibTeX  RDF
1Christian Anger, Martin Gebser, Tomi Janhunen, Torsten Schaub What's a Head Without a Body? Search on Bibsonomy ECAI The full citation details ... 2006 DBLP  BibTeX  RDF
1Emilia Oikarinen, Tomi Janhunen Modular Equivalence for Normal Logic Programs. Search on Bibsonomy ECAI The full citation details ... 2006 DBLP  BibTeX  RDF
1Emilia Oikarinen, Tomi Janhunen circ2dlp - Translating Circumscription into Disjunctive Logic Programming. Search on Bibsonomy LPNMR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Jean Gressmann, Tomi Janhunen, Robert E. Mercer, Torsten Schaub, Sven Thiele, Richard Tichy Platypus: A Platform for Distributed Answer Set Solving. Search on Bibsonomy LPNMR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Tomi Janhunen, Ilkka Niemelä GNT - A Solver for Disjunctive Logic Programs. Search on Bibsonomy LPNMR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Tomi Janhunen, Emilia Oikarinen LPEQ and DLPEQ - Translators for Automated Equivalence Testing of Logic Programs. Search on Bibsonomy LPNMR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Emilia Oikarinen, Tomi Janhunen Verifying the Equivalence of Logic Programs in the Disjunctive Case. Search on Bibsonomy LPNMR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Tomi Janhunen Representing Normal Programs with Clauses. Search on Bibsonomy ECAI The full citation details ... 2004 DBLP  BibTeX  RDF
1Tomi Janhunen, Emilia Oikarinen Capturing Parallel Circumscription with Disjunctive Logic Programs. Search on Bibsonomy JELIA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Tomi Janhunen Evaluating the effect of semi-normality on the expressiveness of defaults. Search on Bibsonomy Artif. Intell. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Tomi Janhunen, Ilkka Niemelä, Dietmar Seipel, Patrik Simons, Jia-Huai You Unfolding Partiality and Disjunctions in Stable Model Semantics Search on Bibsonomy CoRR The full citation details ... 2003 DBLP  BibTeX  RDF
1Tomi Janhunen A Counter-Based Approach to Translating Normal Logic Programs into Sets of Clauses. Search on Bibsonomy Answer Set Programming The full citation details ... 2003 DBLP  BibTeX  RDF
1Tomi Janhunen, Emilia Oikarinen Testing the Equivalence of Logic Programs under Stable Model Semantics. Search on Bibsonomy JELIA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Tomi Janhunen On the Effect of Default Negation on the Expressiveness of Disjunctive Rules. Search on Bibsonomy LPNMR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Tomi Janhunen Comparing the Expressive Powers of Some Syntactically Restricted Classes of Logic Programs. Search on Bibsonomy Computational Logic The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Tomi Janhunen Capturing Stationary and Regular Extensions with Reiter's Extensions. Search on Bibsonomy JELIA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Tomi Janhunen, Ilkka Niemelä, Patrik Simons, Jia-Huai You Unfolding Partiality and Disjunctions in Stable Model Semantics. Search on Bibsonomy KR The full citation details ... 2000 DBLP  BibTeX  RDF
1Tomi Janhunen On the intertranslatability of non-monotonic logics. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Tomi Janhunen Classifying Semi-Normal Default Logic on the Basis of its Expressive Power. Search on Bibsonomy LPNMR The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Tomi Janhunen On the Intertranslatability of Autoepistemic, Default and Priority Logics, and Parallel Circumscription. Search on Bibsonomy JELIA The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Tomi Janhunen Separating Disbeliefs from Beliefs in Autoepistemic Reasoning. Search on Bibsonomy LPNMR The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Tomi Janhunen Representing Autoepistemic Introspection in Terms of Default Rules. Search on Bibsonomy ECAI The full citation details ... 1996 DBLP  BibTeX  RDF
1Tomi Janhunen Cautious Models for General Logic Programs. Search on Bibsonomy Deductive Databases / Abduction in Deductive Databases The full citation details ... 1995 DBLP  BibTeX  RDF
1Tomi Janhunen, Ilkka Niemelä A Scheme for Weakened Negative Introspection in Autoepistemic Reasoning. Search on Bibsonomy Kurt Gödel Colloquium The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Matti Hallivuori, Tomi Janhunen, Tapio Suihko A Graphical User Interface for a Value Added Network. Search on Bibsonomy INDC The full citation details ... 1992 DBLP  BibTeX  RDF
Displaying result #1 - #93 of 93 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license