2062 search results - page 248 / 413 » Derivatives of Logical Formulas |
143
click to vote
CSL
1995
Springer
15 years 10 months ago
1995
Springer
In this paper we propose to extend the current capabilities of automated reasoning systems by making use of techniques from integer programming. We describe the architecture of an ...
147
click to vote
AAAI
2008
15 years 8 months ago
2008
We propose a new local search platform that splits a CNF formula into three sub-components: i) a minimal dependency lattice (representing the core connections between logic gates)...
170
click to vote
ARGMAS
2008
Springer
15 years 8 months ago
2008
Springer
Verification that agent communication protocols have desirable properties or do not have undesirable properties is an important issue in agent systems where agents intend to commu...
146
click to vote
AAAI
2010
15 years 8 months ago
2010
We consider problems where several individuals each need to make a yes/no choice regarding a number of issues and these choices then need to be aggregated into a collective choice...
172
click to vote
IJCAI
2001
15 years 8 months ago
2001
We present a dynamic programming approach for the solution of first-order Markov decisions processes. This technique uses an MDP whose dynamics is represented in a variant of the ...