Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Gert Smolka

A Goal-Directed Decision Procedure for Hybrid PDL

Journal of Automated Reasoning

Computational Theory

Artificial Intelligence

English

Terminating Tableaux for $\Mathcal{SOQ}$ With Number Restrictions on Transitive Roles

IFIP Advances in Information and Communication Technology

Computer Networks

Information Systems

English

Attributive Description Formalisms ... And the Rest of the World

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English

Records for Logic Programming

The Journal of Logic Programming

English

Related publications

Conditional Risk Premia in Currency Markets and Other Asset Classes

Journal of Financial Economics

English

Delegated Asset Management, Investment Mandates, and Capital Immobility

Journal of Financial Economics

English

How Do Staggered Boards Affect Shareholder Value? Evidence From a Natural Experiment

Journal of Financial Economics

English

The Unintended Consequences of the Zero Lower Bound Policy

Journal of Financial Economics

English

Displacement Risk and Asset Returns

Journal of Financial Economics

English

Endogenous Intermediation in Over-The-Counter Markets

Journal of Financial Economics

English

Corporate Ownership Structure and the Choice Between Bank Debt and Public Debt

Journal of Financial Economics

English

Time-To-Produce, Inventory, and Asset Prices

Journal of Financial Economics

English

Money and Liquidity in Financial Markets

Journal of Financial Economics

English

Volatility of Aggregate Volatility and Hedge Fund Returns

Journal of Financial Economics

English