Definite clause programs are canonical (over a suitable domain) Howard A. BlairAllen L. Brown Jr. OriginalPaper 01 September 1990 Pages: 1 - 19
Polynomial-time inference of all valid implications for Horn and related formulae E. BorosY. CramaP. L. Hammer OriginalPaper 01 September 1990 Pages: 21 - 32
On renamable Horn and generalized Horn functions Vijaya ChandruCollette R. CoullardXiaorong Sun OriginalPaper 01 September 1990 Pages: 33 - 47
Interactive scheduling as a constraint satisfiability problem Ronen FeldmanMartin Charles Golumbic OriginalPaper 01 September 1990 Pages: 49 - 73
Neural networks and heuristic search Harvey J. Greenberg OriginalPaper 01 September 1990 Pages: 75 - 95
Boolean query optimization and the 0-1 hyperbolic sum problem Pierre HansenMarcus V. Poggi de AragãoCelso C. Ribeiro OriginalPaper 01 September 1990 Pages: 97 - 109
The tabu search metaheuristic: How we used it A. HertzD. de Werra OriginalPaper 01 September 1990 Pages: 111 - 121
Branch-and-cut solution of inference problems in propositional logic J. N. HookerC. Fedjki OriginalPaper 01 September 1990 Pages: 123 - 139
Searching minimax game trees under memory space constraint Toshihide IbarakiYoshiroh Katoh OriginalPaper 01 September 1990 Pages: 141 - 153
On-line 2-satisfiability Brigitte JaumardPaola MarchioroBruno Simeone OriginalPaper 01 September 1990 Pages: 155 - 165
Solving propositional satisfiability problems Robert G. JeroslowJinchang Wang OriginalPaper 01 September 1990 Pages: 167 - 187
A linear programming approach to reasoning about probabilities Dimitris KavvadiasChristos H. Papadimitriou OriginalPaper 01 September 1990 Pages: 189 - 205
A theory of nonmonotonic rule systems I W. MarekA. NerodeJ. Remmel OriginalPaper 01 September 1990 Pages: 241 - 273
Modal logic for default reasoning W. MarekM. Truszczyński OriginalPaper 01 September 1990 Pages: 275 - 302
Most specific logic programs K. MarriottL. NaishJ. -L. Lassez OriginalPaper 01 September 1990 Pages: 303 - 338
On stratified disjunctive programs Arcot RajasekarJack Minker OriginalPaper 01 September 1990 Pages: 339 - 357
Question-asking strategies for Horn clause systems Jinchang WangJohn Vande Vate OriginalPaper 01 September 1990 Pages: 359 - 370