4573 search results - page 801 / 915 » Automated Reasoning |
124
click to vote
CSL
2009
Springer
15 years 9 months ago
2009
Springer
We define an “enriched effect calculus” by extending a type theory for computational effects with primitives from linear logic. The new calculus, which generalises intuitionis...
110
Voted
CSL
2009
Springer
15 years 9 months ago
2009
Springer
One of Courcelle’s celebrated results states that if C is a class of graphs of bounded tree-width, then model-checking for monadic second order logic (MSO2) is fixed-parameter t...
128
click to vote
CSL
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. One-counter processes are pushdown processes over a singleton stack alphabet (plus a stack-bottom symbol). We study the problems of model checking asynchronous products o...
125
Voted
ECSQARU
2009
Springer
15 years 9 months ago
2009
Springer
To explore the Perturb and Combine idea for estimating probability densities, we study mixtures of tree structured Markov networks derived by bagging combined with the Chow and Liu...
132
click to vote
ECSQARU
2009
Springer
15 years 9 months ago
2009
Springer
Decision making amounts to define a preorder (usually a complete one) on a set of options. Argumentation has been introduced in decision making analysis. In particular, an argumen...