Options
Matzinger, Robert
Loading...
Official Name
Matzinger, Robert
Main Affiliation
Akademische Titel
DI Dr.
Email
robert.matzinger@fh-burgenland.at
Scopus Author ID
55250051700
Status
staff
Research Outputs
Now showing 1 - 4 of 4
- Publication
134 1 - PublicationA Feature-based Analysis of Open Source Tools for Enterprise 2.0: Open Source Tools for Team Collaboration in SMEs(KMIS 2011 – International Conference on Knowledge Management and Information Sharing, 2011-10-29)
; ; The 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.516 2440 - PublicationComputational representations of herbrand models using grammarsFinding 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.
118 1Scopus© Citations 7