4617 search results - page 589 / 924 » Automation of Diagrammatic Reasoning |
182
click to vote
ICCBR
2010
Springer
15 years 11 months ago
2010
Springer
In previous papers we have presented our autonomous poker playing agent (SARTRE) that uses a memory-based approach to create a betting strategy for two-player, limit Texas Hold’e...
188
click to vote
ICLP
2010
Springer
15 years 11 months ago
2010
Springer
hex programs were originally introduced as a general framework for extending declarative logic programming, under the stable model semantics, with the possibility of bidirectional...
220
click to vote
ICLP
2010
Springer
15 years 11 months ago
2010
Springer
[6]. An SBML model can be interpreted in Biocham at three abstraction levels: • the Boolean semantics (asynchronuous Boolean state transitions on the presence/absence of molecule...
209
click to vote
ICLP
2010
Springer
15 years 11 months ago
2010
Springer
Answer-set programming (ASP) is a well-known formalism for declarative problem solving, enjoying a continuously increasing number of diverse applications. However, arguably one of ...
206
click to vote
ICLP
2010
Springer
15 years 11 months ago
2010
Springer
ABSTRACT. Action-probabilistic logic programs (ap-programs) are a class of probabilistic logic programs that have been extensively used during the last few years for modeling behav...