1083 search results - page 48 / 217 » Using Contextual Logic Programming for Temporal Reasoning |
137
click to vote
TPLP
2002
15 years 1 months ago
2002
At present, the search for specific information on the World Wide Web is faced with several problems, which arise on the one hand from the vast number of information sources avail...
108
click to vote
ICLP
2010
Springer
15 years 5 months ago
2010
Springer
This paper presents a compiler from expressive, relational specifications to logic programs. Specifically, the compiler translates the Imperative Alloy specification language to...
110
click to vote
LPNMR
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We present a logic programming based conditional planner that is capable of generating both conditional and sequential conformant plans in the presence of sensing actions...
LPNMR
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We present a declarative language, PP, for the specification of preferences between possible solutions (or trajectories) of a planning problem. This novel language allow...
131
click to vote
ILP
2007
Springer
15 years 8 months ago
2007
Springer
Stochastically searching the space of candidate clauses is an appealing way to scale up ILP to large datasets. We address an approach that uses a Bayesian network model to adaptive...