4978 search results - page 216 / 996 » Logical models of argument |
132
click to vote
SAT
2005
Springer
15 years 10 months ago
2005
Springer
We introduce ApproxCount, an algorithm that approximates the number of satisfying assignments or models of a formula in propositional logic. Many AI tasks, such as calculating degr...
146
click to vote
SGAI
2009
Springer
15 years 11 months ago
2009
Springer
Planning resources for a supply chain is a major factor determining its success or failure. In this paper we build on previous work introducing an Interval Type-2 Fuzzy Logic mode...
169
click to vote
LOPSTR
2007
Springer
15 years 10 months ago
2007
Springer
CooML is an object-oriented modeling language where specifications are theories in a constructive logic designed to handle incomplete information. In this logic we view snapshots ...
125
click to vote
ACIIDS
2010
IEEE
15 years 9 months ago
2010
IEEE
This article investigates the role of common-knowledge in the principal-agent model under asymmetric information. We treat the problem: How the common-knowledge condition will be a...
123
click to vote
AGP
1993
IEEE
15 years 8 months ago
1993
IEEE
In this paper, we present an account of classical Logic Programming fixed-point semantics in terms of two standard categorical constructions in which the least Herbrand model is ...