Informatik, TU Wien

Forschungsschwerpunkt Logic and Computation

Der Forschungsschwerpunkt Logic and Computation beschäftigt sich mit der Entwicklung von Methoden, Wissen formal zu repräsentieren und daraus auf "intelligente" Weise Problemlösungen zu berechnen. Eine Schlüsselrolle kommt dem automatisierten Erwerb, der geeigneten Repräsentation und der automatischen Manipulation von Wissen, sowie den wissensbasierten Mensch-Maschine Schnittstellen zu.

Coordinator

Prof. Stefan Szeider

Contact person for the Research Focus "Logic and Computation"
Institute of Logic and Computation
1040 Wien, Favoritenstraße 9-11/E192
T: +43-1-58801-186101
E:

Research Topics

Logic and Computation focuses on logical methods and algorithms for modeling, constructing, and analyzing complex and intelligent computer systems. The research focus comprises basic research on mathematical logic, automated decision procedures, and algorithms and their complexity, as well as applications of logical methods to data and knowledge bases, semantic systems, artificial intelligence, and formal methods for building and operating computer systems. Logic serves as a unifying theme that provides the theory and tools to acquire, represent, and manipulate information in intelligent systems, and to address challenges such as the security, safety, and correctness of safety-critical and distributed systems.

In particular, the research focus "Logic and Computation" comprises the following research topics:

• Algorithms and complexity
• Computational logic and deduction
• Constraints and satisfiability
• Problem solving and optimization
• Foundations of databases and artificial intelligence
• Knowledge representation and reasoning methods
• Semantic systems and the Web
• Formal methods for security and privacy
• Verification and safety of computer systems
• Natural computing and formal languages