152 search results - page 16 / 31 » Motivations as an Abstraction of Meta-level Reasoning |
157
click to vote
SWAP
2008
15 years 7 months ago
2008
Abstract. The limitations of deductive logic-based approaches at deriving operational knowledge from ontologies may be overcome by inductive (instancebased) methods, which are usua...
206
click to vote
HASKELL
2009
ACM
16 years 17 days ago
2009
ACM
We address the problem of reasoning about Haskell programs that use Software Transactional Memory (STM). As a motivating example, we consider Haskell code for a concurrent non-det...
163
click to vote
TPHOL
2003
IEEE
15 years 11 months ago
2003
IEEE
Abstract. It is well known that mathematical proofs often contain (abstract) algorithms, but although these algorithms can be understood by a human, it still takes a lot of time an...
197
click to vote
KI
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. This paper presents a novel method for developing and evaluating intelligent robot behavior for joint human-robot activities. We extended a physical simulation of an auto...
184
click to vote
CI
2011
15 years 1 months ago
2011
This paper is focused on how a general-purpose hierarchical planning representation, based on the HTN paradigm, can be used to support the representation of oncology treatment pro...