2011
2010
2009
2008
2007
2006
2001~2005
before 2001
Model-based diagnosis
Approximate Inference and Modeling
Compilation
Complex Systems
Constraint-Based Inference
Multi-Formalism Modeling
Journal
Book Chapters
Journal Submissions under Review
International Conferences
ITOBO