Jussi Rintanen

Hivatkozott rá

	Összes	2020 óta
Hivatkozások	3985	890
h-index	34	14
i10-index	62	27

240

120

180

19992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202516 47 71 62 113 96 163 143 133 132 153 130 148 187 172 197 235 210 229 217 171 231 158 159 167 157 18

Nyilvános hozzáférés

Összes megtekintése

12 cikk

0 cikk

elérhető

nem érhető el

Finanszírozási megbízások alapján

Társszerzők

Tomi JanhunenTampere University, FinlandE-mail megerősítve itt: tuni.fi
Alban GrastienResearch Fellow at HMI, ANUE-mail megerősítve itt: anu.edu.au
Keijo HeljankoProfessor of Computer Science, Department of Computer Science, University of HelsinkiE-mail megerősítve itt: helsinki.fi
Martin GebserUniversity of KlagenfurtE-mail megerősítve itt: aau.at
Johan PensarAssociate Professor, Statistics and Data Science, University of OsloE-mail megerősítve itt: math.uio.no
Jukka CoranderUiO, Wellcome Sanger Institute, University of HelsinkiE-mail megerősítve itt: medisin.uio.no
Masood Feyzbakhsh RankoohUniversity of HelsinkiE-mail megerősítve itt: helsinki.fi
Dr Anbu AnbulaganResearch ScientistE-mail megerősítve itt: anu.edu.au
Enrico GiunchigliaDIBRIS - Università di GenovaE-mail megerősítve itt: unige.it
Eugene FreuderProfessor Emeritus, University College CorkE-mail megerősítve itt: insight-centre.org
Henry KautzProfessor Emeritus of Computer Science, University of RochesterE-mail megerősítve itt: cs.rochester.edu
Robert FourerAMPL Optimization & Northwestern UniversityE-mail megerősítve itt: ampl.com
Austin TateEmeritus Professor of Knowledge-Based Systems, Informatics, University of EdinburghE-mail megerősítve itt: ed.ac.uk
Robert P. GoldmanResearch Fellow, SIFT, LLCE-mail megerősítve itt: sift.net
Langford B WhiteProfessor, Electrical and Electronic Engineering, University of AdelaideE-mail megerősítve itt: adelaide.edu.au
Sylvie ThiebauxThe Australian National University & LAAS-CNRS, University of ToulouseE-mail megerősítve itt: anu.edu.au
Martin WehrleE-mail megerősítve itt: informatik.uni-freiburg.de
Joerg HoffmannProfessor, Saarland Informatics Campus, Saarland University and German Research Center for AI (DFKI)E-mail megerősítve itt: cs.uni-saarland.de
Robert MattmüllerUniversity of Freiburg, GermanyE-mail megerősítve itt: robert-mattmueller.de
Patrik HaslumAustralian National UniversityE-mail megerősítve itt: anu.edu.au

Követés

Jussi Rintanen

Aalto University

E-mail megerősítve itt: aalto.fi - Kezdőlap

artificial intelligence automated reasoning search automated decision-making model-based software synthesis


Cím Rendezés hivatkozások szerint Rendezés év szerint Rendezés cím szerint	Hivatkozott rá Hivatkozott rá	Év
Constructing conditional plans by a theorem-prover J Rintanen Journal of Artificial Intelligence Research 10, 323-352, 1999	362	1999
Planning as satisfiability: parallel plans and algorithms for plan search J Rintanen, K Heljanko, I Niemelä Artificial Intelligence 170 (12-13), 1031-1080, 2006	318	2006
Complexity of Planning with Partial Observability. J Rintanen ICAPS 4, 345-354, 2004	236	2004
Planning as satisfiability: Heuristics J Rintanen Artificial intelligence 193, 45-86, 2012	223	2012
Improvements to the evaluation of quantified boolean formulae J Rintanen IJCAI 99, 1192-1197, 1999	176	1999
Madagascar: Scalable planning with SAT J Rintanen Proceedings of the 8th International Planning Competition (IPC-2014) 21, 1-5, 2014	125	2014
An iterative algorithm for synthesizing invariants J Rintanen AAAI/IAAI, 806-811, 2000	124	2000
Complexity of Concurrent Temporal Planning. J Rintanen ICAPS 7, 280-287, 2007	104	2007
Diagnosis of discrete-event systems using satisfiability algorithms A Grastien, JR Anbulagan, J Rintanen, E Kelareva AAAI, 305-310, 2007	102	2007
Regression for classical and nondeterministic planning J Rintanen ECAI 2008, 568-572, 2008	99	2008
A planning algorithm not based on directional search J Rintanen KR, 617-625, 1998	97	1998
Constraints and AI planning A Nareyek, EC Freuder, R Fourer, E Giunchiglia, RP Goldman, H Kautz, ... IEEE Intelligent Systems 20 (2), 62-72, 2005	94	2005
Asymptotically optimal encodings of conformant planning in QBF J Rintanen AAAI 2007, 1045-1050, 2007	91	2007
Planning via Petri Net Unfolding. SL Hickmott, J Rintanen, S Thiébaux, LB White IJCAI 7, 1904-1911, 2007	87	2007
Engineering efficient planners with SAT J Rintanen ECAI 2012, 684-689, 2012	84	2012
Optimal Reconfiguration for Supply Restoration With Informed A Search A Botea, J Rintanen, D Banerjee IEEE Transactions on Smart Grid 3 (2), 583-593, 2012	79	2012
Partial implicit unfolding in the Davis-Putnam procedure for quantified Boolean formulae J Rintanen International Conference on Logic for Programming Artificial Intelligence …, 2001	78	2001
Symmetry Reduction for SAT Representations of Transition Systems. J Rintanen ICAPS, 32-41, 2003	77	2003
Diagnosability testing with satisfiability algorithms A Grastien, J Rintanen IJCAI 07, 2007	74	2007
Planning and SAT J Rintanen Handbook of Satisfiability, 483-504, 2009	72	2009

A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.

Cikkek 1–20

Hivatkozások évente

Ismétlődő hivatkozások

Összevont hivatkozások

Társszerzők hozzáadásaTársszerzők

Követés

Hivatkozott rá

Társszerzők