808 search results - page 76 / 162 » What Is Answer Set Programming |
119
click to vote
ASP
2001
Springer
15 years 6 months ago
2001
Springer
Being able to declaratively specify control within a planning (or theorem-proving) paradigm is necessary if we are to build intelligent machines. This paper introduces an implemen...
179
Voted
KI
2011
Springer
14 years 9 months ago
2011
Springer
Abstract We present the General Game Playing system Centurio. Centurio is a Java-based player featuring different strategies based on Monte Carlo Tree Search extended by technique...
131
Voted
ISCIS
2009
Springer
15 years 8 months ago
2009
Springer
—We describe XLambda, a functional language with XML syntax, and its processor which is implemented fully and completely in XSLT. XLambda has all the basic features of a function...
106
Voted
DEXA
1994
Springer
15 years 6 months ago
1994
Springer
We describe a functional database language OR-SML for handling disjunctive information in database queries, and its implementation on top of Standard ML 12]. The core language has ...
132
click to vote
STOC
2006
ACM
15 years 8 months ago
2006
ACM
We investigate the question of whether security of protocols in the information-theoretic setting (where the adversary is computationally unbounded) implies the security of these ...