892 search results - page 67 / 179 » Strategies in sentential reasoning |
130
click to vote
IADIS
2004
15 years 5 months ago
2004
We analyze why and how erroneous examples can be beneficially employed in learning mathematics. The `Why' addresses reasoning and attitudes that are rarely fostered in today&...
115
click to vote
ENDM
2010
15 years 4 months ago
2010
A branch-and-bound algorithm is devised to determine the optimal attack strategy to disconnect a network where the objective is to minimize the expected attacking cost. The attack...
150
click to vote
JAIR
2008
15 years 4 months ago
2008
This paper presents Networks of Influence Diagrams (NID), a compact, natural and highly expressive language for reasoning about agents' beliefs and decision-making processes....
143
click to vote
PRL
2006
15 years 4 months ago
2006
A wrapped feature selection process is proposed in the context of robust clustering based on Laplace mixture models. The clustering approach we consider is a generalization of the...
136
click to vote
DSL
2009
15 years 2 months ago
2009
KURE is a Haskell hosted Domain Specific Language (DSL) for writing transformation systems based on rewrite strategies. When writing transformation systems, a significant amount of...