550 search results - page 42 / 110 » Context Semantics, Linear Logic and Computational Complexity |
AAAI
2000
14 years 11 months ago
2000
Answer-set programming (ASP) has emerged recently as a viable programming paradigm well attuned to search problems in AI, constraint satisfaction and combinatorics. Propositional ...
100
click to vote
JAIR
2010
14 years 8 months ago
2010
We present DCL-PC: a logic for reasoning about how the abilities of agents and coalitions of agents are altered by transferring control from one agent to another. The logical foun...
115
click to vote
PODS
1994
ACM
15 years 1 months ago
1994
ACM
Traditionally, computational complexity has considered only static problems. Classical Complexity Classes such as NC, P, and NP are de ned in terms of the complexity of checking {...
SEMCO
2008
IEEE
15 years 4 months ago
2008
IEEE
Context-aware user interfaces facilitate the user interaction by suggesting or prefilling data derived from the user’s current context. This raises the problem of mapping conte...
GI
2009
Springer
14 years 7 months ago
2009
Springer
: In recent years, mobile devices became more and more powerful, wireless Internet access is becoming standard. To support mobile applications adapting their User Interface to vari...