874 search results - page 55 / 175 » Computing Weighted Solutions in Answer Set Programming |
103
Voted
ISF
2008
15 years 8 days ago
2008
In this study, a mathematical model is suggested concerning the location of VHF/UHF frequency radio jammer systems to the terrain parts to conduct single frequency or sequential fr...
99
Voted
VLDB
2004
ACM
15 years 6 months ago
2004
ACM
We consider the problem of data sharing between autonomous data sources in an environment where constraints cannot be placed on the shared contents of sources. Our solutions rely ...
79
Voted
CORR
2010
Springer
15 years 25 days ago
2010
Springer
Open Answer Set Programming (OASP) is an attractive framework for integrating ontologies and rules. In general OASP is undecidable. In previous work we provided a tableau-based alg...
108
click to vote
ICCSA
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We consider geometric shortest path queries between arbitrary pairs of objects on a connected polyhedral surface P of genus g. The query objects are points, vertices, edg...
67
Voted
ECAI
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Concepts in Answer Set Programming (ASP) are normally defined in terms of atoms. We show that the treatment of atoms and bodies (of rules) as equitable computational obje...