2490 search results - page 70 / 498 » Complexity of Contextual Reasoning |
144
click to vote
ASE
2006
15 years 4 months ago
2006
Commercial-off-the-shelf (COTS) software tends to be cheap, reliable, and functionally powerful due to its large user base. It has thus become highly desirable to incorporate COTS ...
202
click to vote
DALT
2010
Springer
14 years 11 months ago
2010
Springer
Social reasoning theories, whilst studied extensively in the area of multiagent systems, are hard to implement directly in agents. They often specify properties of beliefs or behav...
109
click to vote
CSL
2005
Springer
15 years 9 months ago
2005
Springer
We study the complexity of model-checking for the fixpoint extension of Hintikka and Sandu’s independence-friendly logic. We show that this logic captures ExpTime; and by embedd...
121
click to vote
CSL
2004
Springer
15 years 9 months ago
2004
Springer
By viewing random 3-SAT as a distributional problem, we go over some of the notions of average-case complexity that were considered in the literature. We note that for dense formul...
135
click to vote
ICALP
1998
Springer
15 years 8 months ago
1998
Springer
The complexity of LTrL, a global linear time temporal logic over traces is investigated. The logic is global because the truth of a formula is evaluated in a global state, also ca...