4573 search results - page 405 / 915 » Automated Reasoning |
187
click to vote
CSL
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. A new tree automata framework, called equational tree automata, is presented. In the newly introduced setting, congruence closures of recognizable tree languages are reco...
171
click to vote
CSL
2001
Springer
15 years 11 months ago
2001
Springer
We introduce a method of extending arbitrary categories by a terminal object and apply this method in various type theoretic settings. In particular, we show that categories that a...
167
click to vote
ECSQARU
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Although we can build a belief network starting from any ordering of its variables, its structure depends heavily on the ordering being selected: the topology of the netw...
165
click to vote
ECSQARU
2001
Springer
15 years 11 months ago
2001
Springer
The term “changes in structure,” originating from work in econometrics, refers to structural modifications invoked by actions on a causal model. In this paper we formalize the...
143
click to vote
ECSQARU
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. The K2 metric is a well-known evaluation measure (or scoring function) for learning Bayesian networks from data [7]. It is derived by assuming uniform prior distributions...