9 search results - page 1 / 2 » A Framework for Agent-Based Brokering of Reasoning Services |
MICAI
2004
Springer
13 years 10 months ago
2004
Springer
COBUILD
1998
Springer
13 years 9 months ago
1998
Springer
Abstract. As the amount of information and communication increases dramatically new working environments must provide efficient mechanisms to maximize the benefits of these develop...
IDC
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. Based on the plethora of proposals and standards for logic- and rulebased reasoning for the Semantic Web (SW), a key factor for the success of SW agents is interoperabili...
WOA
2000
13 years 6 months ago
2000
There is a growing interest in the integration of mechanized reasoning systems such as automated theorem provers, computer algebra systems, and model checkers. State-of-the-art re...
WSC
2004
13 years 6 months ago
2004
Federated simulations address the need for interoperability, as well as the improvement of reuse and composability of existing simulation models. The focal goal in a federated sim...