1925 search results - page 82 / 385 » Theory research at Google |
117
click to vote
LPNMR
1999
Springer
15 years 4 months ago
1999
Springer
This paper continues the line of research on representing actions, on the automation of commonsense reasoning and on planning that deals with causal theories and with action langua...
AML
2010
15 years 1 days ago
2010
In this paper a method to construct Kripke models for subtheories of constructive set theory is introduced that uses constructions from classical model theory such as constructibl...
ENTCS
2002
14 years 11 months ago
2002
The refinement calculus is a well-established theory for translating specifications to program code. Recent research has extended the calculus to handle real-time requirements and...
117
click to vote
SAGT
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Bounding the price of stability of undirected network design games with fair cost allocation is a challenging open problem in the Algorithmic Game Theory research agenda....
HT
2005
ACM
15 years 5 months ago
2005
ACM
Recent theories of hypertext usefully emphasize continuity with earlier media; but in the general social environment, this continuity is not well understood, and may even be oppos...