Effectively Retractable Theories and Degrees of Undecidability.

Published in: J. Symb. Log. (1969)

Keyphrases

database
description logics
artificial intelligence
theoretical framework
web services
multi agent
expert systems
decision problems
causal reasoning