839 search results - page 61 / 168 » Answer Set Programming with Resources |
EPIA
2005
Springer
14 years 1 months ago
2005
Springer
The paper studies reductions of propositional theories in equilibrium logic to logic programs under answer set semantics. Specifically we are concerned with the question of how to...
DLOG
2008
13 years 10 months ago
2008
Answering queries posed over knowledge bases is a central problem in knowledge representation and database theory. In databases, query containment is one of the important query op...
GLOBECOM
2006
IEEE
14 years 1 months ago
2006
IEEE
— In this paper, we propose a Stackelberg game theoretic framework for distributive resource allocation over multiuser cooperative communication networks to improve the system pe...
CISS
2008
IEEE
14 years 2 months ago
2008
IEEE
Recent advancement in peer-to-peer (P2P) technologies has enabled a wide range of new applications. In this paper, we present mixed integer programming (MIP) formulations to analy...
IJCAI
2003
13 years 9 months ago
2003
Information integration systems provide a uniform query interface to a set of sources. One of the key challenges for an information integration system is to provide maximally comp...