111 citations · 139 across the 5 of their papers we have counts for
Showing 2011Show all
2 papers · 1 filter
cs.AI2011★ 111 cited
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…
cs.AI2011★ 10 cited
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…