Sciweavers

4595 search results - page 90 / 919
» Reasoning about Plans
Sort
View
JANCL
2000
47views more  JANCL 2000»
15 years 6 months ago
A multimodal logic for reasoning about complementarity
Ivo Düntsch, Beata Konikowska
CI
1998
53views more  CI 1998»
15 years 5 months ago
Utilizing Moment Invariants and Grobner Bases to Reason about Shapes
Haim Schweitzer, Janell Straach