@article{DBLP:journals/fcomp/BjorklundHOKP23,
author = {Anton Bj{\"{o}}rklund and
Andreas Henelius and
Emilia Oikarinen and
Kimmo Kallonen and
Kai Puolam{\"{a}}ki},
title = {Explaining any black box model using real data},
journal = {Frontiers Comput. Sci.},
volume = {5},
year = {2023},
url = {https://doi.org/10.3389/fcomp.2023.1143904},
doi = {10.3389/FCOMP.2023.1143904},
timestamp = {Wed, 24 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fcomp/BjorklundHOKP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tvcg/SavvidesHOP23,
author = {Rafael Savvides and
Andreas Henelius and
Emilia Oikarinen and
Kai Puolam{\"{a}}ki},
title = {Visual Data Exploration as a Statistical Testing Procedure: Within-View
and Between-View Multiple Comparisons},
journal = {{IEEE} Trans. Vis. Comput. Graph.},
volume = {29},
number = {9},
pages = {3937--3948},
year = {2023},
url = {https://doi.org/10.1109/TVCG.2022.3175532},
doi = {10.1109/TVCG.2022.3175532},
timestamp = {Tue, 12 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tvcg/SavvidesHOP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsystech/KailaLOL23,
author = {Erkki Kaila and
Antti Laaksonen and
Emilia Oikarinen and
Kjell Lemstr{\"{o}}m},
editor = {Tzvetomir Vassilev and
Roumen Trifonov},
title = {Commitment Threshold - On Student Retention in MOOCs},
booktitle = {Proceedings of the 24th International Conference on Computer Systems
and Technologies, CompSysTech 2023, Ruse, Bulgaria, June 16-17, 2023},
pages = {139--145},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3606305.3606322},
doi = {10.1145/3606305.3606322},
timestamp = {Sun, 24 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compsystech/KailaLOL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/datamine/BjorklundHOKP22,
author = {Anton Bj{\"{o}}rklund and
Andreas Henelius and
Emilia Oikarinen and
Kimmo Kallonen and
Kai Puolam{\"{a}}ki},
title = {Robust regression via error tolerance},
journal = {Data Min. Knowl. Discov.},
volume = {36},
number = {2},
pages = {781--810},
year = {2022},
url = {https://doi.org/10.1007/s10618-022-00819-2},
doi = {10.1007/S10618-022-00819-2},
timestamp = {Fri, 13 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/datamine/BjorklundHOKP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/datamine/OikarinenTHP21,
author = {Emilia Oikarinen and
Henri Tiittanen and
Andreas Henelius and
Kai Puolam{\"{a}}ki},
title = {Detecting virtual concept drift of regressors without ground truth
values},
journal = {Data Min. Knowl. Discov.},
volume = {35},
number = {3},
pages = {726--747},
year = {2021},
url = {https://doi.org/10.1007/s10618-021-00739-7},
doi = {10.1007/S10618-021-00739-7},
timestamp = {Sun, 16 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/datamine/OikarinenTHP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jmlr/PuolamakiOH21,
author = {Kai Puolam{\"{a}}ki and
Emilia Oikarinen and
Andreas Henelius},
title = {Guided Visual Exploration of Relations in Data Sets},
journal = {J. Mach. Learn. Res.},
volume = {22},
pages = {96:1--96:32},
year = {2021},
url = {https://jmlr.org/papers/v22/19-364.html},
timestamp = {Wed, 11 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jmlr/PuolamakiOH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/datamine/PuolamakiOKLB20,
author = {Kai Puolam{\"{a}}ki and
Emilia Oikarinen and
Bo Kang and
Jefrey Lijffijt and
Tijl De Bie},
title = {Interactive visual data exploration with subjective feedback: an information-theoretic
approach},
journal = {Data Min. Knowl. Discov.},
volume = {34},
number = {1},
pages = {21--49},
year = {2020},
url = {https://doi.org/10.1007/s10618-019-00655-x},
doi = {10.1007/S10618-019-00655-X},
timestamp = {Fri, 31 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/datamine/PuolamakiOKLB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/SavelaOJ20,
author = {Jarkko Savela and
Emilia Oikarinen and
Matti J{\"{a}}rvisalo},
editor = {Elvira Albert and
Laura Kov{\'{a}}cs},
title = {Finding Periodic Apartments via Boolean Satisfiability and Orderly
Generation},
booktitle = {{LPAR} 2020: 23rd International Conference on Logic for Programming,
Artificial Intelligence and Reasoning, Alicante, Spain, May 22-27,
2020},
series = {EPiC Series in Computing},
volume = {73},
pages = {465--482},
publisher = {EasyChair},
year = {2020},
url = {https://doi.org/10.29007/k8jd},
doi = {10.29007/K8JD},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/SavelaOJ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/behaviourIT/KalakoskiHOUP19,
author = {Virpi Kalakoski and
Andreas Henelius and
Emilia Oikarinen and
Antti Ukkonen and
Kai Puolam{\"{a}}ki},
title = {Cognitive ergonomics for data analysis. Experimental study of cognitive
limitations in a data-based judgement task},
journal = {Behav. Inf. Technol.},
volume = {38},
number = {10},
pages = {1038--1047},
year = {2019},
url = {https://doi.org/10.1080/0144929X.2019.1657181},
doi = {10.1080/0144929X.2019.1657181},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/behaviourIT/KalakoskiHOUP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dis/BjorklundHOKP19,
author = {Anton Bj{\"{o}}rklund and
Andreas Henelius and
Emilia Oikarinen and
Kimmo Kallonen and
Kai Puolam{\"{a}}ki},
editor = {Petra Kralj Novak and
Tomislav Smuc and
Saso Dzeroski},
title = {Sparse Robust Regression for Explaining Classifiers},
booktitle = {Discovery Science - 22nd International Conference, {DS} 2019, Split,
Croatia, October 28-30, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11828},
pages = {351--366},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-33778-0\_27},
doi = {10.1007/978-3-030-33778-0\_27},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dis/BjorklundHOKP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecce/KalakoskiHOUP19,
author = {Virpi Kalakoski and
Andreas Henelius and
Emilia Oikarinen and
Antti Ukkonen and
Kai Puolam{\"{a}}ki},
editor = {Maurice D. Mulvenna and
Raymond R. Bond},
title = {Cognitive ergonomics for data analysis},
booktitle = {Proceedings of the 31st European Conference on Cognitive Ergonomics,
{ECCE} 2019, Belfast, UK, September 10-13, 2019},
pages = {38--40},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3335082.3335112},
doi = {10.1145/3335082.3335112},
timestamp = {Wed, 28 Apr 2021 17:25:34 +0200},
biburl = {https://dblp.org/rec/conf/ecce/KalakoskiHOUP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kdd/SavvidesHOP19,
author = {Rafael Savvides and
Andreas Henelius and
Emilia Oikarinen and
Kai Puolam{\"{a}}ki},
editor = {Ankur Teredesai and
Vipin Kumar and
Ying Li and
R{\'{o}}mer Rosales and
Evimaria Terzi and
George Karypis},
title = {Significance of Patterns in Data Visualisations},
booktitle = {Proceedings of the 25th {ACM} {SIGKDD} International Conference on
Knowledge Discovery {\&} Data Mining, {KDD} 2019, Anchorage, AK, USA,
August 4-8, 2019},
pages = {1509--1517},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3292500.3330994},
doi = {10.1145/3292500.3330994},
timestamp = {Tue, 20 Aug 2024 07:54:44 +0200},
biburl = {https://dblp.org/rec/conf/kdd/SavvidesHOP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pkdd/OikarinenPKP19,
author = {Emilia Oikarinen and
Kai Puolam{\"{a}}ki and
Samaneh Khoshrou and
Mykola Pechenizkiy},
editor = {Peggy Cellier and
Kurt Driessens},
title = {Supervised Human-Guided Data Exploration},
booktitle = {Machine Learning and Knowledge Discovery in Databases - International
Workshops of {ECML} {PKDD} 2019, W{\"{u}}rzburg, Germany, September
16-20, 2019, Proceedings, Part {I}},
series = {Communications in Computer and Information Science},
volume = {1167},
pages = {85--101},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-43823-4\_8},
doi = {10.1007/978-3-030-43823-4\_8},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pkdd/OikarinenPKP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1905-02515,
author = {Kai Puolam{\"{a}}ki and
Emilia Oikarinen and
Andreas Henelius},
title = {Guided Visual Exploration of Relations in Data Sets},
journal = {CoRR},
volume = {abs/1905.02515},
year = {2019},
url = {http://arxiv.org/abs/1905.02515},
eprinttype = {arXiv},
eprint = {1905.02515},
timestamp = {Wed, 29 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1905-02515.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-04069,
author = {Henri Tiittanen and
Emilia Oikarinen and
Andreas Henelius and
Kai Puolam{\"{a}}ki},
title = {Estimating regression errors without ground truth values},
journal = {CoRR},
volume = {abs/1910.04069},
year = {2019},
url = {http://arxiv.org/abs/1910.04069},
eprinttype = {arXiv},
eprint = {1910.04069},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1910-04069.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icde/PuolamakiOKLB18,
author = {Kai Puolam{\"{a}}ki and
Emilia Oikarinen and
Bo Kang and
Jefrey Lijffijt and
Tijl De Bie},
title = {Interactive Visual Data Exploration with Subjective Feedback: An Information-Theoretic
Approach},
booktitle = {34th {IEEE} International Conference on Data Engineering, {ICDE} 2018,
Paris, France, April 16-19, 2018},
pages = {1208--1211},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/ICDE.2018.00112},
doi = {10.1109/ICDE.2018.00112},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icde/PuolamakiOKLB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icde/LijffijtKDPOB18,
author = {Jefrey Lijffijt and
Bo Kang and
Wouter Duivesteijn and
Kai Puolam{\"{a}}ki and
Emilia Oikarinen and
Tijl De Bie},
title = {Subjectively Interesting Subgroup Discovery on Real-Valued Targets},
booktitle = {34th {IEEE} International Conference on Data Engineering, {ICDE} 2018,
Paris, France, April 16-19, 2018},
pages = {1352--1355},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/ICDE.2018.00148},
doi = {10.1109/ICDE.2018.00148},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icde/LijffijtKDPOB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pkdd/HeneliusOP18,
author = {Andreas Henelius and
Emilia Oikarinen and
Kai Puolam{\"{a}}ki},
editor = {Ulf Brefeld and
Edward Curry and
Elizabeth Daly and
Brian MacNamee and
Alice Marascu and
Fabio Pinelli and
Michele Berlingerio and
Neil Hurley},
title = {Tiler: Software for Human-Guided Data Exploration},
booktitle = {Machine Learning and Knowledge Discovery in Databases - European Conference,
{ECML} {PKDD} 2018, Dublin, Ireland, September 10-14, 2018, Proceedings,
Part {III}},
series = {Lecture Notes in Computer Science},
volume = {11053},
pages = {672--676},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-10997-4\_49},
doi = {10.1007/978-3-030-10997-4\_49},
timestamp = {Fri, 09 Apr 2021 18:44:22 +0200},
biburl = {https://dblp.org/rec/conf/pkdd/HeneliusOP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-03194,
author = {Andreas Henelius and
Emilia Oikarinen and
Kai Puolam{\"{a}}ki},
title = {Human-Guided Data Exploration},
journal = {CoRR},
volume = {abs/1804.03194},
year = {2018},
url = {http://arxiv.org/abs/1804.03194},
eprinttype = {arXiv},
eprint = {1804.03194},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-03194.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-07725,
author = {Kai Puolam{\"{a}}ki and
Emilia Oikarinen and
Buse Gul Atli and
Andreas Henelius},
title = {Human-guided data exploration using randomisation},
journal = {CoRR},
volume = {abs/1805.07725},
year = {2018},
url = {http://arxiv.org/abs/1805.07725},
eprinttype = {arXiv},
eprint = {1805.07725},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-07725.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/BergOJP17,
author = {Jeremias Berg and
Emilia Oikarinen and
Matti J{\"{a}}rvisalo and
Kai Puolam{\"{a}}ki},
editor = {J. Christopher Beck},
title = {Minimum-Width Confidence Bands via Constraint Optimization},
booktitle = {Principles and Practice of Constraint Programming - 23rd International
Conference, {CP} 2017, Melbourne, VIC, Australia, August 28 - September
1, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10416},
pages = {443--459},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66158-2\_29},
doi = {10.1007/978-3-319-66158-2\_29},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/BergOJP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sdm/KorpelaOPU17,
author = {Jussi Korpela and
Emilia Oikarinen and
Kai Puolam{\"{a}}ki and
Antti Ukkonen},
editor = {Nitesh V. Chawla and
Wei Wang},
title = {Multivariate Confidence Intervals},
booktitle = {Proceedings of the 2017 {SIAM} International Conference on Data Mining,
Houston, Texas, USA, April 27-29, 2017},
pages = {696--704},
publisher = {{SIAM}},
year = {2017},
url = {https://doi.org/10.1137/1.9781611974973.78},
doi = {10.1137/1.9781611974973.78},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sdm/KorpelaOPU17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1710-04521,
author = {Jefrey Lijffijt and
Bo Kang and
Wouter Duivesteijn and
Kai Puolam{\"{a}}ki and
Emilia Oikarinen and
Tijl De Bie},
title = {Subjectively Interesting Subgroup Discovery on Real-valued Targets},
journal = {CoRR},
volume = {abs/1710.04521},
year = {2017},
url = {http://arxiv.org/abs/1710.04521},
eprinttype = {arXiv},
eprint = {1710.04521},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1710-04521.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1710-08167,
author = {Kai Puolam{\"{a}}ki and
Emilia Oikarinen and
Bo Kang and
Jefrey Lijffijt and
Tijl De Bie},
title = {Interactive Visual Data Exploration with Subjective Feedback: An Information-Theoretic
Approach},
journal = {CoRR},
volume = {abs/1710.08167},
year = {2017},
url = {http://arxiv.org/abs/1710.08167},
eprinttype = {arXiv},
eprint = {1710.08167},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1710-08167.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}
}
@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/comma/DvorakLOW14,
author = {Wolfgang Dvor{\'{a}}k and
Thomas Linsbichler and
Emilia Oikarinen and
Stefan Woltran},
editor = {Simon Parsons and
Nir Oren and
Chris Reed and
Federico Cerutti},
title = {Resolution-Based Grounded Semantics Revisited},
booktitle = {Computational Models of Argument - Proceedings of {COMMA} 2014, Atholl
Palace Hotel, Scottish Highlands, UK, September 9-12, 2014},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {266},
pages = {269--280},
publisher = {{IOS} Press},
year = {2014},
url = {https://doi.org/10.3233/978-1-61499-436-7-269},
doi = {10.3233/978-1-61499-436-7-269},
timestamp = {Thu, 10 Aug 2023 14:30:52 +0200},
biburl = {https://dblp.org/rec/conf/comma/DvorakLOW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/OikarinenJ14,
author = {Emilia Oikarinen and
Matti J{\"{a}}rvisalo},
editor = {Eduardo Ferm{\'{e}} and
Jo{\~{a}}o Leite},
title = {Answer Set Solver Backdoors},
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 = {674--683},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11558-0\_51},
doi = {10.1007/978-3-319-11558-0\_51},
timestamp = {Fri, 07 Aug 2020 08:55:19 +0200},
biburl = {https://dblp.org/rec/conf/jelia/OikarinenJ14.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}
}
@article{DBLP:journals/ai/OikarinenW11,
author = {Emilia Oikarinen and
Stefan Woltran},
title = {Characterizing strong equivalence for argumentation frameworks},
journal = {Artif. Intell.},
volume = {175},
number = {14-15},
pages = {1985--2009},
year = {2011},
url = {https://doi.org/10.1016/j.artint.2011.06.003},
doi = {10.1016/J.ARTINT.2011.06.003},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/OikarinenW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/OikarinenW10,
author = {Emilia Oikarinen and
Stefan Woltran},
editor = {Fangzhen Lin and
Ulrike Sattler and
Miroslaw Truszczynski},
title = {Characterizing Strong Equivalence for Argumentation Frameworks},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Twelfth International Conference, {KR} 2010, Toronto, Ontario,
Canada, May 9-13, 2010},
publisher = {{AAAI} Press},
year = {2010},
url = {http://aaai.org/ocs/index.php/KR/KR2010/paper/view/1332},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/OikarinenW10.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/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 = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/JarvisaloOJN09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/OikarinenJ09,
author = {Emilia Oikarinen and
Matti J{\"{a}}rvisalo},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {Max-ASP: Maximum Satisfiability of Answer Set Programs},
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 = {236--249},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_21},
doi = {10.1007/978-3-642-04238-6\_21},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/OikarinenJ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/basesearch/Oikarinen08,
author = {Emilia Oikarinen},
title = {Modularity in answer set programs},
school = {Helsinki University of Technology, Finland},
year = {2008},
url = {https://aaltodoc.aalto.fi/handle/123456789/4533},
timestamp = {Thu, 30 Mar 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/basesearch/Oikarinen08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/JarvisaloO08,
author = {Matti J{\"{a}}rvisalo and
Emilia Oikarinen},
title = {Extended {ASP} Tableaux and rule redundancy in normal logic programs},
journal = {Theory Pract. Log. Program.},
volume = {8},
number = {5-6},
pages = {691--716},
year = {2008},
url = {https://doi.org/10.1017/S1471068408003578},
doi = {10.1017/S1471068408003578},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/JarvisaloO08.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}
}
@article{DBLP:journals/corr/abs-0809-3204,
author = {Matti J{\"{a}}rvisalo and
Emilia Oikarinen},
title = {Extended {ASP} tableaux and rule redundancy in normal logic programs},
journal = {CoRR},
volume = {abs/0809.3204},
year = {2008},
url = {http://arxiv.org/abs/0809.3204},
eprinttype = {arXiv},
eprint = {0809.3204},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0809-3204.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/JarvisaloO07,
author = {Matti J{\"{a}}rvisalo and
Emilia Oikarinen},
editor = {Ver{\'{o}}nica Dahl and
Ilkka Niemel{\"{a}}},
title = {Extended {ASP} Tableaux and Rule Redundancy in Normal Logic Programs},
booktitle = {Logic Programming, 23rd International Conference, {ICLP} 2007, Porto,
Portugal, September 8-13, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4670},
pages = {134--148},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74610-2\_10},
doi = {10.1007/978-3-540-74610-2\_10},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iclp/JarvisaloO07.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 = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/OikarinenJ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Oikarinen07,
author = {Emilia Oikarinen},
editor = {Ver{\'{o}}nica Dahl and
Ilkka Niemel{\"{a}}},
title = {Modular Answer Set 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 = {462--463},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74610-2\_46},
doi = {10.1007/978-3-540-74610-2\_46},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Oikarinen07.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}
}
@inproceedings{DBLP:conf/lpnmr/Oikarinen07,
author = {Emilia Oikarinen},
editor = {Chitta Baral and
Gerhard Brewka and
John S. Schlipf},
title = {Modularity in smodelsPrograms},
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 = {321--326},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72200-7\_33},
doi = {10.1007/978-3-540-72200-7\_33},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/Oikarinen07.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 = {Thu, 12 Feb 2009 12:51:20 +0100},
biburl = {https://dblp.org/rec/conf/ecai/OikarinenJ06.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/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 = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/OikarinenJ05.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, 07 May 2024 20:11:09 +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/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}
}
@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}
}
