4595 search results - page 326 / 919 » Reasoning about Plans |
213
Voted
EWCBR
2008
Springer
15 years 9 months ago
2008
Springer
The domain of cookery has been of interest for Case-Based Reasoning (CBR) research for many years since the CHEF case-based planning system in the mid 1980s. This paper returns to ...
207
click to vote
C3S2E
2010
ACM
15 years 8 months ago
2010
ACM
Propositional satisfiability solving, or SAT, is an important reasoning task arising in numerous applications, such as circuit design, formal verification, planning, scheduling or...
234
Voted
CSL
2010
Springer
15 years 7 months ago
2010
Springer
We describe an evaluation of spoken dialogue strategies designed using hierarchical reinforcement learning agents. The dialogue strategies were learnt in a simulated environment a...
302
Voted
GIS
2009
ACM
16 years 8 months ago
2009
ACM
Space- and time-referenced data published on the Web by general people can be viewed in a dual way: as independent spatiotemporal events and as trajectories of people in the geogr...
173
Voted
ICSE
2007
IEEE-ACM
2007
IEEE-ACM
Design and Evaluation of a Diagrammatic Notation to Aid in the Understanding of Concurrency Concepts
16 years 7 months ago
It is generally accepted that concurrency can be difficult for students to reason about and to manage. While some studies provide insight into the nature of these difficulties[6],...