Choice Logics and Their Computational Properties.

Michael Bernreiter Jan Maly Stefan Woltran

Published in: CoRR (2021)

Keyphrases

computational properties
expressive power
logic programs
description logics
semantic properties
query language
reasoning problems