111 citations · 139 across the 5 of their papers we have counts for
5 papers
Planning with Complex Data Types in PDDL
Mojtaba Elahi, Jussi Rintanen
Practically all of the planning research is limited to states represented in terms of Boolean and numeric state variables. Many practical problems, for example, planning inside com…
Propositional Encodings of Acyclicity and Reachability by using Vertex Elimination
Masood Feyzbakhsh Rankooh, Jussi Rintanen
We introduce novel methods for encoding acyclicity and s-t-reachability constraints for propositional formulas with underlying directed graphs. They are based on vertex elimination…
Learning Chordal Markov Networks by Constraint Satisfaction
Jukka Corander, Tomi Janhunen, Jussi Rintanen +2
We investigate the problem of learning the structure of a Markov network from data. It is shown that the structure of such networks can be described in terms of constraints which e…
Constructing Conditional Plans by a Theorem-Prover
J. Rintanen
The research on conditional planning rejects the assumptions that there is no uncertainty or incompleteness of knowledge with respect to the state and changes of the system the pla…
Complexity of Prioritized Default Logics
J. Rintanen
In default reasoning, usually not all possible ways of resolving conflicts between default rules are acceptable. Criteria expressing acceptable ways of resolving the conflicts may…