224 search results - page 13 / 45 » A Formal Treatment of Context-Awareness |
KR
1992
Springer
15 years 3 months ago
1992
Springer
Abstract, We consider the problem of integrating Reiter's default logic into terminological representation systems. It turns out that such an integration is less straightforwa...
109
click to vote
ACL
1989
15 years 28 days ago
1989
This paper addresses issues that arose in applying the model for discourse entity (DE) generation in B. Webber's work (1978, 1983) to an interactive multimodal interface. Her...
123
click to vote
FMOODS
2007
15 years 1 months ago
2007
This paper describes the application of Real-Time Maude to the formal specification, simulation, and further formal analysis of the sophisticated state-of-the-art OGDC wireless se...
JAPLL
2008
14 years 11 months ago
2008
In traditional mathematical models of argumentation an argument often consists of a chain of rules or reasons, beginning with premisses and leading to a conclusion that is endorse...
111
click to vote
CRYPTO
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. A significant effort has recently been made to rigorously relate the formal treatment of cryptography with the computational one. A first substantial step in this dire...