The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Jussi Rintanen" ( http://dblp.L3S.de/Authors/Jussi_Rintanen )

URL (Homepage):  http://users.cecs.anu.edu.au/~jussi/  Author page on DBLP  Author page in RDF  Community of Jussi Rintanen in ASPL-2

Publication years (Num. hits)
1992-2001 (16) 2002-2006 (15) 2007-2010 (15) 2011-2014 (17) 2015-2018 (7)
Publication types (Num. hits)
article(13) incollection(1) inproceedings(55) proceedings(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 4 occurrences of 4 keywords

Results
Found 71 publication records. Showing 70 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Binda Pandey, Jussi Rintanen Planning for Partial Observability by SAT and Graph Constraints. Search on Bibsonomy ICAPS The full citation details ... 2018 DBLP  BibTeX  RDF
1Tomi Janhunen, Martin Gebser, Jussi Rintanen, Henrik J. Nyman, Johan Pensar, Jukka Corander Learning discrete decomposable graphical models via constraint optimization. Search on Bibsonomy Statistics and Computing The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jussi Rintanen Schematic Invariants by Reduction to Ground Invariants. Search on Bibsonomy AAAI The full citation details ... 2017 DBLP  BibTeX  RDF
1Jussi Rintanen Temporal Planning with Clock-Based SMT Encodings. Search on Bibsonomy IJCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jussi Rintanen Impact of Modeling Languages on the Theory and Practice in Planning Research. Search on Bibsonomy AAAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Jussi Rintanen Discretization of Temporal Models with Application to Planning with SMT. Search on Bibsonomy AAAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Jussi Rintanen Models of Action Concurrency in Temporal Planning. Search on Bibsonomy IJCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Martin Gebser, Tomi Janhunen, Jussi Rintanen Answer Set Programming as SAT modulo Acyclicity. Search on Bibsonomy ECAI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Tomi Janhunen, Jussi Rintanen SAT Modulo Graphs: Acyclicity. Search on Bibsonomy JELIA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Jussi Rintanen Constraint-Based Algorithm for Computing Temporal Invariants. Search on Bibsonomy JELIA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Tomi Janhunen, Jussi Rintanen ASP Encodings of Acyclicity Properties. Search on Bibsonomy KR The full citation details ... 2014 DBLP  BibTeX  RDF
1Jukka Corander, Tomi Janhunen, Jussi Rintanen, Henrik J. Nyman, Johan Pensar Learning Chordal Markov Networks by Constraint Satisfaction. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Jukka Corander, Tomi Janhunen, Jussi Rintanen, Henrik J. Nyman, Johan Pensar Learning Chordal Markov Networks by Constraint Satisfaction. Search on Bibsonomy NIPS The full citation details ... 2013 DBLP  BibTeX  RDF
1Jussi Rintanen Scheduling with Contingent Resources and Tasks. Search on Bibsonomy ICAPS The full citation details ... 2013 DBLP  BibTeX  RDF
1Jussi Rintanen, Charles Orgill Gretton Computing Upper Bounds on Lengths of Transition Sequences. Search on Bibsonomy IJCAI The full citation details ... 2013 DBLP  BibTeX  RDF
1Adi Botea, Jussi Rintanen, Debdeep Banerjee Optimal Reconfiguration for Supply Restoration With Informed A* Search. Search on Bibsonomy IEEE Trans. Smart Grid The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Jussi Rintanen Planning as satisfiability: Heuristics. Search on Bibsonomy Artif. Intell. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Jussi Rintanen Engineering Efficient Planners with SAT. Search on Bibsonomy ECAI The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Jussi Rintanen Complexity of Conditional Planning under Partial Observability and Infinite Executions. Search on Bibsonomy ECAI The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Jussi Rintanen Constructing Conditional Plans by a Theorem-Prover Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Jussi Rintanen Complexity of Prioritized Default Logics Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Jussi Rintanen Planning with Specialized SAT Solvers. Search on Bibsonomy AAAI The full citation details ... 2011 DBLP  BibTeX  RDF
1Jussi Rintanen Heuristics for Planning with SAT and Expressive Action Definitions. Search on Bibsonomy ICAPS The full citation details ... 2011 DBLP  BibTeX  RDF
1Jussi Rintanen Planning with SAT, Admissible Heuristics and A*. Search on Bibsonomy IJCAI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jussi Rintanen Heuristics for Planning with SAT. Search on Bibsonomy CP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jussi Rintanen Heuristic Planning with SAT: Beyond Uninformed Depth-First Search. Search on Bibsonomy Australasian Conference on Artificial Intelligence The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jussi Rintanen Planning and SAT. Search on Bibsonomy Handbook of Satisfiability The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Jussi Rintanen Regression for Classical and Nondeterministic Planning. Search on Bibsonomy ECAI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Jussi Rintanen A New Approach to Planning in Networks. Search on Bibsonomy ECAI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Jussi Rintanen Planning Graphs and Propositional Clause-Learning. Search on Bibsonomy KR The full citation details ... 2008 DBLP  BibTeX  RDF
1Jussi Rintanen, Bernhard Nebel, J. Christopher Beck, Eric A. Hansen (eds.) Proceedings of the Eighteenth International Conference on Automated Planning and Scheduling, ICAPS 2008, Sydney, Australia, September 14-18, 2008 Search on Bibsonomy ICAPS The full citation details ... 2008 DBLP  BibTeX  RDF
1Alban Grastien, Anbulagan, Jussi Rintanen, Elena Kelareva Diagnosis of Discrete-Event Systems Using Satisfiability Algorithms. Search on Bibsonomy AAAI The full citation details ... 2007 DBLP  BibTeX  RDF
1Jussi Rintanen Asymptotically Optimal Encodings of Conformant Planning in QBF. Search on Bibsonomy AAAI The full citation details ... 2007 DBLP  BibTeX  RDF
1Jussi Rintanen Complexity of Concurrent Temporal Planning. Search on Bibsonomy ICAPS The full citation details ... 2007 DBLP  BibTeX  RDF
1Sarah L. Hickmott, Jussi Rintanen, Sylvie Thiébaux, Langford B. White Planning via Petri Net Unfolding. Search on Bibsonomy IJCAI The full citation details ... 2007 DBLP  BibTeX  RDF
1Jussi Rintanen, Alban Grastien Diagnosability Testing with Satisfiability Algorithms. Search on Bibsonomy IJCAI The full citation details ... 2007 DBLP  BibTeX  RDF
1Robert Mattmüller, Jussi Rintanen Planning for Temporally Extended Goals as Propositional Satisfiability. Search on Bibsonomy IJCAI The full citation details ... 2007 DBLP  BibTeX  RDF
1Jussi Rintanen Diagnosers and Diagnosability of Succinct Transition Systems. Search on Bibsonomy IJCAI The full citation details ... 2007 DBLP  BibTeX  RDF
1Martin Wehrle, Jussi Rintanen Planning as Satisfiability with Relaxed $-Step Plans. Search on Bibsonomy Australian Conference on Artificial Intelligence The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Jussi Rintanen, Keijo Heljanko, Ilkka Niemelä Planning as satisfiability: parallel plans and algorithms for plan search. Search on Bibsonomy Artif. Intell. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Jussi Rintanen Compact Representation of Sets of Binary Constraints. Search on Bibsonomy ECAI The full citation details ... 2006 DBLP  BibTeX  RDF
1Jussi Rintanen Unified Definition of Heuristics for Classical Planning. Search on Bibsonomy ECAI The full citation details ... 2006 DBLP  BibTeX  RDF
1Alexander Nareyek, Eugene C. Freuder, Robert Fourer, Enrico Giunchiglia, Robert P. Goldman, Henry A. Kautz, Jussi Rintanen, Austin Tate Constraints and AI Planning. Search on Bibsonomy IEEE Intelligent Systems The full citation details ... 2005 DBLP  DOI  BibTeX  RDF planning, integer programming, constraint programming, propositional satisfiability
1Markus Büttner, Jussi Rintanen Satisfiability Planning with Constraints on the Number of Actions. Search on Bibsonomy ICAPS The full citation details ... 2005 DBLP  BibTeX  RDF
1Jussi Rintanen Conditional Planning in the Discrete Belief Space. Search on Bibsonomy IJCAI The full citation details ... 2005 DBLP  BibTeX  RDF
1Jussi Rintanen Distance Estimates for Planning in the Discrete Belief Space. Search on Bibsonomy AAAI The full citation details ... 2004 DBLP  BibTeX  RDF
1Jussi Rintanen Evaluation Strategies for Planning as Satisfiability. Search on Bibsonomy ECAI The full citation details ... 2004 DBLP  BibTeX  RDF
1Jussi Rintanen, Keijo Heljanko, Ilkka Niemelä Parallel Encodings of Classical Planning as Satisfiability. Search on Bibsonomy JELIA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Jussi Rintanen Phase Transitions in Classical Planning: An Experimental Study. Search on Bibsonomy KR The full citation details ... 2004 DBLP  BibTeX  RDF
1Jussi Rintanen Complexity of Planning with Partial Observability. Search on Bibsonomy ICAPS The full citation details ... 2004 DBLP  BibTeX  RDF
1Jussi Rintanen Phase Transitions in Classical Planning: An Experimental Study. Search on Bibsonomy ICAPS The full citation details ... 2004 DBLP  BibTeX  RDF
1Jussi Rintanen Expressive Equivalence of Formalisms for Planning with Sensing. Search on Bibsonomy ICAPS The full citation details ... 2003 DBLP  BibTeX  RDF
1Jussi Rintanen Symmetry Reduction for SAT Representations of Transition Systems. Search on Bibsonomy ICAPS The full citation details ... 2003 DBLP  BibTeX  RDF
1Jussi Rintanen Backward Plan Construction for Planning with Partial Observability. Search on Bibsonomy AIPS The full citation details ... 2002 DBLP  BibTeX  RDF
1Jussi Rintanen, Jörg Hoffmann 0001 An Overview of Recent Algorithms for AI Planning. Search on Bibsonomy KI The full citation details ... 2001 DBLP  BibTeX  RDF
1Jussi Rintanen Partial Implicit Unfolding in the Davis-Putnam Procedure for Quantified Boolean Formulae. Search on Bibsonomy LPAR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Jussi Rintanen Complexity of Probabilistic Planning under Average Rewards. Search on Bibsonomy IJCAI The full citation details ... 2001 DBLP  BibTeX  RDF
1Jussi Rintanen An Iterative Algorithm for Synthesizing Invariants. Search on Bibsonomy AAAI/IAAI The full citation details ... 2000 DBLP  BibTeX  RDF
1Jussi Rintanen Incorporation of Temporal Logic Control into Plan Operators. Search on Bibsonomy ECAI The full citation details ... 2000 DBLP  BibTeX  RDF
1Jussi Rintanen Constructing Conditional Plans by a Theorem-Prover. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Jussi Rintanen Improvements to the Evaluation of Quantified Boolean Formulae. Search on Bibsonomy IJCAI The full citation details ... 1999 DBLP  BibTeX  RDF
1Jussi Rintanen, Hartmut Jungholt Numeric State Variables in Constraint-Based Planning. Search on Bibsonomy ECP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Jussi Rintanen Lexicographic Priorities in Default Logic. Search on Bibsonomy Artif. Intell. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Jussi Rintanen Complexity of Prioritized Default Logics. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Jussi Rintanen A Planning Algorithm not based on Directional Search. Search on Bibsonomy KR The full citation details ... 1998 DBLP  BibTeX  RDF
1Jussi Rintanen On Specificity in Default Logic. Search on Bibsonomy IJCAI The full citation details ... 1995 DBLP  BibTeX  RDF
1Ilkka Niemelä, Jussi Rintanen On the Impact of Stratification on the Complexity of Nonmonotonic Reasoning. Search on Bibsonomy Journal of Applied Non-Classical Logics The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Jussi Rintanen Prioritized Autoepistemic Logic. Search on Bibsonomy JELIA The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Ilkka Niemelä, Jussi Rintanen On the Impact of Stratification on the Complexity of Nonmonotonic Reasoning. Search on Bibsonomy ECAI Workshop on Knowledge Representation and Reasoning The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Ilkka Niemelä, Jussi Rintanen On the Impact of Stratification on the Complexity of Nonmonotonic Reasoning. Search on Bibsonomy KR The full citation details ... 1992 DBLP  BibTeX  RDF
Displaying result #1 - #70 of 70 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license