Journal of Artificial Intelligence Research

View Statistics Email Alert RSS Feed

Journal description

Title Titel
Journal of Artificial Intelligence Research
 
e-ISSN
1943-5037
 
ISSN
1076-9757
 
Publisher Herausgeber
AI ACCESS FOUNDATION
 
Publisher's Address Herausgeber Adresse
USC INFORMATION SCIENCES INST, 4676 ADMIRALITY WAY, MARINA DEL REY, USA, CA, 90292-6695
 
Listed in SCI Aufgelistet im SCI
 
Peer reviewed Begutachtet
 
Listed in DOAJ Aufgelisted im DOAJ
 

Publications Publikationen

Filter:
Author:  Järvisalo, Matti

Results 1-3 of 3 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Heule, Marijn ; Järvisalo, Matti ; Lonsing, Florian ; Seidl, Martina ; Biere, Armin Clause Elimination for SAT and QSATArtikel Article 2015
2Wallner Johannes - 2017 - Complexity Results and Algorithms for Extension...pdf.jpgWallner, Johannes ; Niskanen, Andreas ; Järvisalo, Matti Complexity Results and Algorithms for Extension Enforcement in Abstract ArgumentationArticle Artikel 2017
3Niskanen, Andreas ; Wallner, Johannes ; Järvisalo, Matti Synthesizing Argumentation Frameworks from ExamplesArtikel Article 2019