4290 search results - page 326 / 858 » Formal Approaches to Teamwork |
152
click to vote
MMNS
2004
15 years 8 months ago
2004
Due to the significant development of network services in the past few years, their validation has become increasingly difficult. The advent of novel approaches to the issue of val...
150
click to vote
AAAI
2000
15 years 8 months ago
2000
Logics for knowledge representation suffer from overspecialization: while each logic may provide an ideal representation formalism for some problems, it is less than optimal for o...
169
click to vote
ROOM
2000
15 years 8 months ago
2000
For the specification of object-oriented systems, usually several models representing different views are developed. The necessary integration of views is often delayed until impl...
140
click to vote
COLING
1996
15 years 8 months ago
1996
This article is concerned with the building of a test data set for assisting the industrial user in machine translation evaluation. The emphasis is laid on the interest of an appr...
171
click to vote
IJCAI
1993
15 years 8 months ago
1993
Several formalizations of cognitive state that include intentions and beliefs based on normal modal logics (NMLs) have appeared in the recent literature. We argue that NMLs are no...