7335 search results - page 192 / 1467 » Scene Based Reasoning |
128
click to vote
KR
1991
Springer
15 years 7 months ago
1991
Springer
This paper describes a reasoning system based on a temporal logic that can solve planning problems along the lines of traditional planning systems. Because it is cast as inference...
130
click to vote
LPAR
2010
Springer
15 years 1 months ago
2010
Springer
Ford has introduced a non-monotonic logic, System LS, inspired by an empirical study of human non-monotonic reasoning. We define here a defeasible logic FDL based on Ford’s logi...
108
Voted
CSCWD
2008
Springer
15 years 5 months ago
2008
Springer
Task partition is a critical problem of collaborative conceptual design. Aiming at the shortage that current task partition methods don't accord to innovative functional reas...
148
click to vote
CSFW
2005
IEEE
15 years 9 months ago
2005
IEEE
Authentication and secrecy properties are proved by very different methods: the former by local reasoning, leading to matching knowledge of all principals about the order of their...
132
click to vote
ICALT
2005
IEEE
15 years 9 months ago
2005
IEEE
Visual reasoning is an essential skill for many disciplines in engineering and architecture. We describe an intelligent tutoring system for visual reasoning that uses the missing ...