The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Jussi Rintanen: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Jussi Rintanen
    An Iterative Algorithm for Synthesizing Invariants. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, 2000, pp:806-811 [Conf]
  2. Jussi Rintanen
    Distance Estimates for Planning in the Discrete Belief Space. [Citation Graph (0, 0)][DBLP]
    AAAI, 2004, pp:525-530 [Conf]
  3. Markus Büttner, Jussi Rintanen
    Satisfiability Planning with Constraints on the Number of Actions. [Citation Graph (0, 0)][DBLP]
    ICAPS, 2005, pp:292-299 [Conf]
  4. Jussi Rintanen
    Backward Plan Construction for Planning with Partial Observability. [Citation Graph (0, 0)][DBLP]
    AIPS, 2002, pp:173-183 [Conf]
  5. Jussi Rintanen
    Symmetry Reduction for SAT Representations of Transition Systems. [Citation Graph (0, 0)][DBLP]
    ICAPS, 2003, pp:32-41 [Conf]
  6. Jussi Rintanen
    Expressive Equivalence of Formalisms for Planning with Sensing. [Citation Graph (0, 0)][DBLP]
    ICAPS, 2003, pp:185-194 [Conf]
  7. Jussi Rintanen
    Phase Transitions in Classical Planning: An Experimental Study. [Citation Graph (0, 0)][DBLP]
    ICAPS, 2004, pp:101-110 [Conf]
  8. Jussi Rintanen
    Complexity of Planning with Partial Observability. [Citation Graph (0, 0)][DBLP]
    ICAPS, 2004, pp:345-354 [Conf]
  9. Ilkka Niemelä, Jussi Rintanen
    On the Impact of Stratification on the Complexity of Nonmonotonic Reasoning. [Citation Graph (0, 0)][DBLP]
    ECAI Workshop on Knowledge Representation and Reasoning, 1992, pp:275-295 [Conf]
  10. Jussi Rintanen
    Incorporation of Temporal Logic Control into Plan Operators. [Citation Graph (0, 0)][DBLP]
    ECAI, 2000, pp:526-530 [Conf]
  11. Jussi Rintanen
    Evaluation Strategies for Planning as Satisfiability. [Citation Graph (0, 0)][DBLP]
    ECAI, 2004, pp:682-687 [Conf]
  12. Jussi Rintanen
    Compact Representation of Sets of Binary Constraints. [Citation Graph (0, 0)][DBLP]
    ECAI, 2006, pp:143-147 [Conf]
  13. Jussi Rintanen
    Unified Definition of Heuristics for Classical Planning. [Citation Graph (0, 0)][DBLP]
    ECAI, 2006, pp:600-0 [Conf]
  14. Jussi Rintanen, Hartmut Jungholt
    Numeric State Variables in Constraint-Based Planning. [Citation Graph (0, 0)][DBLP]
    ECP, 1999, pp:109-121 [Conf]
  15. Jussi Rintanen
    Complexity of Probabilistic Planning under Average Rewards. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2001, pp:503-508 [Conf]
  16. Jussi Rintanen
    Conditional Planning in the Discrete Belief Space. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2005, pp:1260-1265 [Conf]
  17. Jussi Rintanen
    On Specificity in Default Logic. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1995, pp:1474-1479 [Conf]
  18. Jussi Rintanen
    Improvements to the Evaluation of Quantified Boolean Formulae. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1999, pp:1192-1197 [Conf]
  19. Sarah L. Hickmott, Jussi Rintanen, Sylvie Thiébaux, Langford B. White
    Planning via Petri Net Unfolding. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2007, pp:1904-1911 [Conf]
  20. Jussi Rintanen, Alban Grastien
    Diagnosability Testing with Satisfiability Algorithms. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2007, pp:532-537 [Conf]
  21. Jussi Rintanen
    Diagnosers and Diagnosability of Succinct Transition Systems. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2007, pp:538-544 [Conf]
  22. Robert Mattmüller, Jussi Rintanen
    Planning for Temporally Extended Goals as Propositional Satisfiability. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2007, pp:1966-0 [Conf]
  23. Jussi Rintanen
    Prioritized Autoepistemic Logic. [Citation Graph (0, 0)][DBLP]
    JELIA, 1994, pp:232-246 [Conf]
  24. Jussi Rintanen, Keijo Heljanko, Ilkka Niemelä
    Parallel Encodings of Classical Planning as Satisfiability. [Citation Graph (0, 0)][DBLP]
    JELIA, 2004, pp:307-319 [Conf]
  25. Ilkka Niemelä, Jussi Rintanen
    On the Impact of Stratification on the Complexity of Nonmonotonic Reasoning. [Citation Graph (0, 0)][DBLP]
    KR, 1992, pp:627-638 [Conf]
  26. Jussi Rintanen
    Phase Transitions in Classical Planning: An Experimental Study. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:710-719 [Conf]
  27. Jussi Rintanen
    A Planning Algorithm not based on Directional Search. [Citation Graph (0, 0)][DBLP]
    KR, 1998, pp:617-625 [Conf]
  28. Jussi Rintanen
    Partial Implicit Unfolding in the Davis-Putnam Procedure for Quantified Boolean Formulae. [Citation Graph (0, 0)][DBLP]
    LPAR, 2001, pp:362-376 [Conf]
  29. Jussi Rintanen
    Lexicographic Priorities in Default Logic. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1998, v:106, n:2, pp:221-265 [Journal]
  30. Jussi Rintanen, Keijo Heljanko, Ilkka Niemelä
    Planning as satisfiability: parallel plans and algorithms for plan search. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2006, v:170, n:12-13, pp:1031-1080 [Journal]
  31. Alexander Nareyek, Eugene C. Freuder, Robert Fourer, Enrico Giunchiglia, Robert P. Goldman, Henry A. Kautz, Jussi Rintanen, Austin Tate
    Constraints and AI Planning. [Citation Graph (0, 0)][DBLP]
    IEEE Intelligent Systems, 2005, v:20, n:2, pp:62-72 [Journal]
  32. Jussi Rintanen
    Complexity of Prioritized Default Logics. [Citation Graph (0, 0)][DBLP]
    J. Artif. Intell. Res. (JAIR), 1998, v:9, n:, pp:423-461 [Journal]
  33. Jussi Rintanen
    Constructing Conditional Plans by a Theorem-Prover. [Citation Graph (0, 0)][DBLP]
    J. Artif. Intell. Res. (JAIR), 1999, v:10, n:, pp:323-352 [Journal]
  34. Ilkka Niemelä, Jussi Rintanen
    On the Impact of Stratification on the Complexity of Nonmonotonic Reasoning. [Citation Graph (0, 0)][DBLP]
    Journal of Applied Non-Classical Logics, 1994, v:4, n:2, pp:- [Journal]
  35. Jussi Rintanen, Jörg Hoffmann
    An Overview of Recent Algorithms for AI Planning. [Citation Graph (0, 0)][DBLP]
    KI, 2001, v:15, n:2, pp:5-11 [Journal]
  36. Jussi Rintanen
    Asymptotically Optimal Encodings of Conformant Planning in QBF. [Citation Graph (0, 0)][DBLP]
    AAAI, 2007, pp:1045-1050 [Conf]
  37. Alban Grastien, Anbulagan, Jussi Rintanen, Elena Kelareva
    Diagnosis of Discrete-Event Systems Using Satisfiability Algorithms. [Citation Graph (0, 0)][DBLP]
    AAAI, 2007, pp:305-310 [Conf]

  38. Complexity of Concurrent Temporal Planning. [Citation Graph (, )][DBLP]


  39. Planning as Satisfiability with Relaxed $-Step Plans. [Citation Graph (, )][DBLP]


  40. Regression for Classical and Nondeterministic Planning. [Citation Graph (, )][DBLP]


  41. A New Approach to Planning in Networks. [Citation Graph (, )][DBLP]


  42. Planning Graphs and Propositional Clause-Learning. [Citation Graph (, )][DBLP]


Search in 0.121secs, Finished in 0.123secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002