Searching for authors named "Jussi Rintanen" – sorted by Relevance.
39 documents found, showing 1 through 10.
Next 10 →
-
◮ 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
Showing 1 through 10.
Next 10 →
