834 search results - page 76 / 167 » Computing Minimal Models, Stable Models, and Answer Sets |
124
click to vote
COMMA
2010
14 years 6 months ago
2010
Abstract. Constrained argumentation frameworks (CAF) generalize Dung's frameworks by allowing additional constraints on arguments to be taken into account in the definition of...
LOGCOM
2000
14 years 11 months ago
2000
We introduce the concept of reflection principle as a knowledge representation paradigm in a computational logic setting. Reflection principles are expressed as certain kinds of l...
HICSS
2002
IEEE
15 years 4 months ago
2002
IEEE
We propose a web-based computer-assisted tool for diagnosing progress in international negotiation. The system is based on a general linear model. Innovative features of the progr...
103
click to vote
CCGRID
2008
IEEE
15 years 6 months ago
2008
IEEE
—The research area of Multimedia Content Analysis (MMCA) considers all aspects of the automated extraction of new knowledge from large multimedia data streams and archives. In re...
ICMCS
2009
IEEE
14 years 9 months ago
2009
IEEE
Minimizing the number of computations a low-power device makes is important to achieve long battery life. In this paper we present a framework for a low-power device to minimize t...