966 search results - page 74 / 194 » Communicating Answer Set Programs |
128
Voted
COCO
2009
Springer
15 years 9 months ago
2009
Springer
—The Gap-Hamming-Distance problem arose in the context of proving space lower bounds for a number of key problems in the data stream model. In this problem, Alice and Bob have to...
110
click to vote
HICSS
2002
IEEE
15 years 7 months ago
2002
IEEE
The central question of this paper is: How can design of Program Management contribute to the success of complex software implementations? Incomplete goal specifications, lack of ...
168
Voted
FROCOS
2009
Springer
15 years 9 months ago
2009
Springer
The developments in information technology during the last decade have been rapidly changing the possibilities for data and knowledge access. To respect this, several declarative k...
123
click to vote
JELIA
2010
Springer
15 years 28 days ago
2010
Springer
The Multi-Context System Inconsistency Explainer allows for evaluation of semantics and explanation of inconsistencies in systems where heterogeneous knowledge bases are linked via...
115
Voted
AAAI
2004
15 years 3 months ago
2004
Clark's completion is a simple nonmonotonic formalism and a special case of several nonmonotonic logics. Recently there has been work on extending completion with "loop ...