Completed Projects

 

iCity


The iCity project aims to develope a framework for ambient intelligence systems, enabling mobile devices like Smartphones or PDAs to support users with personalized, localized informations and transactions. Transactional security and privacy are major issues in terms of Bluetooth communication for concrete applications, bridging the last meter and offering a free-of-charge transmission path.

[project page]

Model Generation for Selected Applications


The goal of automated deduction is to develop automatic or semi- automatic methods for proof search in formal logical systems in order to solve problems in mathematics, computer science or engineering disciplines. This project seeks to build on the expertise of the two collaborators to develop efficient automated deduction algorithms to solve the problems encountered in two important application domains, namely "circuit design, testing and diagnostics" and "data manipula- tion in deductive databases".
[project page]
 

Verisoft XT


The main goal of the project is the pervasive formal verification of computer systems. The correct functionality of systems, as they are used, for example, in automotive engineering, in security technology and in the sector of medical technology, is to be mathematically proved. The previous most related project was Verisoft .

(This project is continued at the Karlsruhe Institute of Technology)
[ project overview ]  [ project page ]

 

Verisoft


The aim of the Verisoft project is to facilitate the complete, formal verification of computer systems.
[ project overview ]  [ project page ]
cityonfootklein.jpg

City on Foot (before: Spatial Metro)


The projects main objective is to provide a transnational response to the challenge of making the European City, and its component elements, intelligible, legible and navigable for visitors and local people by adopting a conceptual model for pedestrian movement based on the diagrammatic plan used to orientate users around metro, u bahn or underground railway systems and to support this with a broad range of media, human and small scale physical infrastructure. Norwich branch of project aims to create themed routes.
[ project overview ] [ project page ]

IASON


The IASON project aims to use Artificial Intelligence technology on mobile devices in order to offer intelligent location-based services to the user. Intelligent services include personalized recommendations, gathering of relevant information etc. This is achieved through inference of available information in the users vincinity and the users profile. Reasoning is used to find matches ofoffered and requested pieces of information. A variety of Artificial Intelligence techniques will be included in the research. (E.g. machine learning based on your actions might be used to infer mor of your preferences.)
[project overview]       [project page]

RoboLog


In this project we are researching the application of logic and deductive techniques for controlling a team of autonomous agents. The RoboCup Simulation League Soccer Server provides an easy way to test the quality of competitive approaches. RoboLog is both the name of our team and our interface to the Soccer Server. This enterprise is funded by the Deutsche Forschungsgemeinschaft - DFG in two projects, one is associated with the priority program on Spatial Cognition ; the other one is part of the Special Priority Program RoboCup of the DFG .
[project overview]  [project page ]

MoDeDok - Model Based Deduction in Predicate Logic with a Document Management Application


Today model computation in propositional logic is used for complex tasks in planning, verification and diagnosis. For wider application fields, extensions of language expressivity are necessary: for example full first order predicate logic, non-monotonic methods, preferred models, supported models, answer set programming and description logics. Within the project, application relevant aspects of such techniques are investigated and implemented efficiently. Practical adequacy of the approach is demonstrated with a case study from the field of document management.
This project is funded by DFG
[project overview]  [project page]

BANG 3



BANG 3 is a high-performance distributed polymorphic middleware together with a colony of cooperating agents primarily suited for experiments and competitions in artificial intelligence.
We are working on an ontology component for BANG
BANG 3 is a project of the Institute of Computer Science of Czech Academy of Sciences
[project page]

In2Math



A project dealing with the preparation of teaching materials for undergraduate lectures in mathematics and computer science. The (multi media) materials have to be prepared for interactive usage and will be tested in a project at some Universities.
[project page]

DISLOP



The aim of this project is to extend logic programming by disjunctive rules with non-monotonic negation. Besides theory on logic programming and non-monotonic reasoning, there is work on applications as well.
This project is funded by DFG. [project page]

HyperCampus - Universität Koblenz



HyperCampus is a new concept for the University Koblenz-Landau granting a mobile internet and Uni - LAN access by means of wireless networking techniques.
This offers the opportunity:
for the development of new teaching and learning concepts
for the integration of new communication techniques into the daily university ``life''
and highly increased efficiency for services needed by students and reseachers.
The project HyperCampus is funded by the Bundesministerium für Bildung und Forschung - BMBF
[project page]

IWIA - Intelligent Web Information Agents



Intelligent Web Information Agents IWIA is aiming at intelligent software agents for information retrieval in the web. Besides combining and doing research on several AI fields like Deduction, Machine Learning, Information Extraction and Multi Agent Systems we also focus our work on the growing market of Mobile Computing Devices by developing an mobile Information System for PDAs. This project is funded by Ministerium für Bildung, Wissenschaft und Weiterbildung, Land Rheinland-Pfalz. Also visit the Mobile Information Agents - MIA Prototype.
[project page] [MIA Prototype]

LExIKON



The project LExIKON deals with innovative learning approaches to the extraction of knowledge from the Internet. The underlying learning mechanisms invoke inductive inference of text patterns as well as inductive inference of elementary formal systems / logic programs.
Watch this Flash Movie to learn more about our project partners and what LExIKON is all about!
LExIKON is funded by the Bundesministerium für Wirtschaft - BMWi

Slicing Book Technology




Slicing Books Technology combines the advantages of books with the flexibility of databases. AI methods bring the competence of the authors to the readers. The technology is further developed within the TRIAL-SOLUTION project with 11 partners from five European countries.
[project page]

Theory Reasoning in Proof Procedures for First Order Predicate Calculi



In this project we pursue basic research on automated theorem proving, thereby specialising on theory reasoning, certain aspects of logic programming and model computation. The more theoretical work on the development of various calculi is complement by system developments and practical applications thereof.
This project is funded by DFG. [project page]

 

Systems

ILF



KI-Server offers presentation of Hypertableaux proofs in HTML, based on technology.

PROTEIN



In this project on Theory Reasoning in Proof Procedures for First Order Predicate Calculi techniques are developed to treat special theories (e.g. equality) in a efficient way for theorem proving. The theorem prover PROTEIN was developed within this project.
This project is funded by DFG. [project page]

 

Cooperation

Automating Defeasible Reasoning with Logic Programming




This is a cooperation project between the University of Bahía Blanca, Argentina, and the University of Koblenz-Landau, Germany. The major goals are:
providing a fully declarative logical language for multi-agent programming,
making the decision process of agents defeasible for better control of actions,
implementing the theoretical approaches in a concrete system.
The project is funded by the BMBF (Wissenschaftlich-technologische Zusammenarbeit mit Südamerika) and the Secretaría de Ciencia y Tecnología (SCyT), Argentina.See http://swt.cs.tu-berlin.de/cooperations/GA.html.