2 search results - page 1 / 1 » Efficient Datalog Abduction through Bounded Treewidth |
AAAI
2007
15 years 5 months ago
2007
126
Voted
AAAI
2008
2008
Abduction with Bounded Treewidth: From Theoretical Tractability to Practically Efficient Computation
15 years 5 months ago
Abductive diagnosis is an important method to identify explanations for a given set of observations. Unfortunately, most of the algorithmic problems in this area are intractable. ...