Login / Signup
A new class of theories for which circumscription can be obtained via the predicate completion.
Sukhamay Kundu
Jianhua Chen
Published in:
J. Exp. Theor. Artif. Intell. (1996)
Keyphrases
</>
data sets
search engine
natural language
multi class
theorem prover
domain theory
minimal models