Autoepistemic circumscription and logic programming Li Yan YuanJia-Huai You OriginalPaper Pages: 143 - 160
Automated reasoning in differential geometry and mechanics using the characteristic set method Shang-Ching ChouXiao-Shan Gao OriginalPaper Pages: 161 - 172
Automated reasoning in differential geometry and mechanics using the characteristic set method Shang-Ching ChouXiao-Shan Gao OriginalPaper Pages: 173 - 189
A semantical framework for supporting subjective and conditional probabilities in deductive databases Raymond NgV. S. Subrahmanian OriginalPaper Pages: 191 - 235
First-order syntactic characterizations of minimal entailment, domain-minimal entailment, and Herbrand entailment Marek A. Suchenek OriginalPaper Pages: 237 - 263
The problem of selecting an approach based on prior success Larry Wos Basic Research Problems Pages: 283 - 284