As one of the most important features, the Internet enables individuals to make their personal thoughts and opinions easily accessible to the global community of Internet users. N...
Finding the right agents in a large and dynamic network to provide the needed resources in a timely fashion, is a long standing problem. This paper presents a method for informati...
agroXML is a standardized language for data exchange in agriculture. It is based on the eXtensible Markup Language (XML) using XML Schema as its definition language. agroXML is us...
Mario Schmitz, Daniel Martini, Martin Kunisch, Han...
This paper proposes an extension to theorem proving interfaces for use with proofdirected debugging and other disproof-based applications. The extension is based around tracking a...
This paper shows how semantic web techniques can be applied to solving problems of distributed content creation, discovery, linking, aggregation, and reuse in health information po...