Weak Generalized Closed World Assumption Arcot RajasekarJorge LoboJack Minker OriginalPaper Pages: 293 - 307
Horn equational theories and paramodulation Ulrich FurbachSteffen HölldoblerJoachim Schreiber OriginalPaper Pages: 309 - 337
Discovering inequality conditions in the analytic solution of optimization problems Bruce W. CharAlan R. MacnaughtonPaul A. Strooper OriginalPaper Pages: 339 - 362
The problem of guaranteeing the existence of a complete set of reductions Larry Wos Basic Research Problems Pages: 399 - 401
Using an extended PROLOG to solve the lion and unicorn puzzle Richard SchmidHans-Albert SchneiderThomas Filkorn Problem Corner Pages: 403 - 408