Studia Logica: An International Journal for Symbolic Logic, Vol. 61, No. 2 (Sep., 1998), pp. 237-280 (44 pages) In this work we develop goal-directed deduction methods for the implicational fragment ...

The German Research Foundation (DFG) will fund a Reinhart Koselleck project at the University of Cologne with 1.25 million euros over five years / The project combines computer science and meteorology ...

Artificial intelligence (AI) developed its reputation for efficiency and predictability through systematic decision making procedures. However, disruptors are rising to contest the basic algorithms ...

Researchers have recently found an algorithmic approach to automatically improve the design of scatterplots by exploiting models and measures of human perception. Algorithms can now exploit models and ...

What are your research topics? I study the automation of logical reasoning and optimisation with computers on both the theoretical and practical levels. My primary goal is to produce effective general ...

Algorithms and rule-based systematic trading systems have gone from representing near 30% of the market to now dominating where only 10% of those influencing the supply and demand balance decisions ...

Algorithmic trading is no longer the exclusive domain of niche quantitative firms—it has become the backbone of modern financial markets. I am already seeing the significant impact AI-driven ...

Scalable Graph Algorithms for Bioinformatics using Structure, Parameterization and Dynamic Updates, ERC Consolidator Grant, 9/2025-8/2030 Sequencing technologies have developed to be cheap and ...