561 search results - page 11 / 113 » A Strategy for the Computation of Conditional Answers |
BIRTHDAY
2005
Springer
15 years 5 months ago
2005
Springer
abstract. In this paper we investigate a formalism for solving planning problems based on ordered task decomposition using Answer Set Programming (ASP). Our planning methodology is...
AIIDE
2008
15 years 2 months ago
2008
Behavior authoring for computer games involves writing behaviors in a programming language and then iteratively refining them by detecting issues with them. The main bottlenecks a...
105
click to vote
HPCA
1997
IEEE
15 years 3 months ago
1997
IEEE
This paper introduces a new architectural approach that supports compiler-synthesized dynamic branch predication. In compiler-synthesized dynamic branch prediction, the compiler g...
105
click to vote
IJCAI
2003
15 years 1 months ago
2003
Query answering over commonsense knowledge bases typically employs a first-order logic theorem prover. While first-order inference is intractable in general, provers can often b...
112
click to vote
GROUP
2005
ACM
15 years 5 months ago
2005
ACM
People search for people with suitable expertise all of the time in their social networks – to answer questions or provide help. Recently, efforts have been made to augment this...