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 updated on Fri May 24 06:19:08 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page