4290 search results - page 136 / 858 » Formal Approaches to Teamwork |
163
click to vote
EON
2007
15 years 8 months ago
2007
As the sheer volume of new knowledge increases, there is a need to find effective ways to convey and correlate emerging knowledge in machine-readable form. The success of the Seman...
182
click to vote
IJCAI
1997
15 years 8 months ago
1997
In the paper, we consider the problem of supporting automated reasoning in a large class of knowledge representation formalisms, including terminological and epistemic logics, who...
179
click to vote
ISOLA
2010
Springer
15 years 5 months ago
2010
Springer
During the design iterations of embedded systems, the schedulability analysis is an important method to verify whether the real-time constraints are satisfied. In order to achieve...
162
click to vote
ATAL
2003
Springer
15 years 11 months ago
2003
Springer
Commitments model important aspects of agent interactions, especially those arising in e-business. A small number of patterns of commitments accommodate a variety of realistic int...
150
click to vote
EICS
2010
ACM
15 years 11 months ago
2010
ACM
UI model discovery is a lightweight formal method in which a model of an interactive system is automatically discovered by exploring the system’s state space, simulating the act...