default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-03-05 20:57 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
