Sciweavers

8337 search results - page 102 / 1668
» Reasoning With Characteristic Models
Sort
View
133
Voted
LICS
2007
IEEE
16 years 1 months ago
Reflections on Finite Model Theory
Phokion G. Kolaitis
ECSQARU
2007
Springer
16 years 27 days ago
Causal Graphical Models with Latent Variables: Learning and Inference
Stijn Meganck, Philippe Leray, Bernard Manderick
LPAR
2007
Springer
16 years 26 days ago
Algorithms for Propositional Model Counting
Marko Samer, Stefan Szeider