1426 search results - page 74 / 286 » Specification of nonmonotonic reasoning |
131
click to vote
ICCS
1998
Springer
15 years 9 months ago
1998
Springer
Internet-based information technologies have considerable potential for improving collaboration in professional communities. In this paper, we explain the concept of user-driven sp...
158
click to vote
EDOC
2004
IEEE
15 years 8 months ago
2004
IEEE
The ODP computational viewpoint describes the functionality of a system and its environment, in terms of a configuration of objects which interact at interfaces. Computational obj...
136
click to vote
DAC
2006
ACM
16 years 5 months ago
2006
ACM
We address the problem of estimating controller delay from high-level specifications during behavioral synthesis. Typically, the critical path of a synthesised behavioral design g...
114
click to vote
RE
1995
Springer
15 years 8 months ago
1995
Springer
In an evolving specification, considerable development time and effort is spent handling recurrent inconsistencies. Tools and techniques for detecting and resolving inconsistencie...
154
click to vote
ATAL
2010
Springer
15 years 4 months ago
2010
Springer
One of the most challenging aspects of reasoning, planning, and acting in a multi-agent domain is reasoning about what the agents know about the knowledge of their fellows, and to...