Journal of Logic Programming, Volume 8

Volume 8, Number 1 & 2, January/March 1990

• Leon Sterling:
  Guest Editor's Introduction. 1-3
  
• Peter B. Reintjes:
  AUNT: A Universal Netlist Translator. 5-19
  
• Leon Sterling, Yossi Nygate:
  PYTHON: An Expert Squeezer. 21-39
  
• Allen Van Gelder:
  Modeling Simultaneous Events with Default Reasoning and Tight Derivations. 41-52
  
• David B. Searls, Lewis M. Norton:
  Logic-Based Configuration with a Semantic Network. 53-73
  
• Mehmet Dincbas, Helmut Simonis, Pascal Van Hentenryck:
  Solving Large Combinatorial Problems in Logic Programming. 75-93
  
• Michael M. Gorlick, Carl Kesselman, Daniel A. Marotta, Douglas Stott Parker Jr.:
  Mockingbird: A Logical Methodology for Testing. 95-119
  
• Nabiel A. Elshiewy:
  Logic Programming for Real-Time Control of Telecommunication Switching Systems. 121-144
  
• Kemal Ebcioglu:
  An Expert System for Harmonizing Chorales in the Style of J. S. Bach. 145-185
  

Volume 8, Number 3, May 1990

• Chan Kwok Hung:
  Equivalent Logic Programs. 187-199
  
• Roberto Barbuti, Paolo Mancarella, Dino Pedreschi, Franco Turini:
  A Transformational Approach to Negation in Logic Programming. 201-228
  
• Gerhard Jäger:
  Annotations on the Consistency of the Closed World Assumption. 229-247
  
• Jacques Chassin de Kergommeaux, Philippe Robert:
  An Abstract Machine to Implement OR-AND Parallel Prolog Efficiently. 249-264
  
• Maria Grazia Scutellà:
  A Note on Dowling and Gallier's Top-Down Algorithm for Propositional Horn Satisfiability. 265-273
  

Last update Tue May 21 19:16:59 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page