3238 search results - page 121 / 648 » On the Computational Interpretation of Negation |
158
click to vote
WOLLIC
2009
Springer
16 years 1 months ago
2009
Springer
Team logic is a new logic, introduced by Väänänen [11], extending dependence logic by classical negation. Dependence logic adds to first-order logic atomic formulas expressing...
149
click to vote
LPNMR
2009
Springer
16 years 29 days ago
2009
Springer
We consider random logic programs with two-literal rules and study their properties. In particular, we obtain results on the probability that random “sparse” and “dense” pr...
170
click to vote
LFCS
2007
Springer
16 years 17 days ago
2007
Springer
Various logical formalisms with the freeze quantifier have been recently considered to model computer systems even though this is a powerful mechanism that often leads to undecida...
179
click to vote
ICMCS
2005
IEEE
16 years 1 days ago
2005
IEEE
Abstract— We present an efficient algorithm for power allocation and bit loading in multi-user OFDM system. We starts with the close-form optimum power solution based on ideal c...
152
click to vote
ARGMAS
2004
Springer
15 years 12 months ago
2004
Springer
The notion of agent’s goals is crucial in negotiation dialogues. In fact, during a negotiation, each agent tries to make and to accept the offers which satisfy its own goals. Wor...