4573 search results - page 405 / 915 » Automated Reasoning |
204
click to vote
CSL
2001
Springer
16 years 3 days 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...
185
click to vote
CSL
2001
Springer
16 years 3 days 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...
196
click to vote
ECSQARU
2001
Springer
16 years 2 days 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...
187
click to vote
ECSQARU
2001
Springer
16 years 2 days 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...
162
click to vote
ECSQARU
2001
Springer
16 years 2 days 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...