3572 search results - page 456 / 715 » Nominal Logic Programming |
168
click to vote
JAR
2008
15 years 4 months ago
2008
This article presents detailed implementations of quantifier elimination for both integer and real linear arithmetic for theorem provers. The underlying algorithms are those by Coo...
116
click to vote
CORR
2002
Springer
15 years 4 months ago
2002
Springer
We study xpoints of operators on lattices. To this end we introduce the notion of an approximation of an operator. We order approximations by means of a precision ordering. We sho...
126
click to vote
EUSFLAT
2009
15 years 2 months ago
2009
This paper considers a portfolio selection problem with type-2 fuzzy future returns involving ambiguous and subjectivity. Since this proposed problem is not well-defined due to fuz...
156
Voted
FUIN
2010
15 years 2 months ago
2010
This paper explores the use of Constraint Logic Programming (CLP) as a platform for experimenting with planning problems in the presence of multiple interacting agents. The paper ...
148
Voted
ICMLA
2010
15 years 2 months ago
2010
Abstract--In the Relational Reinforcement learning framework, we propose an algorithm that learns an action model allowing to predict the resulting state of each action in any give...