834 search results - page 20 / 167 » Computing Minimal Models, Stable Models, and Answer Sets |
IAT
2007
IEEE
15 years 6 months ago
2007
IEEE
The agents in multiagent systems can coordinate their actions and handle tasks jointly by forming coalitions. One of the important steps in this process is the fair division of pa...
125
click to vote
LPNMR
2001
Springer
15 years 4 months ago
2001
Springer
In this paper, we continue to explore many-valued disjunctive logic programs with probabilistic semantics. In particular, we newly introduce the least model state semantics for suc...
CVPR
2008
IEEE
16 years 1 months ago
2008
IEEE
A generic imaging model refers to a non-parametric camera model where every camera is treated as a set of unconstrained projection rays. Calibration would simply be a method to ma...
100
click to vote
ACCV
2006
Springer
15 years 5 months ago
2006
Springer
Performing segmentation of narrow, elongated structures with low contrast boundaries is a challenging problem. Boundaries of these structures are difficult to be located when noise...
100
click to vote
IJCAI
1989
15 years 27 days ago
1989
The foundations of a class of logic programming systems with the expressive power of full first-order logic and a non-monotonic component is addressed. The underlying refutation m...