Travelled to:1 × Australia
1 × Austria
1 × Canada
1 × Italy
Collaborated with:∅ I.Niemelä M.Gebser T.Janhunen
Talks about:plan (3) nonmonoton (1) experiment (1) algorithm (1) proposit (1) properti (1) transit (1) stratif (1) complex (1) classic (1)
Person: Jussi Rintanen
DBLP: Rintanen:Jussi
Contributed to:
20142008200419981992Wrote 5 papers:
- KR-2014-GebserJR #encoding
- ASP Encodings of Acyclicity Properties (MG, TJ, JR).
- KR-2008-Rintanen #graph
- Planning Graphs and Propositional Clause-Learning (JR), pp. 535–543.
- KR-2004-Rintanen #case study
- Phase Transitions in Classical Planning: An Experimental Study (JR), pp. 710–719.
- KR-1998-Rintanen #algorithm
- A Planning Algorithm not based on Directional Search (JR), pp. 617–625.
- KR-1992-NiemelaR #complexity #on the #reasoning
- On the Impact of Stratification on the Complexity of Nonmonotonic Reasoning (IN, JR), pp. 627–638.