Research report 2011 - Max Planck Institute for Informatics

Answering complex queries – The next step in searching the internet more effectively

Wischnewski, Patrick
Max-Planck-Forschungsgruppe Automation of Logic (Christoph Weidenbach)
Today, there is a vast quantity of knowledge available, in particular on the Internet. In order to precisely answer complex queries in terms of this knowledge, a computer has to be able to perform reasoning on this knowledge. At the Max Planck Institute for Informatics methods are developed that allow a computer to efficiently reason about knowledge bases consisting of several million entries. These methods answer complex queries with respect to such a knowledge base in less than one second.

For the full text, see the German version.

Go to Editor View