Forskningsresultat per år
Forskningsresultat per år
- 1 - 50 av 55 resultat
Sökresultat
-
2022
ASPforASPIC: ASP-based algorithms for abstract rule-based argumentation (ASPIC+)
Lehtonen, T., Wallner, J. P. & Järvisalo, M., 7 juni 2022Forskningsoutput: Icke-textbaserad output › Programvara › Vetenskaplig
-
SATforDL-ABA: SAT-based algorithms for the default logic instantiation of assumption-based argumentation
Lehtonen, T., Wallner, J. P. & Järvisalo, M., 19 sep. 2022Forskningsoutput: Icke-textbaserad output › Programvara › Vetenskaplig
-
2021
ASPforABA: ASP-based algorithms for assumption-based argumentation
Lehtonen, T., Wallner, J. P. & Järvisalo, M., 18 juni 2021Forskningsoutput: Icke-textbaserad output › Programvara › Vetenskaplig
-
tweetsearcher: A Python tool to download Tweets using Academic Research credentials
Väisänen, T. L. A., Sirkiä, S., Hiippala, T., Järv, O. & Toivonen, T., 27 apr. 2021Forskningsoutput: Icke-textbaserad output › Programvara › Vetenskaplig
Öppen tillgång -
2020
Green Paths route planning software
Helle, J., Poom, A., Willberg, E., Väisänen, T. L. A. & Toivonen, T., 2020Forskningsoutput: Icke-textbaserad output › Programvara › Professionell
Öppen tillgång -
metatube: Python script to download YouTube metadata
Fink, C., 28 apr. 2020Forskningsoutput: Icke-textbaserad output › Programvara › Vetenskaplig
Öppen tillgång -
olxsearch: Python script to download OLX small ads data
Fink, C., 24 juni 2020Forskningsoutput: Icke-textbaserad output › Programvara › Vetenskaplig
Öppen tillgång -
RSS Mashup
Pernaa, J., 7 apr. 2020Forskningsoutput: Icke-textbaserad output › Programvara › Professionell
Öppen tillgångFil -
2019
µ-toksia (version 2019-10-31): SAT-based Solver for Static and Dynamic Argumentation Frameworks
Niskanen, A. & Järvisalo, M., 19 dec. 2019Forskningsoutput: Icke-textbaserad output › Programvara › Vetenskaplig
-
dpEmu
Nurminen, J. K., Mikkonen, T., Röyskö, A. J., Juuso, S., Mylläri, J. T., Harviainen, J. A. M. & Halvari, T., 2019Forskningsoutput: Icke-textbaserad output › Programvara › Professionell
-
Loandra, Core-Boosted Linear Search for incomplete MaxSAT
Berg, J., Stuckey, P. & Emir Demirović, E., 2019Forskningsoutput: Icke-textbaserad output › Programvara › Vetenskaplig
Öppen tillgångFil -
python-africanelephantdatabasedatadownloader: a Python utility to download the most up-to-date data from the African Elephant Database
Fink, C., 12 juni 2019Forskningsoutput: Icke-textbaserad output › Programvara › Vetenskaplig
Öppen tillgång -
python-webis: Python wrapper for the webis Twitter sentiment evaluation ensemble
Fink, C. A., 23 jan. 2019Forskningsoutput: Icke-textbaserad output › Programvara › Vetenskaplig
Öppen tillgång -
Taeydennae (version 2019-10-20): SAT-based Reasoner for Incomplete Argumentation Frameworks
Niskanen, A. & Järvisalo, M., 20 nov. 2019Forskningsoutput: Icke-textbaserad output › Programvara › Vetenskaplig
-
2018
AFSynth (version 2018-07-04): Synthesizing Argumentation Frameworks from Examples
Niskanen, A., Järvisalo, M. & Wallner, J. P., 4 juli 2018Forskningsoutput: Icke-textbaserad output › Programvara › Vetenskaplig
-
ASP-HS: An answer set optimizer based on the implicit hitting set paradigm
Saikko, P., Dodaro, C., Alviano, M. & Järvisalo, M., 2018Forskningsoutput: Icke-textbaserad output › Programvara › Vetenskaplig
-
k++ADF: SAT-based Reasoner for Abstract Dialectical Frameworks
Niskanen, A. J. A., 6 juli 2018Forskningsoutput: Icke-textbaserad output › Programvara › Vetenskaplig
-
Maadoita (version 2018-11-01): Extension Enforcement under Grounded Semantics in Abstract Argumentation
Niskanen, A., Järvisalo, M. & Wallner, J. P., 1 nov. 2018Forskningsoutput: Icke-textbaserad output › Programvara › Vetenskaplig
-
Multi-temporal function-based dasymetric interpolation tool for mobile phone data
Järv, O., Tenkanen, H. T. O. & Toivonen, T. K., 2018Forskningsoutput: Icke-textbaserad output › Programvara › Vetenskaplig
Öppen tillgång -
2017
aba2af: A system for reasoning about acceptance in structured argumentation via abstract argumentation
Lehtonen, T. T. P., Wallner, J. P. & Järvisalo, M. J., 2017Forskningsoutput: Icke-textbaserad output › Programvara › Vetenskaplig
-
BBMarkov: a branch-and-bound approach to learning optimal decomposable graphs
Rantanen, K. M. J., Hyttinen, A. J. & Järvisalo, M. J., 2017Forskningsoutput: Icke-textbaserad output › Programvara › Vetenskaplig
-
LMHS 2017
Saikko, P. H. A. & Järvisalo, M. J., 10 aug. 2017Forskningsoutput: Icke-textbaserad output › Programvara › Vetenskaplig
-
MaxPre: An Extended MaxSAT Preprocessor
Korhonen, T. M. A., Berg, O. J., Saikko, P. H. A. & Järvisalo, M. J., 2017Forskningsoutput: Icke-textbaserad output › Programvara › Vetenskaplig
-
Pakota (version 2017-05-31): A system for extension and status enforcement in abstract argumentation based on constraint optimization
Niskanen, A. J. A., Järvisalo, M. J. & Wallner, J., 31 maj 2017Forskningsoutput: Icke-textbaserad output › Programvara › Vetenskaplig
-
2016
AbHS: A propositional abduction solver based on the implicit hitting set paradigm
Saikko, P. H. A., Wallner, J. P. & Järvisalo, M. J., 2016Forskningsoutput: Icke-textbaserad output › Programvara › Vetenskaplig
-
AFSynth (version 2016-08-10): Synthesizing Argumentation Frameworks from Examples
Niskanen, A. J. A., Järvisalo, M. J. & Wallner, J. P., 10 aug. 2016Forskningsoutput: Icke-textbaserad output › Programvara › Vetenskaplig
-
Digital Me server
Sjöberg, M. V., 2016Forskningsoutput: Icke-textbaserad output › Programvara › Vetenskaplig
-
Pakota (version 2016-06-06): A system for extension and status enforcement in abstract argumentation based on constraint optimization
Niskanen, A. J. A., Järvisalo, M. J. & Wallner, J. P., 6 juni 2016Forskningsoutput: Icke-textbaserad output › Programvara › Vetenskaplig
-
2015
Gap2Seq
Salmela, L. M., Sahlin, K., Mäkinen, V. A. T. & Tomescu, A. I., 2015Forskningsoutput: Icke-textbaserad output › Programvara › Vetenskaplig
-
GeM-HTB: A Multimodal Corpus of Tourist Brochures Produced by the City of Helsinki, Finland (1967-2008)
Hiippala, T., 2015Forskningsoutput: Icke-textbaserad output › Programvara › Vetenskaplig
-
LMHS: A SAT-IP Hybrid MaxSAT solver
Saikko, P. H. A. & Järvisalo, M. J., 2015Forskningsoutput: Icke-textbaserad output › Programvara › Vetenskaplig
-
Musicreatures
Myllys, P. & Toivonen, H., 1 feb. 2015Forskningsoutput: Icke-textbaserad output › Programvara › Vetenskaplig
-
On representing graphs as membership digraphs - A proof scenario checked by Referee
Omodeo, E. & Tomescu, A. I., 2015Forskningsoutput: Icke-textbaserad output › Programvara › Vetenskaplig
-
Pakota: A system for extension enforcement in abstract argumentation based on constraint optimization
Niskanen, A. J. A., Wallner, J. P. & Järvisalo, M. J., 2015Forskningsoutput: Icke-textbaserad output › Programvara › Vetenskaplig
-
SNV-PPILP
van Rens, K., Mäkinen, V. A. T. & Tomescu, A. I., 2015Forskningsoutput: Icke-textbaserad output › Programvara › Vetenskaplig
-
2014
Edumol (JavaScript version)
Pernaa, J., Alanen, H., Onne, A. & Liljestrand, M., 2014Forskningsoutput: Icke-textbaserad output › Programvara › Vetenskaplig
Öppen tillgång -
LoRDEC
Salmela, L. M. & Rivals, E., 2014Forskningsoutput: Icke-textbaserad output › Programvara › Vetenskaplig
-
2012
Implementation of Y.1731 for Linux
Varjonen, S., okt. 2012Forskningsoutput: Icke-textbaserad output › Programvara › Vetenskaplig
-
2011
-
Jmol-ohjelmiston suomennos
Pernaa, J. (Översättare), 2011Forskningsoutput: Icke-textbaserad output › Programvara › Vetenskaplig
Öppen tillgångFil -
Kassu-ontologia (Kasvien suomenkieliset nimet)
Tuominen, J., Laurenne, N., Kurtto, A., Junikka, L. & Hyvönen, E., 2011Forskningsoutput: Icke-textbaserad output › Programvara › Vetenskaplig
-
MIP Scaffolder
Salmela, L., 2011Forskningsoutput: Icke-textbaserad output › Programvara › Vetenskaplig
-
UI prototype for collecting feedback and presenting reputation, and Reputation system prototype: Deliverable D6.3.2.1 and D6.3.2.2
Hankalahti, A., Lehtimäki, M., Niinivaara, O., Ruohomaa, S. S., Shen, Y. & Tulilaulu, A. E., 27 maj 2011Forskningsoutput: Icke-textbaserad output › Programvara › Vetenskaplig
-
2010
Edumol (Java-versio)
Pernaa, J., 2010Forskningsoutput: Icke-textbaserad output › Programvara › Vetenskaplig
Öppen tillgångFil -
Generalized Compressed Suffix Array
Sirén, J., 2010Forskningsoutput: Icke-textbaserad output › Programvara › Vetenskaplig
-
-
-
2009
Freeciv: An empire-building strategy game
Ruohomaa, S. S. (Översättare), 2009Forskningsoutput: Icke-textbaserad output › Programvara › Vetenskaplig
-
MOODS
Korhonen, J. H., Petri, M., Rastas, P. M. A., Pizzi, C. & Ukkonen, E., 2009Forskningsoutput: Icke-textbaserad output › Programvara › Vetenskaplig
-
Nmap3Nagios toolkit
Pervilä, M., 29 apr. 2009Forskningsoutput: Icke-textbaserad output › Programvara › Vetenskaplig