10568 search results - page 286 / 2114 » Computer Intelligence and Formalization |
129
click to vote
CONCUR
2006
Springer
15 years 7 months ago
2006
Springer
One of the advantages of temporal-logic model-checking tools is their ability to accompany a negative answer to the correctness query by a counterexample to the satisfaction of the...
154
Voted
HCI
2009
15 years 1 months ago
2009
The design of safety critical systems calls for advanced software engineering models, methods and tools in order to meet the safety requirements that will avoid putting human life ...
133
Voted
INTERNET
2010
15 years 2 months ago
2010
abstractions, concepts, and actions that characterize human experiences. This will herald computing for human experience (CHE). The CHE vision is built on a suite of technologies t...
134
Voted
KR
1992
Springer
15 years 7 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...
150
Voted
JAIR
2007
15 years 3 months ago
2007
Research on agent communication languages has typically taken the speech acts paradigm as its starting point. Despite their manifest attractions, speech-act models of communicatio...