Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Tomi Janhunen
@inproceedings{DBLP:conf/foiks/YliJyraIJ24,
author = {Anssi Yli{-}Jyr{\"{a}} and
Heini Ik{\"{a}}valko and
Tomi Janhunen},
editor = {Arne Meier and
Magdalena Ortiz},
title = {Integrating Competencies into Preventive Maintenance Scheduling with
Answer Set Optimization},
booktitle = {Foundations of Information and Knowledge Systems - 13th International
Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14589},
pages = {381--400},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-56940-1\_21},
doi = {10.1007/978-3-031-56940-1\_21},
timestamp = {Mon, 15 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/YliJyraIJ24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-05680,
author = {Reijo Jaakkola and
Tomi Janhunen and
Antti Kuusisto and
Masood Feyzbakhsh Rankooh and
Miikka Vilander},
title = {Interpretable classifiers for tabular data via discretization and
feature selection},
journal = {CoRR},
volume = {abs/2402.05680},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.05680},
doi = {10.48550/ARXIV.2402.05680},
eprinttype = {arXiv},
eprint = {2402.05680},
timestamp = {Wed, 14 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-05680.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/RankoohJ23,
author = {Masood Feyzbakhsh Rankooh and
Tomi Janhunen},
title = {Capturing (Optimal) Relaxed Plans with Stable and Supported Models
of Logic Programs},
journal = {Theory Pract. Log. Program.},
volume = {23},
number = {4},
pages = {782--796},
year = {2023},
url = {https://doi.org/10.1017/s1471068423000273},
doi = {10.1017/S1471068423000273},
timestamp = {Sat, 16 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/RankoohJ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/JaakkolaJKRV23,
author = {Reijo Jaakkola and
Tomi Janhunen and
Antti Kuusisto and
Masood Feyzbakhsh Rankooh and
Miikka Vilander},
editor = {Sarah Alice Gaggl and
Maria Vanina Martinez and
Magdalena Ortiz},
title = {Short Boolean Formulas as Explanations in Practice},
booktitle = {Logics in Artificial Intelligence - 18th European Conference, {JELIA}
2023, Dresden, Germany, September 20-22, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14281},
pages = {90--105},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43619-2\_7},
doi = {10.1007/978-3-031-43619-2\_7},
timestamp = {Wed, 01 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jelia/JaakkolaJKRV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/Yli-JyraRJ23,
author = {Anssi Yli{-}Jyr{\"{a}} and
Masood Feyzbakhsh Rankooh and
Tomi Janhunen},
editor = {Michael Hanus and
Daniela Inclezan},
title = {Pruning Redundancy in Answer Set Optimization Applied to Preventive
Maintenance Scheduling},
booktitle = {Practical Aspects of Declarative Languages - 25th International Symposium,
{PADL} 2023, Boston, MA, USA, January 16-17, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13880},
pages = {279--294},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-24841-2\_18},
doi = {10.1007/978-3-031-24841-2\_18},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/padl/Yli-JyraRJ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2308-15888,
author = {Tomi Janhunen},
editor = {Enrico Pontelli and
Stefania Costantini and
Carmine Dodaro and
Sarah Alice Gaggl and
Roberta Calegari and
Artur S. d'Avila Garcez and
Francesco Fabiano and
Alessandra Mileo and
Alessandra Russo and
Francesca Toni},
title = {Generalizing Level Ranking Constraints for Monotone and Convex Aggregates},
booktitle = {Proceedings 39th International Conference on Logic Programming, {ICLP}
2023, Imperial College London, UK, 9th July 2023 - 15th July 2023},
series = {{EPTCS}},
volume = {385},
pages = {101--115},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.385.12},
doi = {10.4204/EPTCS.385.12},
timestamp = {Wed, 25 Oct 2023 16:09:20 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-15888.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-05069,
author = {Masood Feyzbakhsh Rankooh and
Tomi Janhunen},
title = {Capturing (Optimal) Relaxed Plans with Stable and Supported Models
of Logic Programs},
journal = {CoRR},
volume = {abs/2306.05069},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.05069},
doi = {10.48550/ARXIV.2306.05069},
eprinttype = {arXiv},
eprint = {2306.05069},
timestamp = {Wed, 14 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-05069.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-06971,
author = {Reijo Jaakkola and
Tomi Janhunen and
Antti Kuusisto and
Masood Feyzbakhsh Rankooh and
Miikka Vilander},
title = {Short Boolean Formulas as Explanations in Practice},
journal = {CoRR},
volume = {abs/2307.06971},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.06971},
doi = {10.48550/ARXIV.2307.06971},
eprinttype = {arXiv},
eprint = {2307.06971},
timestamp = {Mon, 24 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-06971.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/JaakkolaJKRV22,
author = {Reijo Jaakkola and
Tomi Janhunen and
Antti Kuusisto and
Masood Feyzbakhsh Rankooh and
Miikka Vilander},
editor = {Pierangela Bruno and
Francesco Calimeri and
Francesco Cauteruccio and
Marco Maratea and
Giorgio Terracina and
Mauro Vallati},
title = {Explainability via Short Formulas: the Case of Propositional Logic
with Implementation},
booktitle = {Joint Proceedings of the 1st International Workshop on HYbrid Models
for Coupling Deductive and Inductive ReAsoning {(HYDRA} 2022) and
the 29th {RCRA} Workshop on Experimental Evaluation of Algorithms
for Solving Problems with Combinatorial Explosion {(RCRA} 2022) co-located
with the 16th International Conference on Logic Programming and Non-monotonic
Reasoning {(LPNMR} 2022), Genova Nervi, Italy, September 5, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3281},
pages = {64--77},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3281/paper6.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:44 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/JaakkolaJKRV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/RankoohJ22,
author = {Masood Feyzbakhsh Rankooh and
Tomi Janhunen},
editor = {Georg Gottlob and
Daniela Inclezan and
Marco Maratea},
title = {Efficient Computation of Answer Sets via {SAT} Modulo Acyclicity and
Vertex Elimination},
booktitle = {Logic Programming and Nonmonotonic Reasoning - 16th International
Conference, {LPNMR} 2022, Genova, Italy, September 5-9, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13416},
pages = {203--216},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-15707-3\_16},
doi = {10.1007/978-3-031-15707-3\_16},
timestamp = {Thu, 05 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/RankoohJ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/Janhunen22,
author = {Tomi Janhunen},
editor = {James Cheney and
Simona Perri},
title = {Implementing Stable-Unstable Semantics with {ASPTOOLS} and Clingo},
booktitle = {Practical Aspects of Declarative Languages - 24th International Symposium,
{PADL} 2022, Philadelphia, PA, USA, January 17-18, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13165},
pages = {135--153},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-94479-7\_9},
doi = {10.1007/978-3-030-94479-7\_9},
timestamp = {Fri, 21 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/padl/Janhunen22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/Yli-JyraJ22,
author = {Anssi Yli{-}Jyr{\"{a}} and
Tomi Janhunen},
editor = {Guido Governatori and
Anni{-}Yasmin Turhan},
title = {Applying Answer Set Optimization to Preventive Maintenance Scheduling
for Rotating Machinery},
booktitle = {Rules and Reasoning - 6th International Joint Conference on Rules
and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13752},
pages = {3--19},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-21541-4\_1},
doi = {10.1007/978-3-031-21541-4\_1},
timestamp = {Sun, 25 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ruleml/Yli-JyraJ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/HahnJK0RS22,
author = {Susana Hahn and
Tomi Janhunen and
Roland Kaminski and
Javier Romero and
Nicolas R{\"{u}}hling and
Torsten Schaub},
editor = {Guido Governatori and
Anni{-}Yasmin Turhan},
title = {Plingo: {A} System for Probabilistic Reasoning in Clingo Based on
{LP} \({}^{\mbox{ {MLN} }}\)},
booktitle = {Rules and Reasoning - 6th International Joint Conference on Rules
and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13752},
pages = {54--62},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-21541-4\_4},
doi = {10.1007/978-3-031-21541-4\_4},
timestamp = {Sun, 25 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ruleml/HahnJK0RS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-11515,
author = {Susana Hahn and
Tomi Janhunen and
Roland Kaminski and
Javier Romero and
Nicolas R{\"{u}}hling and
Torsten Schaub},
title = {plingo: {A} system for probabilistic reasoning in clingo based on
lpmln},
journal = {CoRR},
volume = {abs/2206.11515},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.11515},
doi = {10.48550/ARXIV.2206.11515},
eprinttype = {arXiv},
eprint = {2206.11515},
timestamp = {Mon, 27 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-11515.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2209-01403,
author = {Reijo Jaakkola and
Tomi Janhunen and
Antti Kuusisto and
Masood Feyzbakhsh Rankooh and
Miikka Vilander},
title = {Explainability via Short Formulas: the Case of Propositional Logic
with Implementation},
journal = {CoRR},
volume = {abs/2209.01403},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2209.01403},
doi = {10.48550/ARXIV.2209.01403},
eprinttype = {arXiv},
eprint = {2209.01403},
timestamp = {Mon, 26 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-01403.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/SioutisPJ21,
author = {Michael Sioutis and
Anastasia Paparrizou and
Tomi Janhunen},
title = {On neighbourhood singleton-style consistencies for qualitative spatial
and temporal reasoning},
journal = {Inf. Comput.},
volume = {280},
pages = {104638},
year = {2021},
url = {https://doi.org/10.1016/j.ic.2020.104638},
doi = {10.1016/J.IC.2020.104638},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/SioutisPJ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/PajunenJ21,
author = {Jukka Pajunen and
Tomi Janhunen},
title = {Solution Enumeration by Optimality in Answer Set Programming},
journal = {Theory Pract. Log. Program.},
volume = {21},
number = {6},
pages = {750--767},
year = {2021},
url = {https://doi.org/10.1017/S1471068421000375},
doi = {10.1017/S1471068421000375},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/PajunenJ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/0001JK021,
author = {Ricardo Gon{\c{c}}alves and
Tomi Janhunen and
Matthias Knorr and
Jo{\~{a}}o Leite},
editor = {Wolfgang Faber and
Gerhard Friedrich and
Martin Gebser and
Michael Morak},
title = {On Syntactic Forgetting Under Uniform Equivalence},
booktitle = {Logics in Artificial Intelligence - 17th European Conference, {JELIA}
2021, Virtual Event, May 17-20, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12678},
pages = {297--312},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-75775-5\_20},
doi = {10.1007/978-3-030-75775-5\_20},
timestamp = {Wed, 23 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jelia/0001JK021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-03474,
author = {Jukka Pajunen and
Tomi Janhunen},
title = {Solution Enumeration by Optimality in Answer Set Programming},
journal = {CoRR},
volume = {abs/2108.03474},
year = {2021},
url = {https://arxiv.org/abs/2108.03474},
eprinttype = {arXiv},
eprint = {2108.03474},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-03474.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/GebserJR20,
author = {Martin Gebser and
Tomi Janhunen and
Jussi Rintanen},
title = {Declarative encodings of acyclicity properties},
journal = {J. Log. Comput.},
volume = {30},
number = {4},
pages = {923--952},
year = {2020},
url = {https://doi.org/10.1093/logcom/exv063},
doi = {10.1093/LOGCOM/EXV063},
timestamp = {Fri, 04 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/GebserJR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/BomansonJN20,
author = {Jori Bomanson and
Tomi Janhunen and
Ilkka Niemel{\"{a}}},
title = {Applying Visible Strong Equivalence in Answer-Set Program Transformations},
journal = {{ACM} Trans. Comput. Log.},
volume = {21},
number = {4},
pages = {33:1--33:41},
year = {2020},
url = {https://doi.org/10.1145/3412854},
doi = {10.1145/3412854},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/BomansonJN20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/BomansonJ20,
author = {Jori Bomanson and
Tomi Janhunen},
title = {Boosting Answer Set Optimization with Weighted Comparator Networks},
journal = {Theory Pract. Log. Program.},
volume = {20},
number = {4},
pages = {512--551},
year = {2020},
url = {https://doi.org/10.1017/S147106842000006X},
doi = {10.1017/S147106842000006X},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/BomansonJ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/SioutisLJ20,
author = {Michael Sioutis and
Zhiguo Long and
Tomi Janhunen},
editor = {Christian Bessiere},
title = {On Robustness in Qualitative Constraint Networks},
booktitle = {Proceedings of the Twenty-Ninth International Joint Conference on
Artificial Intelligence, {IJCAI} 2020},
pages = {1813--1819},
publisher = {ijcai.org},
year = {2020},
url = {https://doi.org/10.24963/ijcai.2020/251},
doi = {10.24963/IJCAI.2020/251},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/SioutisLJ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2003-03332,
author = {Jori Bomanson and
Tomi Janhunen},
title = {Boosting Answer Set Optimization with Weighted Comparator Networks},
journal = {CoRR},
volume = {abs/2003.03332},
year = {2020},
url = {https://arxiv.org/abs/2003.03332},
eprinttype = {arXiv},
eprint = {2003.03332},
timestamp = {Tue, 10 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2003-03332.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BomansonJW19,
author = {Jori Bomanson and
Tomi Janhunen and
Antonius Weinzierl},
title = {Enhancing Lazy Grounding with Lazy Normalization in Answer-Set Programming},
booktitle = {The Thirty-Third {AAAI} Conference on Artificial Intelligence, {AAAI}
2019, The Thirty-First Innovative Applications of Artificial Intelligence
Conference, {IAAI} 2019, The Ninth {AAAI} Symposium on Educational
Advances in Artificial Intelligence, {EAAI} 2019, Honolulu, Hawaii,
USA, January 27 - February 1, 2019},
pages = {2694--2702},
publisher = {{AAAI} Press},
year = {2019},
url = {https://doi.org/10.1609/aaai.v33i01.33012694},
doi = {10.1609/AAAI.V33I01.33012694},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/BomansonJW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/0001JKLW19,
author = {Ricardo Gon{\c{c}}alves and
Tomi Janhunen and
Matthias Knorr and
Jo{\~{a}}o Leite and
Stefan Woltran},
title = {Forgetting in Modular Answer Set Programming},
booktitle = {The Thirty-Third {AAAI} Conference on Artificial Intelligence, {AAAI}
2019, The Thirty-First Innovative Applications of Artificial Intelligence
Conference, {IAAI} 2019, The Ninth {AAAI} Symposium on Educational
Advances in Artificial Intelligence, {EAAI} 2019, Honolulu, Hawaii,
USA, January 27 - February 1, 2019},
pages = {2843--2850},
publisher = {{AAAI} Press},
year = {2019},
url = {https://doi.org/10.1609/aaai.v33i01.33012843},
doi = {10.1609/AAAI.V33I01.33012843},
timestamp = {Wed, 23 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aaai/0001JKLW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inap/JanhunenS19,
author = {Tomi Janhunen and
Michael Sioutis},
editor = {Petra Hofstedt and
Salvador Abreu and
Ulrich John and
Herbert Kuchen and
Dietmar Seipel},
title = {Allen's Interval Algebra Makes the Difference},
booktitle = {Declarative Programming and Knowledge Management - Conference on Declarative
Programming, {DECLARE} 2019, Unifying INAP, WLP, and WFLP, Cottbus,
Germany, September 9-12, 2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12057},
pages = {89--98},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-46714-2\_6},
doi = {10.1007/978-3-030-46714-2\_6},
timestamp = {Fri, 22 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/inap/JanhunenS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/SioutisJ19,
author = {Michael Sioutis and
Tomi Janhunen},
editor = {Christoph Benzm{\"{u}}ller and
Heiner Stuckenschmidt},
title = {Towards Leveraging Backdoors in Qualitative Constraint Networks},
booktitle = {{KI} 2019: Advances in Artificial Intelligence - 42nd German Conference
on AI, Kassel, Germany, September 23-26, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11793},
pages = {308--315},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30179-8\_27},
doi = {10.1007/978-3-030-30179-8\_27},
timestamp = {Wed, 07 Dec 2022 23:13:16 +0100},
biburl = {https://dblp.org/rec/conf/ki/SioutisJ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/EverardoJKS19,
author = {Flavio Everardo and
Tomi Janhunen and
Roland Kaminski and
Torsten Schaub},
editor = {Marcello Balduccini and
Yuliya Lierler and
Stefan Woltran},
title = {The Return of xorro},
booktitle = {Logic Programming and Nonmonotonic Reasoning - 15th International
Conference, {LPNMR} 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11481},
pages = {284--297},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-20528-7\_21},
doi = {10.1007/978-3-030-20528-7\_21},
timestamp = {Fri, 31 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/EverardoJKS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/SioutisPJ19,
author = {Michael Sioutis and
Anastasia Paparrizou and
Tomi Janhunen},
editor = {Johann Gamper and
Sophie Pinchinat and
Guido Sciavicco},
title = {On the Utility of Neighbourhood Singleton-Style Consistencies for
Qualitative Constraint-Based Spatial and Temporal Reasoning},
booktitle = {26th International Symposium on Temporal Representation and Reasoning,
{TIME} 2019, October 16-19, 2019, M{\'{a}}laga, Spain},
series = {LIPIcs},
volume = {147},
pages = {14:1--14:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.TIME.2019.14},
doi = {10.4230/LIPICS.TIME.2019.14},
timestamp = {Sat, 12 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/time/SioutisPJ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1909-01128,
author = {Tomi Janhunen and
Michael Sioutis},
title = {Allen's Interval Algebra Makes the Difference},
journal = {CoRR},
volume = {abs/1909.01128},
year = {2019},
url = {http://arxiv.org/abs/1909.01128},
eprinttype = {arXiv},
eprint = {1909.01128},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-01128.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/Janhunen18,
author = {Tomi Janhunen},
title = {Answer Set Programming - Related with Other Solving Paradigms},
journal = {K{\"{u}}nstliche Intell.},
volume = {32},
number = {2-3},
pages = {125--131},
year = {2018},
url = {https://doi.org/10.1007/s13218-018-0543-y},
doi = {10.1007/S13218-018-0543-Y},
timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ki/Janhunen18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/Janhunen18a,
author = {Tomi Janhunen},
title = {Cross-Translating Answer Set Programs Using the {ASPTOOLS} Collection},
journal = {K{\"{u}}nstliche Intell.},
volume = {32},
number = {2-3},
pages = {183--184},
year = {2018},
url = {https://doi.org/10.1007/s13218-018-0529-9},
doi = {10.1007/S13218-018-0529-9},
timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ki/Janhunen18a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BomansonJW18,
author = {Jori Bomanson and
Tomi Janhunen and
Antonius Weinzierl},
editor = {Michael Thielscher and
Francesca Toni and
Frank Wolter},
title = {Towards Lazy Grounding with Lazy Normalization in Answer-Set Programming
- Extended Abstract},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Sixteenth International Conference, {KR} 2018, Tempe, Arizona,
30 October - 2 November 2018},
pages = {625--626},
publisher = {{AAAI} Press},
year = {2018},
url = {https://aaai.org/ocs/index.php/KR/KR18/paper/view/18020},
timestamp = {Tue, 09 Feb 2021 08:33:51 +0100},
biburl = {https://dblp.org/rec/conf/kr/BomansonJW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/0001JKLW18,
author = {Ricardo Gon{\c{c}}alves and
Tomi Janhunen and
Matthias Knorr and
Jo{\~{a}}o Leite and
Stefan Woltran},
editor = {Michael Thielscher and
Francesca Toni and
Frank Wolter},
title = {Variable Elimination for DLP-Functions},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Sixteenth International Conference, {KR} 2018, Tempe, Arizona,
30 October - 2 November 2018},
pages = {643--644},
publisher = {{AAAI} Press},
year = {2018},
url = {https://aaai.org/ocs/index.php/KR/KR18/paper/view/18000},
timestamp = {Wed, 23 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/0001JKLW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sac/JanhunenGRNPC17,
author = {Tomi Janhunen and
Martin Gebser and
Jussi Rintanen and
Henrik J. Nyman and
Johan Pensar and
Jukka Corander},
title = {Learning discrete decomposable graphical models via constraint optimization},
journal = {Stat. Comput.},
volume = {27},
number = {1},
pages = {115--130},
year = {2017},
url = {https://doi.org/10.1007/s11222-015-9611-4},
doi = {10.1007/S11222-015-9611-4},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sac/JanhunenGRNPC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/JanhunenKOSWS17,
author = {Tomi Janhunen and
Roland Kaminski and
Max Ostrowski and
Sebastian Schellhorn and
Philipp Wanko and
Torsten Schaub},
title = {Clingo goes linear constraints over reals and integers},
journal = {Theory Pract. Log. Program.},
volume = {17},
number = {5-6},
pages = {872--888},
year = {2017},
url = {https://doi.org/10.1017/S1471068417000242},
doi = {10.1017/S1471068417000242},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/JanhunenKOSWS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/JanhunenKOSSW17,
author = {Tomi Janhunen and
Roland Kaminski and
Max Ostrowski and
Torsten Schaub and
Sebastian Schellhorn and
Philipp Wanko},
editor = {Bart Bogaerts and
Amelia Harrison},
title = {clingo goes Linear Constraints over Reals and Integers},
booktitle = {Proceedings of the 10th Workshop on Answer Set Programming and Other
Computing Paradigms co-located with the 14th International Conference
on Logic Programming and Nonmonotonic Reasoning, ASPOCP@LPNMR 2017,
Espoo, Finland, July 3, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {1868},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-1868/p4.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:44 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/JanhunenKOSSW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpnmr/2017,
editor = {Marcello Balduccini and
Tomi Janhunen},
title = {Logic Programming and Nonmonotonic Reasoning - 14th International
Conference, {LPNMR} 2017, Espoo, Finland, July 3-6, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10377},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-61660-5},
doi = {10.1007/978-3-319-61660-5},
isbn = {978-3-319-61659-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/JanhunenKOSSW17,
author = {Tomi Janhunen and
Roland Kaminski and
Max Ostrowski and
Torsten Schaub and
Sebastian Schellhorn and
Philipp Wanko},
title = {Clingo goes Linear Constraints over Reals and Integers},
journal = {CoRR},
volume = {abs/1707.04053},
year = {2017},
url = {http://arxiv.org/abs/1707.04053},
eprinttype = {arXiv},
eprint = {1707.04053},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/JanhunenKOSSW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/JanhunenN16,
author = {Tomi Janhunen and
Ilkka Niemel{\"{a}}},
title = {The Answer Set Programming Paradigm},
journal = {{AI} Mag.},
volume = {37},
number = {3},
pages = {13--24},
year = {2016},
url = {https://doi.org/10.1609/aimag.v37i3.2671},
doi = {10.1609/AIMAG.V37I3.2671},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aim/JanhunenN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BomansonGJKS16,
author = {Jori Bomanson and
Martin Gebser and
Tomi Janhunen and
Benjamin Kaufmann and
Torsten Schaub},
title = {Answer Set Programming Modulo Acyclicity},
journal = {Fundam. Informaticae},
volume = {147},
number = {1},
pages = {63--91},
year = {2016},
url = {https://doi.org/10.3233/FI-2016-1398},
doi = {10.3233/FI-2016-1398},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/BomansonGJKS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/BogaertsJT16,
author = {Bart Bogaerts and
Tomi Janhunen and
Shahab Tasharrofi},
title = {Stable-unstable semantics: Beyond {NP} with normal logic programs},
journal = {Theory Pract. Log. Program.},
volume = {16},
number = {5-6},
pages = {570--586},
year = {2016},
url = {https://doi.org/10.1017/S1471068416000387},
doi = {10.1017/S1471068416000387},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/BogaertsJT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/0001JT16,
author = {Bart Bogaerts and
Tomi Janhunen and
Shahab Tasharrofi},
editor = {Adnan Darwiche},
title = {Solving {QBF} Instances with Nested {SAT} Solvers},
booktitle = {Beyond NP, Papers from the 2016 {AAAI} Workshop, Phoenix, Arizona,
USA, February 12, 2016},
series = {{AAAI} Technical Report},
volume = {{WS-16-05}},
publisher = {{AAAI} Press},
year = {2016},
url = {http://www.aaai.org/ocs/index.php/WS/AAAIW16/paper/view/12603},
timestamp = {Tue, 05 Sep 2023 08:59:27 +0200},
biburl = {https://dblp.org/rec/conf/aaai/0001JT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/JanhunenTT16,
author = {Tomi Janhunen and
Shahab Tasharrofi and
Eugenia Ternovska},
editor = {Dale Schuurmans and
Michael P. Wellman},
title = {SAT-to-SAT: Declarative Extension of {SAT} Solvers with New Propagators},
booktitle = {Proceedings of the Thirtieth {AAAI} Conference on Artificial Intelligence,
February 12-17, 2016, Phoenix, Arizona, {USA}},
pages = {978--984},
publisher = {{AAAI} Press},
year = {2016},
url = {https://doi.org/10.1609/aaai.v30i1.10111},
doi = {10.1609/AAAI.V30I1.10111},
timestamp = {Mon, 04 Sep 2023 15:08:28 +0200},
biburl = {https://dblp.org/rec/conf/aaai/JanhunenTT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/BomansonGJ16,
author = {Jori Bomanson and
Martin Gebser and
Tomi Janhunen},
editor = {Manuel Carro and
Andy King and
Neda Saeedloei and
Marina De Vos},
title = {Rewriting Optimization Statements in Answer-Set Programs},
booktitle = {Technical Communications of the 32nd International Conference on Logic
Programming, {ICLP} 2016 TCs, October 16-21, 2016, New York City,
{USA}},
series = {OASIcs},
volume = {52},
pages = {5:1--5:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/OASIcs.ICLP.2016.5},
doi = {10.4230/OASICS.ICLP.2016.5},
timestamp = {Tue, 15 Feb 2022 09:40:05 +0100},
biburl = {https://dblp.org/rec/conf/iclp/BomansonGJ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/GebserJKST16,
author = {Martin Gebser and
Tomi Janhunen and
Roland Kaminski and
Torsten Schaub and
Shahab Tasharrofi},
editor = {Loizos Michael and
Antonis C. Kakas},
title = {Writing Declarative Specifications for Clauses},
booktitle = {Logics in Artificial Intelligence - 15th European Conference, {JELIA}
2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10021},
pages = {256--271},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-48758-8\_17},
doi = {10.1007/978-3-319-48758-8\_17},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/GebserJKST16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BogaertsJT16,
author = {Bart Bogaerts and
Tomi Janhunen and
Shahab Tasharrofi},
editor = {Chitta Baral and
James P. Delgrande and
Frank Wolter},
title = {Declarative Solver Development: Case Studies},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Fifteenth International Conference, {KR} 2016, Cape Town, South
Africa, April 25-29, 2016},
pages = {74--83},
publisher = {{AAAI} Press},
year = {2016},
url = {http://www.aaai.org/ocs/index.php/KR/KR16/paper/view/12822},
timestamp = {Tue, 09 Feb 2021 08:33:50 +0100},
biburl = {https://dblp.org/rec/conf/kr/BogaertsJT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/0001JT16,
author = {Bart Bogaerts and
Tomi Janhunen and
Shahab Tasharrofi},
editor = {Florian Lonsing and
Martina Seidl},
title = {SAT-to-SAT in QBFEval 2016},
booktitle = {Proceedings of the 4th International Workshop on Quantified Boolean
Formulas {(QBF} 2016) co-located with 19th International Conference
on Theory and Applications of Satisfiability Testing {(SAT} 2016),
Bordeaux, France, July 4, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1719},
pages = {63--70},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1719/paper6.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:33 +0100},
biburl = {https://dblp.org/rec/conf/sat/0001JT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/0001JT16,
author = {Bart Bogaerts and
Tomi Janhunen and
Shahab Tasharrofi},
title = {Stable-Unstable Semantics: Beyond {NP} with Normal Logic Programs},
journal = {CoRR},
volume = {abs/1608.01835},
year = {2016},
url = {http://arxiv.org/abs/1608.01835},
eprinttype = {arXiv},
eprint = {1608.01835},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/0001JT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/KoponenOJS15,
author = {Laura Koponen and
Emilia Oikarinen and
Tomi Janhunen and
Laura S{\"{a}}il{\"{a}}},
title = {Optimizing phylogenetic supertrees using answer set programming},
journal = {Theory Pract. Log. Program.},
volume = {15},
number = {4-5},
pages = {604--619},
year = {2015},
url = {https://doi.org/10.1017/S1471068415000265},
doi = {10.1017/S1471068415000265},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/KoponenOJS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/JanhunenN14,
author = {Tomi Janhunen and
Ilkka Niemel{\"{a}}},
editor = {Thomas Eiter and
Hannes Strass and
Miroslaw Truszczynski and
Stefan Woltran},
title = {Cumulativity Tailored for Nonmonotonic Reasoning},
booktitle = {Advances in Knowledge Representation, Logic Programming, and Abstract
Argumentation - Essays Dedicated to Gerhard Brewka on the Occasion
of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {9060},
pages = {96--111},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-14726-0\_7},
doi = {10.1007/978-3-319-14726-0\_7},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/JanhunenN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icml/ZliobaiteMLPJ15,
author = {Indre Zliobaite and
Michael Mathioudakis and
Tuukka Lehtiniemi and
Pekka Parviainen and
Tomi Janhunen},
editor = {Ioannis Katakis and
Fran{\c{c}}ois Schnitzler and
Thomas Liebig and
Dimitrios Gunopulos and
Katharina Morik and
Gennady L. Andrienko and
Shie Mannor},
title = {Accessibility by Public Transport Predicts Residential Real Estate
Prices: {A} Case Study in Helsinki Region},
booktitle = {Proceedings of the 2nd International Workshop on Mining Urban Data
co-located with 32nd International Conference on Machine Learning
{(ICML} 2015), Lille, France, July 11th, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1392},
pages = {65--71},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1392/paper-09.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:13 +0100},
biburl = {https://dblp.org/rec/conf/icml/ZliobaiteMLPJ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/BomansonGJKS15,
author = {Jori Bomanson and
Martin Gebser and
Tomi Janhunen and
Benjamin Kaufmann and
Torsten Schaub},
editor = {Francesco Calimeri and
Giovambattista Ianni and
Miroslaw Truszczynski},
title = {Answer Set Programming Modulo Acyclicity},
booktitle = {Logic Programming and Nonmonotonic Reasoning - 13th International
Conference, {LPNMR} 2015, Lexington, KY, USA, September 27-30, 2015.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9345},
pages = {143--150},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23264-5\_13},
doi = {10.1007/978-3-319-23264-5\_13},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/BomansonGJKS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/GebserJJKS15,
author = {Martin Gebser and
Tomi Janhunen and
Holger Jost and
Roland Kaminski and
Torsten Schaub},
editor = {Francesco Calimeri and
Giovambattista Ianni and
Miroslaw Truszczynski},
title = {{ASP} Solving for Expanding Universes},
booktitle = {Logic Programming and Nonmonotonic Reasoning - 13th International
Conference, {LPNMR} 2015, Lexington, KY, USA, September 27-30, 2015.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9345},
pages = {354--367},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23264-5\_30},
doi = {10.1007/978-3-319-23264-5\_30},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/GebserJJKS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KoponenOJS15,
author = {Laura Koponen and
Emilia Oikarinen and
Tomi Janhunen and
Laura S{\"{a}}il{\"{a}}},
title = {Optimizing Phylogenetic Supertrees Using Answer Set Programming},
journal = {CoRR},
volume = {abs/1507.05272},
year = {2015},
url = {http://arxiv.org/abs/1507.05272},
eprinttype = {arXiv},
eprint = {1507.05272},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KoponenOJS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/GebserJR14,
author = {Martin Gebser and
Tomi Janhunen and
Jussi Rintanen},
editor = {Torsten Schaub and
Gerhard Friedrich and
Barry O'Sullivan},
title = {Answer Set Programming as {SAT} modulo Acyclicity},
booktitle = {{ECAI} 2014 - 21st European Conference on Artificial Intelligence,
18-22 August 2014, Prague, Czech Republic - Including Prestigious
Applications of Intelligent Systems {(PAIS} 2014)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {263},
pages = {351--356},
publisher = {{IOS} Press},
year = {2014},
url = {https://doi.org/10.3233/978-1-61499-419-0-351},
doi = {10.3233/978-1-61499-419-0-351},
timestamp = {Mon, 19 Jun 2023 16:36:09 +0200},
biburl = {https://dblp.org/rec/conf/ecai/GebserJR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/GebserJR14,
author = {Martin Gebser and
Tomi Janhunen and
Jussi Rintanen},
editor = {Eduardo Ferm{\'{e}} and
Jo{\~{a}}o Leite},
title = {{SAT} Modulo Graphs: Acyclicity},
booktitle = {Logics in Artificial Intelligence - 14th European Conference, {JELIA}
2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8761},
pages = {137--151},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11558-0\_10},
doi = {10.1007/978-3-319-11558-0\_10},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/GebserJR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/BomansonGJ14,
author = {Jori Bomanson and
Martin Gebser and
Tomi Janhunen},
editor = {Eduardo Ferm{\'{e}} and
Jo{\~{a}}o Leite},
title = {Improving the Normalization of Weight Rules in Answer Set Programs},
booktitle = {Logics in Artificial Intelligence - 14th European Conference, {JELIA}
2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8761},
pages = {166--180},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11558-0\_12},
doi = {10.1007/978-3-319-11558-0\_12},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/BomansonGJ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/GebserJR14,
author = {Martin Gebser and
Tomi Janhunen and
Jussi Rintanen},
editor = {Chitta Baral and
Giuseppe De Giacomo and
Thomas Eiter},
title = {{ASP} Encodings of Acyclicity Properties},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Fourteenth International Conference, {KR} 2014, Vienna, Austria,
July 20-24, 2014},
publisher = {{AAAI} Press},
year = {2014},
url = {http://www.aaai.org/ocs/index.php/KR/KR14/paper/view/8025},
timestamp = {Tue, 09 Feb 2021 08:33:43 +0100},
biburl = {https://dblp.org/rec/conf/kr/GebserJR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/JanhunenOTW14,
author = {Tomi Janhunen and
Emilia Oikarinen and
Hans Tompits and
Stefan Woltran},
title = {Modularity Aspects of Disjunctive Stable Models},
journal = {CoRR},
volume = {abs/1401.3484},
year = {2014},
url = {http://arxiv.org/abs/1401.3484},
eprinttype = {arXiv},
eprint = {1401.3484},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/JanhunenOTW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inap/LiuJN13,
author = {Guohua Liu and
Tomi Janhunen and
Ilkka Niemel{\"{a}}},
editor = {Michael Hanus and
Ricardo Rocha},
title = {Introducing Real Variables and Integer Objective Functions to Answer
Set Programming},
booktitle = {Declarative Programming and Knowledge Management - Declarative Programming
Days, {KDPD} 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September
11-13, 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8439},
pages = {118--135},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-08909-6\_8},
doi = {10.1007/978-3-319-08909-6\_8},
timestamp = {Thu, 14 Oct 2021 10:44:07 +0200},
biburl = {https://dblp.org/rec/conf/inap/LiuJN13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/BomansonJ13,
author = {Jori Bomanson and
Tomi Janhunen},
editor = {Pedro Cabalar and
Tran Cao Son},
title = {Normalizing Cardinality Rules Using Merging and Sorting Constructions},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 12th International Conference,
{LPNMR} 2013, Corunna, Spain, September 15-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8148},
pages = {187--199},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40564-8\_19},
doi = {10.1007/978-3-642-40564-8\_19},
timestamp = {Sun, 02 Jun 2019 21:23:45 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/BomansonJ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/CoranderJRNP13,
author = {Jukka Corander and
Tomi Janhunen and
Jussi Rintanen and
Henrik J. Nyman and
Johan Pensar},
editor = {Christopher J. C. Burges and
L{\'{e}}on Bottou and
Zoubin Ghahramani and
Kilian Q. Weinberger},
title = {Learning Chordal Markov Networks by Constraint Satisfaction},
booktitle = {Advances in Neural Information Processing Systems 26: 27th Annual
Conference on Neural Information Processing Systems 2013. Proceedings
of a meeting held December 5-8, 2013, Lake Tahoe, Nevada, United States},
pages = {1349--1357},
year = {2013},
url = {https://proceedings.neurips.cc/paper/2013/hash/c06d06da9666a219db15cf575aff2824-Abstract.html},
timestamp = {Mon, 16 May 2022 15:41:51 +0200},
biburl = {https://dblp.org/rec/conf/nips/CoranderJRNP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CoranderJRNP13,
author = {Jukka Corander and
Tomi Janhunen and
Jussi Rintanen and
Henrik J. Nyman and
Johan Pensar},
title = {Learning Chordal Markov Networks by Constraint Satisfaction},
journal = {CoRR},
volume = {abs/1310.0927},
year = {2013},
url = {http://arxiv.org/abs/1310.0927},
eprinttype = {arXiv},
eprint = {1310.0927},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CoranderJRNP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/JanhunenN12,
author = {Tomi Janhunen and
Ilkka Niemel{\"{a}}},
editor = {Esra Erdem and
Joohyung Lee and
Yuliya Lierler and
David Pearce},
title = {Applying Visible Strong Equivalence in Answer-Set Program Transformations},
booktitle = {Correct Reasoning - Essays on Logic-Based {AI} in Honour of Vladimir
Lifschitz},
series = {Lecture Notes in Computer Science},
volume = {7265},
pages = {363--379},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30743-0\_24},
doi = {10.1007/978-3-642-30743-0\_24},
timestamp = {Fri, 15 Jan 2021 08:33:38 +0100},
biburl = {https://dblp.org/rec/conf/birthday/JanhunenN12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/LiuJN12,
author = {Guohua Liu and
Tomi Janhunen and
Ilkka Niemel{\"{a}}},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {Answer Set Programming via Mixed Integer Programming},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4516},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/LiuJN12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rr/JanhunenL12,
author = {Tomi Janhunen and
Vesa Luukkala},
editor = {Markus Kr{\"{o}}tzsch and
Umberto Straccia},
title = {Meta Programming with Answer Sets for Smart Spaces},
booktitle = {Web Reasoning and Rule Systems - 6th International Conference, {RR}
2012, Vienna, Austria, September 10-12, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7497},
pages = {106--121},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33203-6\_9},
doi = {10.1007/978-3-642-33203-6\_9},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/rr/JanhunenL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/JanhunenN11,
author = {Tomi Janhunen and
Ilkka Niemel{\"{a}}},
editor = {Marcello Balduccini and
Tran Cao Son},
title = {Compact Translations of Non-disjunctive Answer Set Programs to Propositional
Clauses},
booktitle = {Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning
- Essays Dedicated to Michael Gelfond on the Occasion of His 65th
Birthday},
series = {Lecture Notes in Computer Science},
volume = {6565},
pages = {111--130},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20832-4\_8},
doi = {10.1007/978-3-642-20832-4\_8},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/JanhunenN11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inap/NguyenJN11,
author = {Mai Nguyen and
Tomi Janhunen and
Ilkka Niemel{\"{a}}},
editor = {Hans Tompits and
Salvador Abreu and
Johannes Oetsch and
J{\"{o}}rg P{\"{u}}hrer and
Dietmar Seipel and
Masanobu Umeda and
Armin Wolf},
title = {Translating Answer-Set Programs into Bit-Vector Logic},
booktitle = {Applications of Declarative Programming and Knowledge Management -
19th International Conference, {INAP} 2011, and 25th Workshop on Logic
Programming, {WLP} 2011, Vienna, Austria, September 28-30, 2011, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7773},
pages = {95--113},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-41524-1\_6},
doi = {10.1007/978-3-642-41524-1\_6},
timestamp = {Sun, 02 Jun 2019 21:27:34 +0200},
biburl = {https://dblp.org/rec/conf/inap/NguyenJN11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/LiuGJNY11,
author = {Guohua Liu and
Randy Goebel and
Tomi Janhunen and
Ilkka Niemel{\"{a}} and
Jia{-}Huai You},
editor = {James P. Delgrande and
Wolfgang Faber},
title = {Strong Equivalence of Logic Programs with Abstract Constraint Atoms},
booktitle = {Logic Programming and Nonmonotonic Reasoning - 11th International
Conference, {LPNMR} 2011, Vancouver, Canada, May 16-19, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6645},
pages = {161--173},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20895-9\_15},
doi = {10.1007/978-3-642-20895-9\_15},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/LiuGJNY11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/JanhunenNOPT11,
author = {Tomi Janhunen and
Ilkka Niemel{\"{a}} and
Johannes Oetsch and
J{\"{o}}rg P{\"{u}}hrer and
Hans Tompits},
editor = {James P. Delgrande and
Wolfgang Faber},
title = {Random vs. Structure-Based Testing of Answer-Set Programs: An Experimental
Comparison},
booktitle = {Logic Programming and Nonmonotonic Reasoning - 11th International
Conference, {LPNMR} 2011, Vancouver, Canada, May 16-19, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6645},
pages = {242--247},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20895-9\_26},
doi = {10.1007/978-3-642-20895-9\_26},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/JanhunenNOPT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/new2an/AzizJL11,
author = {Rehan Abdul Aziz and
Tomi Janhunen and
Vesa Luukkala},
editor = {Sergey I. Balandin and
Yevgeni Koucheryavy and
Honglin Hu},
title = {Distributed Deadlock Handling for Resource Allocation in Smart Spaces},
booktitle = {Smart Spaces and Next Generation Wired/Wireless Networking, 11th International
Conference, {NEW2AN} 2011, and 4th Conference on Smart Spaces, ruSMART
2011, St. Petersburg, Russia, August 22-25, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6869},
pages = {87--98},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22875-9\_8},
doi = {10.1007/978-3-642-22875-9\_8},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/new2an/AzizJL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1108-5837,
author = {Mai Nguyen and
Tomi Janhunen and
Ilkka Niemel{\"{a}}},
title = {Translating Answer-Set Programs into Bit-Vector Logic},
journal = {CoRR},
volume = {abs/1108.5837},
year = {2011},
url = {http://arxiv.org/abs/1108.5837},
eprinttype = {arXiv},
eprint = {1108.5837},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1108-5837.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/JanhunenNOPT10,
author = {Tomi Janhunen and
Ilkka Niemel{\"{a}} and
Johannes Oetsch and
J{\"{o}}rg P{\"{u}}hrer and
Hans Tompits},
editor = {Helder Coelho and
Rudi Studer and
Michael J. Wooldridge},
title = {On Testing Answer-Set Programs},
booktitle = {{ECAI} 2010 - 19th European Conference on Artificial Intelligence,
Lisbon, Portugal, August 16-20, 2010, Proceedings},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {215},
pages = {951--956},
publisher = {{IOS} Press},
year = {2010},
url = {https://doi.org/10.3233/978-1-60750-606-5-951},
doi = {10.3233/978-1-60750-606-5-951},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecai/JanhunenNOPT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Janhunen10,
author = {Tomi Janhunen},
editor = {Manuel V. Hermenegildo and
Torsten Schaub},
title = {Sampler Programs: The Stable Model Semantics of Abstract Constraint
Programs Revisited},
booktitle = {Technical Communications of the 26th International Conference on Logic
Programming, {ICLP} 2010, July 16-19, 2010, Edinburgh, Scotland, {UK}},
series = {LIPIcs},
volume = {7},
pages = {94--103},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2010},
url = {https://doi.org/10.4230/LIPIcs.ICLP.2010.94},
doi = {10.4230/LIPICS.ICLP.2010.94},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Janhunen10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/jelia/2010,
editor = {Tomi Janhunen and
Ilkka Niemel{\"{a}}},
title = {Logics in Artificial Intelligence - 12th European Conference, {JELIA}
2010, Helsinki, Finland, September 13-15, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6341},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15675-5},
doi = {10.1007/978-3-642-15675-5},
isbn = {978-3-642-15674-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/JanhunenOTW09,
author = {Tomi Janhunen and
Emilia Oikarinen and
Hans Tompits and
Stefan Woltran},
title = {Modularity Aspects of Disjunctive Stable Models},
journal = {J. Artif. Intell. Res.},
volume = {35},
pages = {813--857},
year = {2009},
url = {https://doi.org/10.1613/jair.2810},
doi = {10.1613/JAIR.2810},
timestamp = {Mon, 21 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/JanhunenOTW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/OikarinenJ09,
author = {Emilia Oikarinen and
Tomi Janhunen},
title = {A Translation-based Approach to the Verification of Modular Equivalence},
journal = {J. Log. Comput.},
volume = {19},
number = {4},
pages = {591--613},
year = {2009},
url = {https://doi.org/10.1093/logcom/exn039},
doi = {10.1093/LOGCOM/EXN039},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/OikarinenJ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/JanhunenNS09,
author = {Tomi Janhunen and
Ilkka Niemel{\"{a}} and
Mark Sevalnev},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {Computing Stable Models via Reductions to Difference Logic},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {142--154},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_14},
doi = {10.1007/978-3-642-04238-6\_14},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/JanhunenNS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/JarvisaloOJN09,
author = {Matti J{\"{a}}rvisalo and
Emilia Oikarinen and
Tomi Janhunen and
Ilkka Niemel{\"{a}}},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {A Module-Based Framework for Multi-language Constraint Modeling},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {155--168},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_15},
doi = {10.1007/978-3-642-04238-6\_15},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/JarvisaloOJN09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/OikarinenJ08,
author = {Emilia Oikarinen and
Tomi Janhunen},
title = {Achieving compositionality of the stable model semantics for smodels
programs},
journal = {Theory Pract. Log. Program.},
volume = {8},
number = {5-6},
pages = {717--761},
year = {2008},
url = {https://doi.org/10.1017/S147106840800358X},
doi = {10.1017/S147106840800358X},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/OikarinenJ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aimsa/OikarinenJ08,
author = {Emilia Oikarinen and
Tomi Janhunen},
editor = {Danail Dochev and
Marco Pistore and
Paolo Traverso},
title = {Implementing Prioritized Circumscription by Computing Disjunctive
Stable Models},
booktitle = {Artificial Intelligence: Methodology, Systems, and Applications, 13th
International Conference, {AIMSA} 2008, Varna, Bulgaria, September
4-6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5253},
pages = {167--180},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85776-1\_15},
doi = {10.1007/978-3-540-85776-1\_15},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/aimsa/OikarinenJ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/Janhunen08,
author = {Tomi Janhunen},
editor = {Malik Ghallab and
Constantine D. Spyropoulos and
Nikos Fakotakis and
Nikolaos M. Avouris},
title = {Modular Equivalence in General},
booktitle = {{ECAI} 2008 - 18th European Conference on Artificial Intelligence,
Patras, Greece, July 21-25, 2008, Proceedings},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {178},
pages = {75--79},
publisher = {{IOS} Press},
year = {2008},
url = {https://doi.org/10.3233/978-1-58603-891-5-75},
doi = {10.3233/978-1-58603-891-5-75},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/Janhunen08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Janhunen08,
author = {Tomi Janhunen},
editor = {Maria Garcia de la Banda and
Enrico Pontelli},
title = {Removing Redundancy from Answer Set Programs},
booktitle = {Logic Programming, 24th International Conference, {ICLP} 2008, Udine,
Italy, December 9-13 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5366},
pages = {729--733},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89982-2\_66},
doi = {10.1007/978-3-540-89982-2\_66},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Janhunen08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0809-4582,
author = {Emilia Oikarinen and
Tomi Janhunen},
title = {Achieving compositionality of the stable model semantics for Smodels
programs},
journal = {CoRR},
volume = {abs/0809.4582},
year = {2008},
url = {http://arxiv.org/abs/0809.4582},
eprinttype = {arXiv},
eprint = {0809.4582},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0809-4582.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/JanhunenO07,
author = {Tomi Janhunen and
Emilia Oikarinen},
title = {Automated Verification of Weak Equivalence within the {SMODELS} System},
journal = {Theory Pract. Log. Program.},
volume = {7},
number = {6},
pages = {697--744},
year = {2007},
url = {https://doi.org/10.1017/S1471068407003031},
doi = {10.1017/S1471068407003031},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/JanhunenO07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/OikarinenJ07,
author = {Emilia Oikarinen and
Tomi Janhunen},
editor = {Ver{\'{o}}nica Dahl and
Ilkka Niemel{\"{a}}},
title = {A Linear Transformation from Prioritized Circumscription to Disjunctive
Logic Programming},
booktitle = {Logic Programming, 23rd International Conference, {ICLP} 2007, Porto,
Portugal, September 8-13, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4670},
pages = {440--441},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74610-2\_36},
doi = {10.1007/978-3-540-74610-2\_36},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iclp/OikarinenJ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/JanhunenOTW07,
author = {Tomi Janhunen and
Emilia Oikarinen and
Hans Tompits and
Stefan Woltran},
editor = {Chitta Baral and
Gerhard Brewka and
John S. Schlipf},
title = {Modularity Aspects of Disjunctive Stable Models},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 9th International Conference,
{LPNMR} 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4483},
pages = {175--187},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72200-7\_16},
doi = {10.1007/978-3-540-72200-7\_16},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/JanhunenOTW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/Janhunen06,
author = {Tomi Janhunen},
title = {Some (in)translatability results for normal logic programs and propositional
theories},
journal = {J. Appl. Non Class. Logics},
volume = {16},
number = {1-2},
pages = {35--86},
year = {2006},
url = {https://doi.org/10.3166/jancl.16.35-86},
doi = {10.3166/JANCL.16.35-86},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/Janhunen06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/JanhunenNSSY06,
author = {Tomi Janhunen and
Ilkka Niemel{\"{a}} and
Dietmar Seipel and
Patrik Simons and
Jia{-}Huai You},
title = {Unfolding partiality and disjunctions in stable model semantics},
journal = {{ACM} Trans. Comput. Log.},
volume = {7},
number = {1},
pages = {1--37},
year = {2006},
url = {https://doi.org/10.1145/1119439.1119440},
doi = {10.1145/1119439.1119440},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/JanhunenNSSY06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/GressmannJMSTT06,
author = {Jean Gressmann and
Tomi Janhunen and
Robert E. Mercer and
Torsten Schaub and
Sven Thiele and
Richard Tichy},
editor = {Gerhard Brewka and
Silvia Coradeschi and
Anna Perini and
Paolo Traverso},
title = {On Probing and Multi-Threading in Platypus},
booktitle = {{ECAI} 2006, 17th European Conference on Artificial Intelligence,
August 29 - September 1, 2006, Riva del Garda, Italy, Including Prestigious
Applications of Intelligent Systems {(PAIS} 2006), Proceedings},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {141},
pages = {392--396},
publisher = {{IOS} Press},
year = {2006},
timestamp = {Thu, 12 Feb 2009 12:51:20 +0100},
biburl = {https://dblp.org/rec/conf/ecai/GressmannJMSTT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/OikarinenJ06,
author = {Emilia Oikarinen and
Tomi Janhunen},
editor = {Gerhard Brewka and
Silvia Coradeschi and
Anna Perini and
Paolo Traverso},
title = {Modular Equivalence for Normal Logic Programs},
booktitle = {{ECAI} 2006, 17th European Conference on Artificial Intelligence,
August 29 - September 1, 2006, Riva del Garda, Italy, Including Prestigious
Applications of Intelligent Systems {(PAIS} 2006), Proceedings},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {141},
pages = {412--416},
publisher = {{IOS} Press},
year = {2006},
timestamp = {Wed, 25 Oct 2006 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/OikarinenJ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/AngerGJS06,
author = {Christian Anger and
Martin Gebser and
Tomi Janhunen and
Torsten Schaub},
editor = {Gerhard Brewka and
Silvia Coradeschi and
Anna Perini and
Paolo Traverso},
title = {What's a Head Without a Body?},
booktitle = {{ECAI} 2006, 17th European Conference on Artificial Intelligence,
August 29 - September 1, 2006, Riva del Garda, Italy, Including Prestigious
Applications of Intelligent Systems {(PAIS} 2006), Proceedings},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {141},
pages = {769--770},
publisher = {{IOS} Press},
year = {2006},
timestamp = {Wed, 25 Oct 2006 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/AngerGJS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0608099,
author = {Tomi Janhunen and
Emilia Oikarinen},
title = {Automated verification of weak equivalence within the {SMODELS} system},
journal = {CoRR},
volume = {abs/cs/0608099},
year = {2006},
url = {http://arxiv.org/abs/cs/0608099},
eprinttype = {arXiv},
eprint = {cs/0608099},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0608099.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/GressmannJMSTT05,
author = {Jean Gressmann and
Tomi Janhunen and
Robert E. Mercer and
Torsten Schaub and
Sven Thiele and
Richard Tichy},
editor = {Chitta Baral and
Gianluigi Greco and
Nicola Leone and
Giorgio Terracina},
title = {Platypus: {A} Platform for Distributed Answer Set Solving},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 8th International Conference,
{LPNMR} 2005, Diamante, Italy, September 5-8, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3662},
pages = {227--239},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11546207\_18},
doi = {10.1007/11546207\_18},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/GressmannJMSTT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/OikarinenJ05,
author = {Emilia Oikarinen and
Tomi Janhunen},
editor = {Chitta Baral and
Gianluigi Greco and
Nicola Leone and
Giorgio Terracina},
title = {circ2dlp - Translating Circumscription into Disjunctive Logic Programming},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 8th International Conference,
{LPNMR} 2005, Diamante, Italy, September 5-8, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3662},
pages = {405--409},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11546207\_36},
doi = {10.1007/11546207\_36},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/OikarinenJ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/Janhunen04,
author = {Tomi Janhunen},
editor = {Ram{\'{o}}n L{\'{o}}pez de M{\'{a}}ntaras and
Lorenza Saitta},
title = {Representing Normal Programs with Clauses},
booktitle = {Proceedings of the 16th Eureopean Conference on Artificial Intelligence,
ECAI'2004, including Prestigious Applicants of Intelligent Systems,
{PAIS} 2004, Valencia, Spain, August 22-27, 2004},
pages = {358--362},
publisher = {{IOS} Press},
year = {2004},
timestamp = {Fri, 11 May 2018 12:42:30 +0200},
biburl = {https://dblp.org/rec/conf/ecai/Janhunen04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/JanhunenO04,
author = {Tomi Janhunen and
Emilia Oikarinen},
editor = {Jos{\'{e}} J{\'{u}}lio Alferes and
Jo{\~{a}}o Alexandre Leite},
title = {Capturing Parallel Circumscription with Disjunctive Logic Programs},
booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA}
2004, Lisbon, Portugal, September 27-30, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3229},
pages = {134--146},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30227-8\_14},
doi = {10.1007/978-3-540-30227-8\_14},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/jelia/JanhunenO04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/OikarinenJ04,
author = {Emilia Oikarinen and
Tomi Janhunen},
editor = {Vladimir Lifschitz and
Ilkka Niemel{\"{a}}},
title = {Verifying the Equivalence of Logic Programs in the Disjunctive Case},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 7th International Conference,
{LPNMR} 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2923},
pages = {180--193},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24609-1\_17},
doi = {10.1007/978-3-540-24609-1\_17},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/OikarinenJ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/JanhunenN04,
author = {Tomi Janhunen and
Ilkka Niemel{\"{a}}},
editor = {Vladimir Lifschitz and
Ilkka Niemel{\"{a}}},
title = {{GNT} - {A} Solver for Disjunctive Logic Programs},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 7th International Conference,
{LPNMR} 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2923},
pages = {331--335},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24609-1\_29},
doi = {10.1007/978-3-540-24609-1\_29},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/JanhunenN04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/JanhunenO04,
author = {Tomi Janhunen and
Emilia Oikarinen},
editor = {Vladimir Lifschitz and
Ilkka Niemel{\"{a}}},
title = {{LPEQ} and {DLPEQ} - Translators for Automated Equivalence Testing
of Logic Programs},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 7th International Conference,
{LPNMR} 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2923},
pages = {336--340},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24609-1\_30},
doi = {10.1007/978-3-540-24609-1\_30},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/JanhunenO04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/Janhunen03,
author = {Tomi Janhunen},
title = {Evaluating the effect of semi-normality on the expressiveness of defaults},
journal = {Artif. Intell.},
volume = {144},
number = {1-2},
pages = {233--250},
year = {2003},
url = {https://doi.org/10.1016/S0004-3702(02)00385-5},
doi = {10.1016/S0004-3702(02)00385-5},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/Janhunen03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asp/Janhunen03,
author = {Tomi Janhunen},
editor = {Marina De Vos and
Alessandro Provetti},
title = {A Counter-Based Approach to Translating Normal Logic Programs into
Sets of Clauses},
booktitle = {Answer Set Programming, Advances in Theory and Implementation, Proceedings
of the 2nd Intl. ASP'03 Workshop, Messina, Italy, September 26-28,
2003},
series = {{CEUR} Workshop Proceedings},
volume = {78},
publisher = {CEUR-WS.org},
year = {2003},
url = {https://ceur-ws.org/Vol-78/asp03-final-janhunen.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:21 +0100},
biburl = {https://dblp.org/rec/conf/asp/Janhunen03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-AI-0303009,
author = {Tomi Janhunen and
Ilkka Niemel{\"{a}} and
Dietmar Seipel and
Patrik Simons and
Jia{-}Huai You},
title = {Unfolding Partiality and Disjunctions in Stable Model Semantics},
journal = {CoRR},
volume = {cs.AI/0303009},
year = {2003},
url = {http://arxiv.org/abs/cs/0303009},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-AI-0303009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/JanhunenO02,
author = {Tomi Janhunen and
Emilia Oikarinen},
editor = {Sergio Flesca and
Sergio Greco and
Nicola Leone and
Giovambattista Ianni},
title = {Testing the Equivalence of Logic Programs under Stable Model Semantics},
booktitle = {Logics in Artificial Intelligence, European Conference, {JELIA} 2002,
Cosenza, Italy, September, 23-26, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2424},
pages = {493--504},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45757-7\_41},
doi = {10.1007/3-540-45757-7\_41},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/jelia/JanhunenO02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/Janhunen01,
author = {Tomi Janhunen},
editor = {Thomas Eiter and
Wolfgang Faber and
Miroslaw Truszczynski},
title = {On the Effect of Default Negation on the Expressiveness of Disjunctive
Rules},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 6th International Conference,
{LPNMR} 2001, Vienna, Austria, September 17-19, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2173},
pages = {93--106},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45402-0\_7},
doi = {10.1007/3-540-45402-0\_7},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/Janhunen01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cl/Janhunen00,
author = {Tomi Janhunen},
editor = {John W. Lloyd and
Ver{\'{o}}nica Dahl and
Ulrich Furbach and
Manfred Kerber and
Kung{-}Kiu Lau and
Catuscia Palamidessi and
Lu{\'{\i}}s Moniz Pereira and
Yehoshua Sagiv and
Peter J. Stuckey},
title = {Comparing the Expressive Powers of Some Syntactically Restricted Classes
of Logic Programs},
booktitle = {Computational Logic - {CL} 2000, First International Conference, London,
UK, 24-28 July, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1861},
pages = {852--866},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44957-4\_57},
doi = {10.1007/3-540-44957-4\_57},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/cl/Janhunen00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/Janhunen00,
author = {Tomi Janhunen},
editor = {Manuel Ojeda{-}Aciego and
Inman P. de Guzm{\'{a}}n and
Gerhard Brewka and
Lu{\'{\i}}s Moniz Pereira},
title = {Capturing Stationary and Regular Extensions with Reiter's Extensions},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} 2000
Malaga, Spain, September 29 - October 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1919},
pages = {102--117},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40006-0\_8},
doi = {10.1007/3-540-40006-0\_8},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/jelia/Janhunen00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/JanhunenNSY00,
author = {Tomi Janhunen and
Ilkka Niemel{\"{a}} and
Patrik Simons and
Jia{-}Huai You},
editor = {Anthony G. Cohn and
Fausto Giunchiglia and
Bart Selman},
title = {Unfolding Partiality and Disjunctions in Stable Model Semantics},
booktitle = {{KR} 2000, Principles of Knowledge Representation and Reasoning Proceedings
of the Seventh International Conference, Breckenridge, Colorado, USA,
April 11-15, 2000},
pages = {411--422},
publisher = {Morgan Kaufmann},
year = {2000},
timestamp = {Tue, 20 Jun 2023 09:03:42 +0200},
biburl = {https://dblp.org/rec/conf/kr/JanhunenNSY00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/Janhunen99,
author = {Tomi Janhunen},
title = {On the intertranslatability of non-monotonic logics},
journal = {Ann. Math. Artif. Intell.},
volume = {27},
number = {1-4},
pages = {79--128},
year = {1999},
url = {https://doi.org/10.1023/A:1018915113814},
doi = {10.1023/A:1018915113814},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/Janhunen99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/Janhunen99,
author = {Tomi Janhunen},
editor = {Michael Gelfond and
Nicola Leone and
Gerald Pfeifer},
title = {Classifying Semi-Normal Default Logic on the Basis of its Expressive
Power},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 5th International Conference,
LPNMR'99, El Paso, Texas, USA, December 2-4, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1730},
pages = {19--33},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46767-X\_2},
doi = {10.1007/3-540-46767-X\_2},
timestamp = {Sun, 02 Oct 2022 16:11:19 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/Janhunen99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/Janhunen98,
author = {Tomi Janhunen},
editor = {J{\"{u}}rgen Dix and
Luis Fari{\~{n}}as del Cerro and
Ulrich Furbach},
title = {On the Intertranslatability of Autoepistemic, Default and Priority
Logics, and Parallel Circumscription},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} '98,
Dagstuhl, Germany, October 12-15, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1489},
pages = {216--232},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49545-2\_15},
doi = {10.1007/3-540-49545-2\_15},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/jelia/Janhunen98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/Janhunen97,
author = {Tomi Janhunen},
editor = {J{\"{u}}rgen Dix and
Ulrich Furbach and
Anil Nerode},
title = {Separating Disbeliefs from Beliefs in Autoepistemic Reasoning},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 4th International Conference,
LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1265},
pages = {132--151},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63255-7\_10},
doi = {10.1007/3-540-63255-7\_10},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/Janhunen97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/Janhunen96,
author = {Tomi Janhunen},
editor = {Wolfgang Wahlster},
title = {Representing Autoepistemic Introspection in Terms of Default Rules},
booktitle = {12th European Conference on Artificial Intelligence, Budapest, Hungary,
August 11-16, 1996, Proceedings},
pages = {70--74},
publisher = {John Wiley and Sons, Chichester},
year = {1996},
timestamp = {Thu, 03 Jan 2002 11:56:53 +0100},
biburl = {https://dblp.org/rec/conf/ecai/Janhunen96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/Janhunen95,
author = {Tomi Janhunen},
editor = {Hendrik Decker and
Ulrich Geske and
Antonis C. Kakas and
Chiaki Sakama and
Dietmar Seipel and
Toni Urp{\'{\i}}},
title = {Cautious Models for General Logic Programs},
booktitle = {Deductive Databases and Logic Programming, Abduction in Deductive
Databases and Knowledge-Based Systems, Proceedings of the ICLP'95
Joint Workshop, Shonan Village Center, Japan, June 17, 1995},
series = {GMD-Studien},
volume = {266},
pages = {25--39},
publisher = {Gesellschaft f{\"{u}}r Mathematik und Datenverarbeitung MbH},
year = {1995},
timestamp = {Wed, 04 Dec 2013 14:42:57 +0100},
biburl = {https://dblp.org/rec/conf/deductive/Janhunen95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kgc/JanhunenN93,
author = {Tomi Janhunen and
Ilkka Niemel{\"{a}}},
editor = {Georg Gottlob and
Alexander Leitsch and
Daniele Mundici},
title = {A Scheme for Weakened Negative Introspection in Autoepistemic Reasoning},
booktitle = {Computational Logic and Proof Theory, Third Kurt G{\"{o}}del
Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {713},
pages = {211--222},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0022570},
doi = {10.1007/BFB0022570},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/kgc/JanhunenN93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/indc/HallivuoriJS92,
author = {Matti Hallivuori and
Tomi Janhunen and
Tapio Suihko},
editor = {Martti Tienari and
Dipak Khakhar},
title = {A Graphical User Interface for a Value Added Network},
booktitle = {Information Network and Data Communication, IV, Proceedings of the
{IFIP} {TC6} International Conference on Information Network and Data
Communication, IV, Espoo, Finland, 16-19 March, 1992},
series = {{IFIP} Transactions},
volume = {{C-6}},
pages = {293--307},
publisher = {North-Holland},
year = {1992},
timestamp = {Wed, 15 Sep 2004 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/indc/HallivuoriJS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-16 20:27 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
