15754 search results - page 462 / 3151 » Programs are Knowledge Bases |
161
click to vote
IRI
2005
IEEE
16 years 16 days ago
2005
IEEE
Sharing and reusing product design information can help reduce cost and time when developing new products and facilitate good product family design. An appropriate representation ...
173
click to vote
ATAL
2005
Springer
16 years 15 days ago
2005
Springer
We present an approach to the verification of temporal epistemic properties in synchronous multi-agent systems (MAS) via bounded model checking (BMC). Based on the semantics of s...
213
click to vote
CDVE
2005
Springer
16 years 15 days ago
2005
Springer
This paper presents a solution for cooperation between companies that belong to a supply chain in the ceramic tile sector, where competitiveness requires constant innovation in pro...
187
click to vote
SEKE
2005
Springer
16 years 13 days ago
2005
Springer
Multi-agent systems have become increasingly mature, but their appearance does not make the traditional OO approach obsolete. On the contrary, OO methodologies can benefit from th...
184
click to vote
COOPIS
2003
IEEE
16 years 7 days ago
2003
IEEE
Abstract. Time modeling is a crucial feature in many application domains. However, temporal information often is not crisp, but is uncertain, subjective and vague. This is particul...