596 search results - page 35 / 120 » Integrated Distributed Description Logics |
CADE
2009
Springer
15 years 4 months ago
2009
Springer
SPASS is an automated theorem prover for full first-order logic with equality and a number of non-classical logics. This system description provides an overview of our recent deve...
OWLED
2007
14 years 11 months ago
2007
Abstract. Ontologies contain information about concepts and their relations. Certain concepts may occur in different ontologies at the same time and these concepts can be used as ...
109
click to vote
SEKE
2004
Springer
15 years 3 months ago
2004
Springer
Multi-Agent Systems (MAS) architectures are gaining popularity for building open, distributed, and evolving software required by systems such as information integration application...
ATAL
2009
Springer
15 years 4 months ago
2009
Springer
In this paper we describe MASQ (Multi-Agent Systems based on Quadrants), a model that defines four perspectives over an agent-based interaction according to two axes: internal/ex...
MAGS
2007
14 years 9 months ago
2007
Abstract. The availability of massive amounts of biological data, distributed in various data sources, has prompted the development of a wide range of data analysis tools. However,...