1. Editorial welcome

   • Martin Charles Golumbic

   EditorialNotes 22 October 2013 Pages: I - III

2. Robert G. Jeroslow 1942–1988

   • Egon Balas

   Announcement 22 October 2013 Pages: IV - VII

3. International conference announcement

   Announcement 01 September 1990 Pages: VIII - X

4. Definite clause programs are canonical (over a suitable domain)

   • Howard A. Blair
   • Allen L. Brown Jr.

   OriginalPaper 01 September 1990 Pages: 1 - 19

5. Polynomial-time inference of all valid implications for Horn and related formulae

   • E. Boros
   • Y. Crama
   • P. L. Hammer

   OriginalPaper 01 September 1990 Pages: 21 - 32

6. On renamable Horn and generalized Horn functions

   • Vijaya Chandru
   • Collette R. Coullard
   • Xiaorong Sun

   OriginalPaper 01 September 1990 Pages: 33 - 47

7. Interactive scheduling as a constraint satisfiability problem

   • Ronen Feldman
   • Martin Charles Golumbic

   OriginalPaper 01 September 1990 Pages: 49 - 73

8. Neural networks and heuristic search

   • Harvey J. Greenberg

   OriginalPaper 01 September 1990 Pages: 75 - 95

9. Boolean query optimization and the 0-1 hyperbolic sum problem

   • Pierre Hansen
   • Marcus V. Poggi de Aragão
   • Celso C. Ribeiro

   OriginalPaper 01 September 1990 Pages: 97 - 109

10. The tabu search metaheuristic: How we used it

    • A. Hertz
    • D. de Werra

    OriginalPaper 01 September 1990 Pages: 111 - 121

11. Branch-and-cut solution of inference problems in propositional logic

    • J. N. Hooker
    • C. Fedjki

    OriginalPaper 01 September 1990 Pages: 123 - 139

12. Searching minimax game trees under memory space constraint

    • Toshihide Ibaraki
    • Yoshiroh Katoh

    OriginalPaper 01 September 1990 Pages: 141 - 153

13. On-line 2-satisfiability

    • Brigitte Jaumard
    • Paola Marchioro
    • Bruno Simeone

    OriginalPaper 01 September 1990 Pages: 155 - 165

14. Solving propositional satisfiability problems

    • Robert G. Jeroslow
    • Jinchang Wang

    OriginalPaper 01 September 1990 Pages: 167 - 187

15. A linear programming approach to reasoning about probabilities

    • Dimitris Kavvadias
    • Christos H. Papadimitriou

    OriginalPaper 01 September 1990 Pages: 189 - 205

16. Stochastic discrimination

    • E. M. Kleinberg

    OriginalPaper 01 September 1990 Pages: 207 - 239

17. A theory of nonmonotonic rule systems I

    • W. Marek
    • A. Nerode
    • J. Remmel

    OriginalPaper 01 September 1990 Pages: 241 - 273

18. Modal logic for default reasoning

    • W. Marek
    • M. Truszczyński

    OriginalPaper 01 September 1990 Pages: 275 - 302

19. Most specific logic programs

    • K. Marriott
    • L. Naish
    • J. -L. Lassez

    OriginalPaper 01 September 1990 Pages: 303 - 338

20. On stratified disjunctive programs

    • Arcot Rajasekar
    • Jack Minker

    OriginalPaper 01 September 1990 Pages: 339 - 357

21. Question-asking strategies for Horn clause systems

    • Jinchang Wang
    • John Vande Vate

    OriginalPaper 01 September 1990 Pages: 359 - 370