4737 search results - page 198 / 948 » The LOGIC negotiation model |
158
Voted
KSEM
2010
Springer
15 years 1 months ago
2010
Springer
Web 2.0 is much more than adding a nice facade to old web applications rather it is a new way of thinking about software architecture of Rich Internet Applications (RIA). In compar...
136
Voted
LPNMR
2007
Springer
15 years 9 months ago
2007
Springer
Recently, the stable model semantics was extended to the syntax of arbitrary propositional formulas, which are beyond the traditional rule form. Cabalar and Ferraris, as well as Ca...
146
click to vote
IGPL
2011
14 years 6 months ago
2011
We extend the lattice embedding of the axiomatic extensions of the positive fragment of intuitionistic logic into the axiomatic extensions of intuitionistic logic to the setting of...
125
Voted
SAT
2005
Springer
15 years 9 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...
140
click to vote
SGAI
2009
Springer
15 years 10 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...