This paper presents an extension of classical attributive logic using atomic values of attributes. In the proposed logic set values are allowed and various relational symbols are ...
Abstract Paose (Petri net-based Agent-Oriented Software Engineering) combines the paradigm of AOSE (Agent-Oriented Software Engineering, see [10]) with the expressive power of Petr...
On the one hand, mashups are a new kind of web application built upon the composition of different resources in a user-friendly way. Tools based on such concepts focus on graphic ...
The use of ontologies based on knowledge representation architectures to support search and other decision-making problems in production environments has become a critical compone...
In the first section wegive a very short surveyon current researchon web-basededucationalsystemsand relatedproblems.Inthesecondsectionwearguethat knowledgerepresentationandontolog...
Christoph Peylo, Wilfried Teiken, Claus-Rainer Rol...