381 search results - page 35 / 77 » Two-Variable Logic with Two Order Relations - (Extended Abst... |
PODS
1989
ACM
15 years 5 months ago
1989
ACM
The alternating xpoint of a logic program with negation is de ned constructively. The underlying idea is monotonically to build up a set of negative conclusions until the least xp...
113
click to vote
IOR
2007
15 years 1 months ago
2007
We combine mixed integer linear programming (MILP) and constraint programming (CP) to solve an important class of planning and scheduling problems. Tasks are allocated to faciliti...
126
click to vote
FUIN
2010
14 years 12 months ago
2010
Abstract. Logic Programs with Annotated Disjunctions (LPADs) allow to express probabilistic information in logic programming. The semantics of an LPAD is given in terms of the well...
138
click to vote
ISVC
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. This paper describes a new method for matching line segments between two images in order to compute the relative camera pose. This approach improves the camera pose for i...
117
click to vote
CORR
2002
Springer
15 years 1 months ago
2002
Springer
Abstract. We implement Groenendijk and Stokhof's partition semantics of questions in a simple question answering algorithm. The algorithm is sound, complete, and based on tabl...