1943 search results - page 203 / 389 » Ordering Default Theories |
203
click to vote
ATAL
2005
Springer
16 years 21 days ago
2005
Springer
We analyze the notion of organizational structure in multiagent systems and explain the precise added value and the effects of such organizational structure on the involved agents...
163
click to vote
ATAL
2005
Springer
16 years 21 days ago
2005
Springer
This paper presents an approach for ontology translation in the O3F ontology framework and a concrete implemented agent that translates between ontologies expressed in OWL. In the...
160
click to vote
EMSOFT
2005
Springer
16 years 21 days ago
2005
Springer
An advanced communication system, the FlexRay system, has been developed for future automotive applications. It consists of time-triggered clusters, such as drive-by-wire in cars,...
180
click to vote
FROCOS
2005
Springer
16 years 20 days ago
2005
Springer
We define a general notion of a fragment within higher order type theory; a procedure for constraint satisfiability in combined fragments is outlined, following Nelson-Oppen sche...
193
click to vote
ICALP
2005
Springer
16 years 20 days ago
2005
Springer
Abstract. We study the use of the elaboration preorder (due to ArunKumar and Natarajan) in the framework of up-to techniques for weak bisimulation. We show that elaboration yields ...