Global solutions for nonlinear systems using qualitative reasoning E. BradleyA. O'GallagherJ. Rogers OriginalPaper Pages: 211 - 288
An efficient algorithm for the minimal unsatisfiability problem for a subclass of CNF Gennady DavydovInna DavydovaHans Kleine Büning OriginalPaper Pages: 229 - 245
Heuristics used by HERBY for semantic tree theorem proving Qingxun YuMohammed AlmullaMonroe Newborn OriginalPaper Pages: 247 - 266
Introducing the mathematical category of artificial perceptions Z. Arzi-GonczarowskiD. Lehmann OriginalPaper Pages: 267 - 298
Adaptation of declaratively represented methods in proof planning Xiaorong HuangManfred KerberLassaad Cheikhrouhou OriginalPaper Pages: 299 - 320
Horn minimization by iterative decomposition Endre BorosOndřej ČepekAlexander Kogan OriginalPaper Pages: 321 - 343