A general first-order solution to the ramification problem with cycles.

Hannes Strass Michael Thielscher

Published in: J. Appl. Log. (2013)

Keyphrases

special case
closely related
lower bound
np hard
higher order
integer programming
search space
description logics
optimization method
linear equations
classical logic