Sciweavers

330 search results - page 33 / 66
» An argumentation based approach for practical reasoning
Sort
View
89
Voted
IJCAI
2003
15 years 1 months ago
Backdoors To Typical Case Complexity
There has been significant recent progress in reasoning and constraint processing methods. In areas such as planning and finite model-checking, current solution techniques can h...
Ryan Williams, Carla P. Gomes, Bart Selman
LPNMR
2009
Springer
15 years 6 months ago
Belief Revision with Bounded Treewidth
Problems arising from the revision of propositional knowledge bases have been intensively studied for two decades. Many different approaches to revision have thus been suggested, w...
Reinhard Pichler, Stefan Rümmele, Stefan Wolt...
CORR
2006
Springer
111views Education» more  CORR 2006»
14 years 11 months ago
Length-based cryptanalysis: The case of Thompson's Group
The length-based approach is a heuristic for solving randomly generated equations in groups which possess a reasonably behaved length function. We describe several improvements of ...
Dima Ruinskiy, Adi Shamir, Boaz Tsaban
FLAIRS
2001
15 years 1 months ago
User-Agent Interactions in Mixed-Initiative Learning
Mixed-initiative learning integrates complementary human and automated reasoning, taking advantage of their respective reasoning styles and computational strengths in order to sol...
Dorin Marcu, Mihai Boicu, Gheorghe Tecuci
SSR
2001
83views more  SSR 2001»
15 years 1 months ago
Increasing the confidence in off-the-shelf components: a software connector-based approach
The promise of component-based software development is that larger, more complex systems can be built reasonably quickly and reliably from pre-fabricated ("off-the-shelf"...
Marija Mikic-Rakic, Nenad Medvidovic