10 citations · 30 across the 15 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2018
A Parameterized Complexity View on Description Logic Reasoning
Ronald de Haan
Description logics are knowledge representation languages that have been designed to strike a balance between expressivity and computational tractability. Many different descriptio…
cs.LO2016★ 1 cited
Characterizing Polynomial Ramsey Quantifiers
Ronald de Haan, Jakub Szymanik
Ramsey quantifiers are a natural object of study not only for logic and computer science, but also for the formal semantics of natural language. Restricting attention to finite mod…