Scopus Author ID
Now showing 1 - 8 of 8
- PublicationComputational representations of herbrand models using grammars(Springer Berlin Heidelberg, 1997)Finding computationally valuable representations of models of predicate logic formulas is an important subtask in many fields related to automated theorem proving, e.g. automated model building or semantic resolution. In this article we investigate the use of context-free languages for representing single Herbrand models, which appear to be a natural extension of ``linear atomic representations'' already known from the literature. We focus on their expressive power (which we find out to be exactly the finite models) and on algorithmic issues like clause evaluation and equivalence test (which we solve by using a resolution theorem prover), thus proving our approach to be an interesting base for investigating connections between formal language theory and automated theorem proving and model building.
117Scopus© Citations 7
- PublicationRemote On-Screen Support and Cooperation with Open Sporce Components in e-Learning(E. Weber, 2008)In many learning situations it is essential to offer support for the students by an instructor directly at the computer screens of the students like in a computer lab. To provide this support in remote e-learning situations, the teacher needs a real-time view of the contents of the students computer screen from remote. in this paper we discuss a solution for providing real-time remote on-screen student support with distance-learning via internet connections in a safe and secure manner. Our "virtual classroom" consists of open source components only and workson most operating systems independently of the underlying learning software used. We enhance this solution with a prototype of a common desktop, that is suitable for small work groupsto work together on a common computer screen in real time, which is useful e.g. for small student groups working togetherfrom remote. The common desktop systemalso works independently of the software used on the screen and can be operated with any client computer. In practice, these solutions are accompanied by commuication systems like chat or voice-chat, to achieve a system for real-time remote teaching and real-time remote cooperation.
- PublicationOpen Source Tools for Enterprise 2.0: A Feature-Based Adaptable AnalysisWhen introducing Enterprise 2.0 tools to support knowledge workers working together on cognitive tasks and sharing information, companies and organizations face the problem of choosing the right tools from a huge market of systems. In particular for SMEs, open source tools for Enterprise 2.0 offer a good alternative to commercial systems, but the diversity of systems makes this marketplace quite confusing. Therefore we present a study of the growing market for Enterprise 2.0 systems that focuses entirely on systems available under an open source license. We use a set of 97 individual features and criteria that are grouped around the central functionalities of communication, coordination, collaboration and connection, to analyze the suitability of a representative sample of open source Enterprise 2.0 tools for the average knowledge worker. The evaluation matrix can be easily adapted to get more specific evaluation results for more particular company requirements. Our results show that there are many technically mature solutions with a broad range of functionality available from the market of open source tools for Enterprise 2.0.
- PublicationA Feature-based Analysis of Open Source Tools for Enterprise 2.0: Open Source Tools for Team Collaboration in SMEsThe marketplace of Enterprise 2.0 tools that support knowledge workers within companies to work together on cognitive tasks and share information and knowledge is diversified and offers commercial systems of varying complexity and functional range as well as open source software. Like commercial systems, open source tools for Enterprise 2.0 provide a broad range of functionality and offer a good alternative for organisations – especially for SMEs. This paper presents a study of the growing market for Enterprise 2.0 systems and focuses entirely on ones that are available under an open source license. We introduce a set of 97 individual features and criteria to assess a representative sample of open source Enterprise 2.0 tools. Our results show that the marketplace of open source tools for Enterprise 2.0 offers technically mature solutions with a broad range of functionality.
- PublicationRepresenting Herbrand Models by Grammars and Deciding Equivalence Efficiently(1996-01-20)Finding computationally valuable representations of models of predicate logic formulas is an important subtask in many fields related to automated theorem proving, e.g. automated model building or semantic resolution. In this article we investigate the use of context-free languages for representing single Herbrand models, emphasizing algorithmic issues like the equivalence test (which we solve by applying methods of automated theorem proving again), clause evaluation, etc. Surprisingly our representation turns out to be a natural extension of "linear atomic representations", already known from the literature. By sketching additional results and questions we try to prove our approach to be an interesting base for investigating connections between formal language theory and automated theorem proving, leading to efficient methods for automated model building. 1 Introduction Representing Herbrand models of predicate logic formulas plays an important role in various subfields of automate...