1083 search results - page 109 / 217 » Using Contextual Logic Programming for Temporal Reasoning |
151
Voted
ILP
2004
Springer
15 years 8 months ago
2004
Springer
For the last ten years a lot of work has been devoted to propositionalization techniques in relational learning. These techniques change the representation of relational problems t...
131
Voted
LPNMR
2005
Springer
15 years 8 months ago
2005
Springer
Equilibrium logic, introduced by David Pearce, extends the concept of an answer set from logic programs to arbitrary sets of formulas. Logic programs correspond to the special case...
146
Voted
IFM
2009
Springer
15 years 11 days ago
2009
Springer
Abstract. The complete specification of full contracts -- contracts which include tolerated exceptions, and which enable reasoning about the contracts themselves, can be achieved u...
216
click to vote
AFPAC
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. Most of the processing in vision today uses spatially invariant operations. This gives efficient and compact computing structures, with the conventional convenient separa...
134
click to vote
DALT
2009
Springer
15 years 6 months ago
2009
Springer
The specification and monitoring of conditional obligations and prohibitions with starting points and deadlines is a crucial aspect in the design of open interaction systems. In th...