1151 search results - page 75 / 231 » Collaborative Programming: Applications of Logic and Automat... |
124
Voted
ILP
2005
Springer
15 years 9 months ago
2005
Springer
In this paper, we focus on the problem of learning reactive skills for use by physical agents. We propose a new representation for such procedures, teleoreactive logic programs, al...
143
Voted
RR
2010
Springer
15 years 1 months ago
2010
Springer
Translations to (first-order) datalog have been used in a number of inferencing techniques for description logics (DLs), yet the relationship between the semantic expressivities o...
124
Voted
JUCS
2007
15 years 3 months ago
2007
: Most automated reasoning tasks with practical applications can be automatically reformulated into a constraint solving task. A constraint programming platform can thus act as a u...
126
Voted
LPNMR
2004
Springer
15 years 8 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...
119
click to vote
LPNMR
2004
Springer
15 years 8 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...