Searching for authors named "Jussi Rintanen" – sorted by Relevance.
-
◮ SAT Solvers
- SAT: Algorithms and Applications Anbulagan and Jussi Rintanen NICTA Ltd and the Australian
- Add To MetaCart
-
Product Representation of Belief Spaces in Planning under Partial Observability
- Product Representation of Belief Spaces in Planning under Partial Observability Jussi Rintanen
- Cited by 1 (0 self) – Add To MetaCart
-
Complexity of Probabilistic Planning under Average Rewards
- Complexity of Probabilistic Planning under Average Rewards Jussi Rintanen Albert
- Cited by 1 (0 self) – Add To MetaCart
-
Prioritized Autoepistemic Logic
- Prioritized Autoepistemic Logic Jussi Rintanen ? Helsinki University of Technology Department
- Cited by 3 (2 self) – Add To MetaCart
-
Complexity of Prioritized Default Logics
- /98 Complexity of Prioritized Default Logics Jussi Rintanen rintanen@(email omitted); Universitat Ulm
- Cited by 3 (0 self) – Add To MetaCart
-
Lexicographic ordering as a basis of priorities in default reasoning
- ORDERING AS A BASIS OF PRIORITIES IN DEFAULT REASONING Jussi Rintanen Digital Systems Laboratory
- Cited by 1 (0 self) – Add To MetaCart
-
Symmetry Reduction for SAT Representations of Transition Systems
- for Artificial Intelligence (www.aaai.org). All rights reserved. Jussi Rintanen Albert
- Cited by 10 (0 self) – Add To MetaCart
-
Backward Plan Construction under Partial Observability
- .aaai.org). All rights reserved. Jussi Rintanen Albert-Ludwigs-Universität Freiburg, Institut für Informatik
- Cited by 2 (2 self) – Add To MetaCart
-
Diagnosers and diagnosability of succinct transition systems
- Diagnosers and Diagnosability of Succinct Transition Systems Jussi Rintanen National ICT Australia
- Cited by 2 (1 self) – Add To MetaCart
-
Lexicographic Priorities in Default Logic
- Lexicographic priorities in default logic Jussi Rintanen 1 Universitat Ulm, Fakultat fur
- Cited by 14 (1 self) – Add To MetaCart

