Sciweavers

2214 search results - page 68 / 443
» Complexity of Reasoning
Sort
View
AAAI
2000
15 years 4 months ago
The Complexity of Restricted Consequence Finding and Abduction
We analyze the complexity of propositional kernel resolution (del Val 1999), a general method for obtaining logical consequences in restricted target languages. Different choices ...
Alvaro del Val
99
Voted
JITECH
2006
70views more  JITECH 2006»
15 years 3 months ago
Using coevolutionary and complexity theories to improve IS alignment: a multi-level approach
The misalignment of information systems (IS) components with the rest of an organization remains a critical and chronic unsolved problem in today's complex and turbulent worl...
Hind Benbya, Bill McKelvey
IJAOSE
2010
183views more  IJAOSE 2010»
15 years 9 days ago
O-MaSE: a customisable approach to designing and building complex, adaptive multi-agent systems
: The complexity and scope of software systems continues to grow. One approach to dealing with this growing complexity is the use of intelligent, multi-agent systems. However, due ...
Scott A. DeLoach, Juan C. García-Ojeda
WINE
2009
Springer
194views Economy» more  WINE 2009»
15 years 9 months ago
Mechanism Design for Complexity-Constrained Bidders
A well-known result due to Vickery gives a mechanism for selling a number of goods to interested buyers in a way that achieves the maximum social welfare. In practice, a problem wi...
Ravi Kumar, Mohammad Mahdian, Amin Sayedi
TARK
2009
Springer
15 years 9 months ago
Logical omniscience as a computational complexity problem
The logical omniscience feature assumes that an epistemic agent knows all logical consequences of her assumptions. This paper offers a general theoretical framework that views log...
Sergei N. Artëmov, Roman Kuznets