A Universally Defined Undecidable Unimodal Logic.

Edith Hemaspaandra Henning Schnoor

Published in: MFCS (2011)

Keyphrases

information systems
logic programming
database
neural network
sufficient conditions
np complete
modal logic
automated reasoning
defeasible logic
relational structures
linear logic