Sciweavers

26 search results - page 6 / 6
» Frameworks for Logically Classifying Polynomial-Time Optimis...
Sort
View
AI
2008
Springer
13 years 5 months ago
What makes propositional abduction tractable
Abduction is a fundamental form of nonmonotonic reasoning that aims at finding explanations for observed manifestations. This process underlies many applications, from car configu...
Gustav Nordh, Bruno Zanuttini