Publikationer

Filter
Programvara

µ-toksia (version 2019-10-31): SAT-based Solver for Static and Dynamic Argumentation Frameworks

Niskanen, A. & Järvisalo, M., 19 dec 2019

Forskningsoutput: Icke-textbaserad outputProgramvaraVetenskaplig

aba2af: A system for reasoning about acceptance in structured argumentation via abstract argumentation

Lehtonen, T. T. P., Wallner, J. P. & Järvisalo, M. J., 2017

Forskningsoutput: Icke-textbaserad outputProgramvaraVetenskaplig

AbHS: A propositional abduction solver based on the implicit hitting set paradigm

Saikko, P. H. A., Wallner, J. P. & Järvisalo, M. J., 2016

Forskningsoutput: Icke-textbaserad outputProgramvaraVetenskaplig

AFSynth (version 2016-08-10): Synthesizing Argumentation Frameworks from Examples

Niskanen, A. J. A., Järvisalo, M. J. & Wallner, J. P., 10 aug 2016

Forskningsoutput: Icke-textbaserad outputProgramvaraVetenskaplig

AFSynth (version 2018-07-04): Synthesizing Argumentation Frameworks from Examples

Niskanen, A., Järvisalo, M. & Wallner, J. P., 4 jul 2018

Forskningsoutput: Icke-textbaserad outputProgramvaraVetenskaplig

ASP-HS: An answer set optimizer based on the implicit hitting set paradigm

Saikko, P., Dodaro, C., Alviano, M. & Järvisalo, M., 2018

Forskningsoutput: Icke-textbaserad outputProgramvaraVetenskaplig

BBMarkov: a branch-and-bound approach to learning optimal decomposable graphs

Rantanen, K. M. J., Hyttinen, A. J. & Järvisalo, M. J., 2017

Forskningsoutput: Icke-textbaserad outputProgramvaraVetenskaplig

Coral

Salmela, L., 2011

Forskningsoutput: Icke-textbaserad outputProgramvaraVetenskaplig

Digital Me server

Sjöberg, M. V., 2016

Forskningsoutput: Icke-textbaserad outputProgramvaraVetenskaplig

dpEmu

Nurminen, J. K., Mikkonen, T., Röyskö, A. J., Juuso, S., Mylläri, J. T., Harviainen, J. A. M. & Halvari, T., 2019

Forskningsoutput: Icke-textbaserad outputProgramvaraProfessionell

Edumol (JavaScript version)

Pernaa, J., Alanen, H., Onne, A. & Liljestrand, M., 2014

Forskningsoutput: Icke-textbaserad outputProgramvaraVetenskaplig

Öppen tillgång

Edumol (Java-versio)

Pernaa, J., 2010

Forskningsoutput: Icke-textbaserad outputProgramvaraVetenskaplig

Öppen tillgång
Fil

Freeciv: An empire-building strategy game

Ruohomaa, S. S. (Översättare), 2009

Forskningsoutput: Icke-textbaserad outputProgramvaraVetenskaplig

Gap2Seq

Salmela, L. M., Sahlin, K., Mäkinen, V. A. T. & Tomescu, A. I., 2015

Forskningsoutput: Icke-textbaserad outputProgramvaraVetenskaplig

GeM-HTB: A Multimodal Corpus of Tourist Brochures Produced by the City of Helsinki, Finland (1967-2008)

Hiippala, T., 2015

Forskningsoutput: Icke-textbaserad outputProgramvaraVetenskaplig

GenealogyJ: A viewer and editor for genealogic data

Ruohomaa, S. S. (Översättare), 2008

Forskningsoutput: Icke-textbaserad outputProgramvaraVetenskaplig

Generalized Compressed Suffix Array

Sirén, J., 2010

Forskningsoutput: Icke-textbaserad outputProgramvaraVetenskaplig

Ghextris: A tetris-like game

Rauhala, M., 13 maj 2004

Forskningsoutput: Icke-textbaserad outputProgramvaraVetenskaplig

Green Paths routing tool

Helle, J., Poom, A., Väisänen, T. L. A. & Toivonen, T., 2020

Forskningsoutput: Icke-textbaserad outputProgramvaraProfessionell

Hybrid SHREC

Salmela, L., 2010

Forskningsoutput: Icke-textbaserad outputProgramvaraVetenskaplig

Implementation of Y.1731 for Linux

Varjonen, S., okt 2012

Forskningsoutput: Icke-textbaserad outputProgramvaraVetenskaplig

InvCoal

Kollin, J. J., 2010

Forskningsoutput: Icke-textbaserad outputProgramvaraVetenskaplig

Jmol-ohjelmiston suomennos

Pernaa, J. (Översättare), 2011

Forskningsoutput: Icke-textbaserad outputProgramvaraVetenskaplig

Öppen tillgång
Fil

k++ADF: SAT-based Reasoner for Abstract Dialectical Frameworks

Niskanen, A. J. A., 6 jul 2018

Forskningsoutput: Icke-textbaserad outputProgramvaraVetenskaplig

Kassu-ontologia (Kasvien suomenkieliset nimet)

Tuominen, J., Laurenne, N., Kurtto, A., Junikka, L. & Hyvönen, E., 2011

Forskningsoutput: Icke-textbaserad outputProgramvaraVetenskaplig

LMHS: A SAT-IP Hybrid MaxSAT solver

Saikko, P. H. A. & Järvisalo, M. J., 2015

Forskningsoutput: Icke-textbaserad outputProgramvaraVetenskaplig

LMHS 2017

Saikko, P. H. A. & Järvisalo, M. J., 10 aug 2017

Forskningsoutput: Icke-textbaserad outputProgramvaraVetenskaplig

Loandra, Core-Boosted Linear Search for incomplete MaxSAT

Berg, J., Stuckey, P. & Emir Demirović, E., 2019

Forskningsoutput: Icke-textbaserad outputProgramvaraVetenskaplig

Öppen tillgång
Fil

LoRDEC

Salmela, L. M. & Rivals, E., 2014

Forskningsoutput: Icke-textbaserad outputProgramvaraVetenskaplig

Maadoita (version 2018-11-01): Extension Enforcement under Grounded Semantics in Abstract Argumentation

Niskanen, A., Järvisalo, M. & Wallner, J. P., 1 nov 2018

Forskningsoutput: Icke-textbaserad outputProgramvaraVetenskaplig

MaxPre: An Extended MaxSAT Preprocessor

Korhonen, T. M. A., Berg, O. J., Saikko, P. H. A. & Järvisalo, M. J., 2017

Forskningsoutput: Icke-textbaserad outputProgramvaraVetenskaplig

metatube: Python script to download YouTube metadata

Fink, C., 28 apr 2020

Forskningsoutput: Icke-textbaserad outputProgramvaraVetenskaplig

Öppen tillgång

MIP Scaffolder

Salmela, L., 2011

Forskningsoutput: Icke-textbaserad outputProgramvaraVetenskaplig

MOODS

Korhonen, J. H., Petri, M., Rastas, P. M. A., Pizzi, C. & Ukkonen, E., 2009

Forskningsoutput: Icke-textbaserad outputProgramvaraVetenskaplig

Multi-temporal function-based dasymetric interpolation tool for mobile phone data

Järv, O., Tenkanen, H. T. O. & Toivonen, T. K., 2018

Forskningsoutput: Icke-textbaserad outputProgramvaraVetenskaplig

Öppen tillgång

Musicreatures

Myllys, P. & Toivonen, H., 1 feb 2015

Forskningsoutput: Icke-textbaserad outputProgramvaraVetenskaplig

Nmap3Nagios toolkit

Pervilä, M., 29 apr 2009

Forskningsoutput: Icke-textbaserad outputProgramvaraVetenskaplig

olxsearch: Python script to download OLX small ads data

Fink, C., 24 jun 2020

Forskningsoutput: Icke-textbaserad outputProgramvaraVetenskaplig

Öppen tillgång

On representing graphs as membership digraphs - A proof scenario checked by Referee

Omodeo, E. & Tomescu, A. I., 2015

Forskningsoutput: Icke-textbaserad outputProgramvaraVetenskaplig

Pakota: A system for extension enforcement in abstract argumentation based on constraint optimization

Niskanen, A. J. A., Wallner, J. P. & Järvisalo, M. J., 2015

Forskningsoutput: Icke-textbaserad outputProgramvaraVetenskaplig

Öppen tillgång

python-webis: Python wrapper for the webis Twitter sentiment evaluation ensemble

Fink, C. A., 23 jan 2019

Forskningsoutput: Icke-textbaserad outputProgramvaraVetenskaplig

Öppen tillgång

RSS Mashup

Pernaa, J., 7 apr 2020

Forskningsoutput: Icke-textbaserad outputProgramvaraProfessionell

Öppen tillgång
Fil

Run-Length Compressed Suffix Array

Sirén, J., 2009

Forskningsoutput: Icke-textbaserad outputProgramvaraVetenskaplig

SNV-PPILP

van Rens, K., Mäkinen, V. A. T. & Tomescu, A. I., 2015

Forskningsoutput: Icke-textbaserad outputProgramvaraVetenskaplig

Taeydennae (version 2019-10-20): SAT-based Reasoner for Incomplete Argumentation Frameworks

Niskanen, A. & Järvisalo, M., 20 nov 2019

Forskningsoutput: Icke-textbaserad outputProgramvaraVetenskaplig

Type and hapax accumulation curves

Suomela, J., 2007

Forskningsoutput: Icke-textbaserad outputProgramvaraVetenskaplig

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 2011

Forskningsoutput: Icke-textbaserad outputProgramvaraVetenskaplig