Veranstaltungen

"DAMIA - a Data Mashup Fabric for Intranet Applications"

Damia is a lightweight enterprise data integration service where line of business users can create and catalog high value data feeds for consumption by situational applications. Damia is inspired by the Web 2.0 mashup phenomenon. It consists of (1) a browserbased user-interface that allows for the specification of data mashups as data flow graphs using a set of operators, (2) a server with an execution engine, as well as (3) APIs for searching, debugging, executing and managing mashups. Damia offers a framework and functionality for dynamic entity resolution, streaming and other higher value features particularly important in the enterprise domain. Damia is currently in perpetual beta in the IBM Intranet.

In this presentation, we describe IBM?s Info 2.0 vision and highlight the Damia project. We further showcase the creation and execution of an enterprise data mashup, thereby illustrating the architecture and features of the overall Damia system.

Das Forschungsinstitut für Informationstechnologien Leipzig (FIT Leipzig) veranstaltet in Kooperation mit der Medienstiftung der Sparkasse Leipzig, dem Leipziger Informatik-Verbund (LIV), der Universität Leipzig, der HTWK Leipzig, der Stadt Leipzig und der Messe Leipzig sowie mit Unterstützung der Stiftung für Innovation und Technologietransfer Leipzig die internationale Konferenz Digitale Spiele: Herausforderung & Chance.

Für Studierende der Universität Leipzig und der HTWK Leipzig ist der Besuch der Konferenz kostenfrei. Mitarbeiter und Mitarbeiterinnen der Universität Leipzig und der HTWK Leipzig zahlen eine ermäßigte Tagungsgebühr. Um eine Anmeldung wird gebeten!

Weitere Informationen und Anmeldung unter
http://www.fitl.htwk-leipzig.de/T/lit07.html
Claudia Carl, M. A.
Telefon +49 341 97-32223
Telefax +49 341 97-32329
E-Mail: carl@informatik.uni-leipzig.de
Universität Leipzig
Institut für Informatik
Betriebliche Informationssysteme
Johannisgasse 26
04103 Leipzig
http://bis.informatik.uni-leipzig.de

"Absolvententreffen, Vortrag zu aktuellen Fragen der Informatik von Prof. Dr Gunter Dueck (IBM)"

"Unsupervised Learning of Morphology: Considerations and Applications"

Unsupervised learning of morphology is the the topic of my PhD thesis work. I will present a short survey of the quite substantial, but often forgotten, amount of work done in the field since 1955, and highlight what we can learn from it and how to proceed. I will argue that developing a theory of affixation with explicit assumption about frequency patterns is more helpful in getting us closer to the goal. I will present my own embryo to such a theory and show how it can be applied to extract salient affixes. Extraction of affixes is not the same as segmentation, but I will give two applications where this can be used to yield fully unsupervised classifiers (= no thresholds or parametres at all): 1) Decide if two words share the same stem and 2) identify the language of a short specimen (i.e. one word).

"Small Languages"

The title of my talk is 'Smaller Languages'. I will ask (but not answer) the question whether there is any hope for the smaller languages, and I will focus on the question how we can try to use technology to create better conditions for the smaller languages. I will discuss some recent and upcoming initiatives such as BLARK, BLARKette and CLARIN and show how they can be used to the benefit of smaller languages.

"Web Query Mining"

User queries in search engines and Websites give valuable information on the interests of people. In addition, clicks after queries relate those interests to actual content. Even queries without answers imply important missing synonyms or content. In this talk we show several examples on how to use this information to improve the performance of search engines, to recommend better queries, and to improve the information scent of the content of a Website.

"Weighted Propositional Formulas for Preference Representation in Combinatorial Domains"

Many collective decision making problems require individual agents to somehow represent their preferences over alternative agreements. The set of alternatives to be considered often has a combinatorial structure. For instance, in the context of negotiation over indivisible goods, the number of possible allocations of goods to agents will be exponential in the number of goods. Similarly, in the context of voting for a committee (rather than just a single person), the number of alternative committees will be exponential in the number of seats to be filled. This calls for knowledge representation languages that can model typical preference structures in a concise manner. In this talk, I shall discuss a class of logic-based preference languages based on weighted propositional formulas. This is joint work with Yann Chevaleyre, Jerome Lang, and Joel Uckelman.

"Logics for Cooperation, Control and Coalition"

Joint work with Thomas Agotnes & Mike Wooldridge

We discuss logics for cooperation in which in which agents have control over certain aspects of the world. Moreover, this control can be delegated to other agents. We then discuss Coalition Logic: we show how adding preferences to Pauly's coalition logic CL enables one to express several game theoretical concepts, and we finally show how adding for a restricted form of quantification gives a language that is equally expressive, but exponentially more succingt than CL.

"Two variable logics in the presence of an equivalence relation"

"Ontologische Besonderheiten der Neuroanatomie"

"From Thinking to Acting: Anticipation and Reaction"

While in the early history of AI reasoning processes were thought to be the most important ingredient of intelligence, nowadays the notion of determining the right action has become the predominant notion. Of course, reasoning and deliberation is still important since it guides action selection processes. Nevertheless, a new trade-off between deliberation and anticipation on one hand and uncertainty and reactivity on the other hand has to be found. I will demonstrate this development using examples from the robotic systems developed in our group, which are able to play robotic soccer against other robots, which play foosball against humans, and which act in rescue scenarios in order to locate victims.

"Weighted automata on finite and infinite words"

We recall basic notions on finite automata. Then we turn to weighted automata which are classical automata whose transitions, initial and terminal states are equipped with weights from a semiring. These models are widely used in speech-to-text processing [16,17,18] and digital image compression [2,3,4,10,11,15]. For the theory of weighted automata see [1,12,13].

In the second part of this lecture, we deal with automata consuming infinite words and especially with Buchi and Muller models. These automata constitute tools in model checking techniques [8,9,14]. We refer to properties of their accepted languages as well as to the determinization problem. Finally, we expose the recently appeared weighted automata over infinite words with Buchi and Muller acceptance condition [5,6,7].

References

1. J. Berstel, C. Reutenauer, Rational Series and Their Languages. EATCS Monographs in Theoretical Computer Science, vol. 12, Springer-Verlag, 1998.
2. K. Culik II, J. Kari, Image compression using weighted finite automata, Computer and Graphics, 58(1993) 303-313.
3. K. Culik II, J. Kari, Weighted finite transducers in image processing, Discrete Applied Mathematics 58(1995) 223-237.
4. K. Culik II, J. Kari, Computational fractal geometry with WFA, Acta Informatica 34(1997) 151-166.
5. M. Droste, G. Rahonis, Weighted automata and weighted logics on infinite words, in: Proceedings of DLT' 06, LNCS 4036(2006) 49-58.
6. Z. Esik, W. Kuich, A semiring-semimodule generalization of omega-regular languages I. Special issue on "Weighted automata" (M. Droste, H. Vogler, eds.) Journal of Automata Languages and Combinatorics 10(2005) 203-242.
7. Z. Esik, W. Kuich, A semiring-semimodule generalization of omega-regular languages II. Special issue on "Weighted automata" (M. Droste, H. Vogler, eds.) Journal of Automata Languages and Combinatorics 10(2005) 243-264. 8) P. Gastin, D. Oddoux, Fast LTL to Buchi automata translation, in: Proceedings of CAV'01, LNCS 2102(2001) 53-65.
8. R. Gerth, D. Peled, M. Vardi, P. Wolper, Simple on-the-fly automatic verification of linear temporal logic, in:Proceedings of the 15th IFIG, Chapman and Hall, Ltd, 1996, pp. 3-18.
9. U. Hafner, Low-Bit Rate Image and Video Coding with Weighted Finite Automata, PhD thesis, Universitat Wurzburg, Germany, 1999.
10. F. katritzke, Refinements of data compression using weighted finite automata, PhD thesis, Universitat Siegen, Germany, 2001.
11. W. Kuich, A. Salomaa, Semirings, Automata, Languages. EATCS Monographs on Theoretical Computer SCience vol. 12, Springer- Verlag, 1988.
12. A. Salomaa, M. Soittola, Automata-Theoretic Aspects of Formal Power Series. Texts and Monographs in Computer Science, Springer- Verlag, 1978.
13. P. Wolper, Constructing automata from temporal logic formulas: a tutorial, in: Lectures on formal methods and performance analysis: first EEF/Euro summer cschool on trends in computer science. Springer-Verlag, New York, Inc., 2002, pp. 261-277.
14. J. Zang, B. Litow, O. de Vel, Similarity enrichment in image compression through weighted finite automata, in:COCOON'00, LNCS 1858(2000) 447-456.
15. http://www.research.att.com/~fsmtools/fsm/
16. http://www.research.att.com/~fsmtools/dcd/
17. http://cs.nyu.edu/~mohri/

"Answer Set Programming for Representing and Reasoning about Virtual Institutions"

"Vernetztes Wissen: Philosophie im Zeitalter des Internets"

Der aus Siebenbürgen stammende ungarische Physiker Albert-László Barabási und seine Mitarbeiter an der Universität Notre-Dame entdeckten 1999, dass im World Wide Web die Verbindungen zwischen den einzelnen Teilnehmern keiner normalen statistischen Verteilung folgen. Es gibt einige wenige Knotenpunkte (hubs) mit vielen Verbindungen und sehr viele Knotenpunkte mit nur ganz wenigen Verbindungen. Das World Wide Web ist gewiss keine Demokratie, wenn auch fraglos keine Republik. Aber eben durch das Vorhandensein von hubs mit überdurchschnittlich dichten Verbindungen werden Netzwerke zu sogenannten "kleinen Welten", in welchen sich die Distanz zwischen beliebigen zwei Knotenpunkten auf nur einige Schritte beschränkt. Auch das menschliche Wissen ist nur dadurch zu bewältigen, dass die einzelnen Wissenssegmente insgesamt eine "kleine Welt", genauer eine sich aus kleinen Teilwelten aufbauende umfassende kleine Welt bilden. Welcher Art sind aber die Wissenssegmente selbst? Der Vortrag geht davon aus, dass Wissen grundsätzlich praktisches bzw. prozedurales Wissen, d. h. Können ist. Eine Metapher, die das Vorstellen von Wissen sowohl als Praxis als auch als Netzwerk erlaubt, ist die des Begehens von Wegen. Wissen hat nicht weniger mit Links als mit Knotenpunkten zu tun. Wie lässt sich das in Webseiten oder gar in gedruckten Seiten verkörperte Wissen als ein Netzwerk von Wegen auffassen? Der Vortrag versucht in zwei Richtungen Antworten auf diese Frage zu finden. Erstens durch die Beobachtung, dass praktisches Wissen sich viel schwieriger mit bloßen Worten vermitteln lässt, als mit einem Ensemble von Wörtern und Bildern; wo das linear-verbale Denken Absonderungen schafft, entsteht durch das - geistige oder physische - Bild sogleich eine Anzahl von Beziehungen. Bilder erinnern an bestehende und schaffen neue Zusammenhänge. Zweitens durch die rudimentäre, vage und zugegebenerweise abenteuerliche Hypothese, dass vielleicht das sog. duale Modell von Straßennetzwerken, wo eben die Straßen als Knoten und die Kreuzungen als Kanten aufgefasst werden, eine passende Analogie bieten könnte: Wissenssegmente als Wege, ausgezeichnete Vermittlungen zwischen Wissenssegmenten als Knotenpunkte.

"Conservative extensions, refinements, and modular ontologies"

"Fixed point equations in commutative semirings"

"Information, Wissen und Selbstorganisation - Zum Einfluss der Kybernetik I. und II. Ordnung auf die Theorie und Methodologie der Informatik"

"'Soziale' Software - Überlegungen zu einer nachhaltigen Infrastruktur für Informationsarbeit in der Wissensgesellschaft"

"How to get robots to reason about their actions"

One of the aims of cognitive robotics is to come up with knowledge representation and reasoning techniques suitable for robots that need to act in uncertain and constantly changing environments. The logic-based action language Golog, which was originally developed at the University of Toronto and which combines features from both imperative programming and planning, is intended for just this purpose. In this talk I will report on our efforts to adapt this language so that it can be used in scenarios with tight real-time constraints. In particular, I will discuss a form of decision-theoretic planning which is feasible even in highly dynamic domains. The work has been applied to control robotic soccer agents as well as agents in interactive computer games.

"Kommodifizierung und Dekommodifizierung von Gütern und Dienstleistungen in der Wissensgesellschaft"

"Bounded Model Checking usung Answer Set Programming"

In this talk bounded model checking of asynchronous concurrent systems is introduced as an application area for answer set programming. As an example model of asynchronous systems a generalization of communicating automata, 1-safe Petri nets, are used. It is shown how a 1-safe Petri net and a requirement on the behavior of the net can be translated into a logic program such that the bounded model checking problem for the net can be solved by computing stable models of the corresponding program. The use of the stable model semantics leads to compact encodings of bounded reachability and deadlock detection tasks as well as the more general problem of bounded model checking of linear temporal logic.

"Statistische maschinelle Übersetzung mittels nicht paralleler Texte"

Die statistische maschinelle Übersetzung hat sich etabliert: Zwar sind die Ergebnisse, soweit sie von menschlichen Evaluatoren bewertet werden, für nicht eingeschränkte Domänen derzeit keineswegs besser einzuschätzen als die etablierter regelbasierter Übersetzungs­systeme wie etwa SYSTRAN. Allerdings ist der für die Übersetzung neuer Sprachpaare erforderliche Entwicklungsaufwand so viel geringer, dass sich in Fachkreisen eine gewisse Euphorie breit zu machen scheint. Während der Titel einer Veröffentlichung von Martin Kay noch vor etwa 10 Jahren "Machine Translation: The Disappointing Past and Present" lautete, betitelte Franz Josef Och (Google Inc.) seinen Vortrag beim letztjährigen Workshop on "Building and Using Parallel Texts" mit "Statistical Machine Translation: The Fabulous Present and Future". Andererseits gibt es ernst zu nehmende Argumente, dass der derzeit eingeschlagene Weg eine Sackgasse sein könnte. Zu diesen Argumenten gehören:

• Um eine ausreichende statistische Absicherung zu erhalten, sind vermutlich parallele Textkorpora erforderlich, deren Umfang den der derzeit verfügbaren um mehrere Größenordnungen übertrifft.
• Die Vorstellung, dass die maschinelle Übersetzung erfolgreich sein kann, solange man nicht in der Lage ist, auch nur eines der grundlegenden Probleme der maschinellen Sprachverarbeitung explizit zu lösen (z.B. syntaktische und semantische Disambigu­ierung, Textverstehen), erscheint vermessen.
• Es ist so gut wie sicher, dass der derzeit verfolgte statistische Ansatz kaum kognitive Plausibilität aufweist, da er auf parallelen Texten aufbaut.

Der Vortrag gibt zunächst einen Überblick über den derzeitigen Stand der statistischen ma­schinellen Übersetzung und versucht dann einen neuen Ansatz aufzuzeigen, der die obigen Probleme vermeidet.

"On the Limits of Planning over Belief States under Strict Uncertainty"

A recent trend in planning with incomplete information is to model the actions of a planning problem as nondeterministic transitions over the belief states of a planner, and to search for a plan that terminates in a desired goal state no matter how these transitions turn out. We show that this view of planning is fundamentally limited. Any plan that is successful by this criteria has an upper bound on the number of actions it can execute. Specifically, the account will not work when iterative plans are needed. We also show that by modifying the definition slightly, we obtain another account of planning that does work properly even for iterative plans. Although the argument is presented in an abstract form, we illustrate the issues using a simple concrete example.

This is joint work with Giuseppe De Giacomo, Yves Lesperance, and Hector Levesque.

"Integrierte IT-Unterstützung der Wissensarbeit"

Ich werde über Arbeiten zur "Integrierten IT-Unterstützung der Wissensarbeit" berichten, die ich aus einer tägkeits- und kooperations-orientierten Perspektive betrachte (also den Tätigkeiten und Kooperationsformen in der Wissensarbeit). Aus der Analyse des Wissensbegriffs und von Wissensprozessen in Organisationen sowie einer vertieften Analyse der Tätigkeiten und Kooperationsformen in der Wissensarbeit leite ich Anforderungen und das Konzept einer integrierten IT-Unterstützung der Wissensarbeit ab, das dann auch in einer Plattform / Anwendung umgesetzt sowie in der Praxis erfolgreich erprobt wurde.

"Die Ontologie des klinischen Nachschlagewerkes medrapid.info"

"Protokollsynthese für Spezifikationen in Wissenslogik"

"Automatic building of wordnets"

"Analogical Modeling with Bias - allowing Feedback and Centering"

"The Problem of Iterated Belief Revision: How to Revise a Plausibility Ordering"

"Begriffliche Explorationsverfahren"

"Playing with the bricks of WALS"

"The Future of Natural Language Processing: Cognitive Science or Machine Learning?"

Language and speech technology have advanced rapidly in the last decades. This is mainly due to the large volumes of text and speech that are now stored electronically as well as the increased computing power available to train statistical models on large data sets. However, the models used are often surprisingly naive from a linguistic point of view. Only very basic insights about language are incorporated. In this talk, we will explore the reasons for this state of affair and look into a crystal ball: Will future models in language processing continue to be simplistic or will they mimick the way humans process language?

"Conditional Logics: Representation and Proof Systems"

"Representation results and closure conditions"

"Distance Desert Automata and Star Height Substitutions"

"ASP Preferences in Declarative Policy Specification and Enforcement"

"Anwendungen und Middleware des Semantic Web"

"Askemos - sind rechtssichere digitale Verträge möglich?"

Die Allgegenwart von Viren und Root-Kits zeigt, dass bisherige Betriebssystem-Konzepte mit der zentralen Rolle eines IT-Experten als Superuser nicht geeignet sind, das Maß an Verlässlichkeit und Nichtkorrumpierbarkeit herzustellen, welches im elektronischen Geschäftsverkehr und erst recht für "elektronische Akten" (ArbGG? § 46d) erforderlich sind.

Askemos (http://www.askemos.org) ist Konzept, Projekt und Prototyp zugleich, mit denen diese Probleme bisheriger digitaler kommunikativer Umgebungen überwunden werden können. Die Konzepte sind nicht neu - vieles konnte etwa vom Design von ERLANG, einer Programmiersprache für den ausfallsicheren Betrieb von Telefonanlagen, übernommen werden - führen aber in ihrer Kombination und strikten Ausrichtung auf die Konstruktion einer nicht korrumpierbaren verteilten Dokumenten- und Rechteverwaltung zu erstaunlich klaren Ergebnissen.

Besonderes Augenmerk wurde beim Design von Askemos auf die Nichtkorrumpierbarkeit gelegt, die natürlich nicht besser sein kann als die Nichtkorrumpierbarkeit der modellierten realen Welt. Hierzu habe ich eine Reihe von Ontologisierungen entwickelt, die sich an Begriffen und Idealen des bürgerlichen Rechtssystems, insbesondere den Menschenrechten und dem Vertragsrecht, orientieren. Die für ein digitales Projekt unumgängliche Operationalisierung dieser Begriffe ist - nicht unerwartet - schwierig.

Im Vortrag werde ich mich auf den theoretischen Teil von Askemos konzentrieren, den schichtenweisen Aufbau der Begriffe und Konzepte, der als Unterbau für ein rechtssicheres System erforderlich ist, in welchem Verträge und Dokumente mit ähnlicher Verbindlichkeit verhandelt und vereinbart werden können wie dies im realen Geschäftsverkehr auch möglich ist.

"Proof Nets and Boolean Categories"

"Neural Maps and Learning Vector Quantization for Data Mining"

"Querying Heterogeneous P2P XML Databases"

"Coordinating Multi-Agent Systems with Social Laws"

"Domain Models for Lexical Semantics and their applications in Natural Language Processing"

"Continuous Numeric Methods For Supporting Learning and Reasoning"

"Integrating Answer Set Programming and Constraint Solving"

"Interaktive, kooperative und automatisierte Entwicklung konzeptueller Strukturen - ein Ansatz zur Integration"

Konzeptuelle Strukturen wie Themennetze oder Ontologien gewinnen gegenwärtig eine immer stärkere Bedeutung für die Realisierung intelligenter, adaptiver Systemfunktionen sowie für innovative Formen der Kooperationsunterstützung. Die Entwicklung solcher Modelle ist ein komplexer Vorgang, an dem unterschiedliche Rollen und Aktivitäten beteiligt sind. Im dem Beitrag wird eine durchgängige Entwicklungskette mit unterschiedlich strukturierten Aktivitäten sowie Ergebnissen mit unterschiedlichem Formalisierungsgrad vorgeschlagen. Für die Unterstützung der einzelnen Phasen dieses Prozesses werden Werkzeuge vorgestellt, die vom kollaborativen Brainstorming über Visualisierungs- und Editiertechniken bis hin zur Integration bzw. Personalisierung von Konzeptstrukturen reichen. Es werden Erfahrungen aus verschiedenen Projekten zu diesem Thema berichtet.

"TRISAT - A SAT-solver using ternary-valued logics"

"MuPAD im Einsatz in Forschung und Ausbildung"

"Projective Expected Utility"

"Präferenzen in Datenbanksystemen"

"Individual-cell based modeling of multi-cellular assemblies: A step towards computational tissues"

Die aufsehenserregenden Fortschritte in molekularer Biologie, Biochemie, Biophysik, Biotechnologie und Medizin haben zu einer Flut von quantitativer und qualitativer Information in den Lebenswissenschaften geführt, die viele Skalen vom einzelnen Molekül bis zum Organismus beinhalten.
Viele Disziplinen, wie die Bioinformatik, die Biophysik, oder die Mathematische Biologie haben ihre Aktivitäten auf die Herausforderung konzentriert, die den Daten unterliegenden funktionalen Beziehungen zu verstehen. Ein geeignetes Modellierungskonzept, daß die molekulare Information mit den dynamische Prozessen des Organismus verbindet, muß in der Lage sein, die dynamischen Verbindungen auf jedem funktionalen Level von Genom, Proteom, Zellen, Gewebe und Organismen einzubeziehen.
Während Methoden und Konzepte auf dem subzellulären Level zur Modellierung von genetischer oder metabolischer Regulation z.T. etabliert sind, befindet sich die Entwicklung von Modellierungskonzepten zur Simulation multizellulärer Systeme, wie Tumoren, regenerative Gewebe, Entwicklungsbiologische Systeme und Bakterienpopulationen, die die Einbeziehung von Information auf dem subzellulären Level erlauben, noch in einem frühen Stadium. Wir stellen hier eine Klasse von Modellen vor, in der Zellen durch wenige zellbiologische, zellbiophysikalische und zellkinetische Parameter beschrieben werden.
Wie zeigen durch Computersimulationen für wachsende Monoschichten, multizelluläre Spheroide, die Faltung von Darmkrypten und Systeme in der frühen Embryonalentwicklung, wie diese Modellklasse verwendet werden kann, um experimentelle Beobachtungen in multizellulären Systemen zu analysieren und zu erklären.
Wir illustrieren, wie ausgehend von dieser Modellklasse vereinfachte Modelle für multizelluläre Systeme, wie Zelluläre Automaten konstruiert werden können, um biologische Parameterbereiche zu erreichen, die ansonsten aus Rechenzeitgründen nicht untersucht werden könnten.
Abschließend geben wir einen kurzen Ausblick, wie die Information auf dem subzellulären Level in Einzelzell-Modelle integriert werden kann.

"Answer Set Based Planning"

"Preferential and Preferential-Discriminative Consequence Relations"

"Two ways of merging knowledge bases"

"CONALD: A Configurable Plan-Based Dialogue System"

"Utilizing Problem Structure in Planning: A Local Search Approach"

"The Protégé OWL Plugin: An Open Development Environment for Semantic Web Applications"

"GOL und General Process Theory: ein konstruktiver Vergleich"

"Qualitative Decision Rules Under Uncertainty"

"LRI-Core, a Platonic core ontology for law with a common sense grounding"

"Zur Bewertung von Mustern im Fuzzy Data Mining"

"Planning with Loops"

"MSO-definierbare lokale temporale Logiken für Mazurkiewicz-Spuren"

"Data, Schema and Ontology Integration"

"Quantitative Automatenmodelle für diskrete Systeme"

"Grid Computing - Beschreibung und Nutzung von verteilten Resourcen"

Aus dem Bedarf an großen Mengen von Rechenressourcen, Datenspeicher und sonstiger IT Infrastruktur wurde die Idee des Grid Computings geboren. Um die Aufgabenstellungen der Nutzer lösen zu können werden neben diesen Ressourcen Anwendungen benötigt. Dazu ist es notwendig, geeignete Komponenten zu finden und zu komplexen Grid Anwendungen zusammenzuführen. Dies erfordert die standardisierte Formulierung der Problemstellung einerseits, sowie die standardisierte Bereitstellung von Informationen zu den im Grid vorhandenen Software Ressourcen andererseits. Im Fraunhofer Resource Grid (FhRG) wurde dazu eine Grid Middleware entwickelt, die oberhalb der Globus Software einen einfachen und intuitiv nutzbaren Zugang zum FhRG bietet.

"Festkolloquium zur Emeritierung von Prof. Dr. Klaus Irmscher"

"The Semantic Web: A New Foundation for LegalKnowledge Based Systems"

"Fundamentals of Transparent Intensional Logic (TIL) and Procedural Theory of Concepts"

"Parmenides Principle"

"Einbindung von Lagacy-Systemen in moderne IT-Architekturen"

"An Introduction to Decisive Plausible Logic"

"Levels of reality"

"Logical Systems and Institutions"

"Question-Answering Based on Virtually Integrated Lexical Knowledge Base"

"Information Extraction by Grammatical Inference"

"Prototype-Based Ontology Learning"

"Logical languages for preference representation"

"Verteilt organisierte geschlossene Videokonferenzen im Internet"

"Belief liberation (and retraction)"

"Wissensrepräsentation mit Mehrschichtigen Erweiterten Semantischen Netzen (MultiNet) - Struktureller Aufbau, Anwendungen und technologische Umgebung -"

"Using planning in agent and answer set programming systems"

"Feli-X: Ein Prototyp eines Computeralgebra-basierten Geometrieprogramms"

"Description Logics for Semantic Web Ontologies"

"Defaults with Reliability Factors"