default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/jlp/jlp8.bht:"
download as .bib file
@article{DBLP:journals/jlp/BarbutiMPT90,
author = {Roberto Barbuti and
Paolo Mancarella and
Dino Pedreschi and
Franco Turini},
title = {A Transformational Approach to Negation in Logic Programming},
journal = {J. Log. Program.},
volume = {8},
number = {3},
pages = {201--228},
year = {1990},
url = {https://doi.org/10.1016/0743-1066(90)90023-X},
doi = {10.1016/0743-1066(90)90023-X},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/BarbutiMPT90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/DincbasSH90,
author = {Mehmet Dincbas and
Helmut Simonis and
Pascal Van Hentenryck},
title = {Solving Large Combinatorial Problems in Logic Programming},
journal = {J. Log. Program.},
volume = {8},
number = {1},
pages = {75--93},
year = {1990},
url = {https://doi.org/10.1016/0743-1066(90)90052-7},
doi = {10.1016/0743-1066(90)90052-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/DincbasSH90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Ebcioglu90,
author = {Kemal Ebcioglu},
title = {An Expert System for Harmonizing Chorales in the Style of J. S. Bach},
journal = {J. Log. Program.},
volume = {8},
number = {1},
pages = {145--185},
year = {1990},
url = {https://doi.org/10.1016/0743-1066(90)90055-A},
doi = {10.1016/0743-1066(90)90055-A},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Ebcioglu90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Elshiewy90,
author = {Nabiel A. Elshiewy},
title = {Logic Programming for Real-Time Control of Telecommunication Switching
Systems},
journal = {J. Log. Program.},
volume = {8},
number = {1},
pages = {121--144},
year = {1990},
url = {https://doi.org/10.1016/0743-1066(90)90054-9},
doi = {10.1016/0743-1066(90)90054-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Elshiewy90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Gelder90,
author = {Allen Van Gelder},
title = {Modeling Simultaneous Events with Default Reasoning and Tight Derivations},
journal = {J. Log. Program.},
volume = {8},
number = {1},
pages = {41--52},
year = {1990},
url = {https://doi.org/10.1016/0743-1066(90)90050-F},
doi = {10.1016/0743-1066(90)90050-F},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Gelder90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/GorlickKMP90,
author = {Michael M. Gorlick and
Carl Kesselman and
Daniel A. Marotta and
Douglas Stott Parker Jr.},
title = {Mockingbird: {A} Logical Methodology for Testing},
journal = {J. Log. Program.},
volume = {8},
number = {1},
pages = {95--119},
year = {1990},
url = {https://doi.org/10.1016/0743-1066(90)90053-8},
doi = {10.1016/0743-1066(90)90053-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/GorlickKMP90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Hung90,
author = {Chan Kwok Hung},
title = {Equivalent Logic Programs},
journal = {J. Log. Program.},
volume = {8},
number = {3},
pages = {187--199},
year = {1990},
url = {https://doi.org/10.1016/0743-1066(90)90022-W},
doi = {10.1016/0743-1066(90)90022-W},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Hung90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Jager90,
author = {Gerhard J{\"{a}}ger},
title = {Annotations on the Consistency of the Closed World Assumption},
journal = {J. Log. Program.},
volume = {8},
number = {3},
pages = {229--247},
year = {1990},
url = {https://doi.org/10.1016/0743-1066(90)90024-Y},
doi = {10.1016/0743-1066(90)90024-Y},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Jager90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/KergommeauxR90,
author = {Jacques Chassin de Kergommeaux and
Philippe Robert},
title = {An Abstract Machine to Implement {OR-AND} Parallel Prolog Efficiently},
journal = {J. Log. Program.},
volume = {8},
number = {3},
pages = {249--264},
year = {1990},
url = {https://doi.org/10.1016/0743-1066(90)90025-Z},
doi = {10.1016/0743-1066(90)90025-Z},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/KergommeauxR90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Reintjes90,
author = {Peter B. Reintjes},
title = {{AUNT:} {A} Universal Netlist Translator},
journal = {J. Log. Program.},
volume = {8},
number = {1},
pages = {5--19},
year = {1990},
url = {https://doi.org/10.1016/0743-1066(90)90048-A},
doi = {10.1016/0743-1066(90)90048-A},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Reintjes90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Scutella90,
author = {Maria Grazia Scutell{\`{a}}},
title = {A Note on Dowling and Gallier's Top-Down Algorithm for Propositional
Horn Satisfiability},
journal = {J. Log. Program.},
volume = {8},
number = {3},
pages = {265--273},
year = {1990},
url = {https://doi.org/10.1016/0743-1066(90)90026-2},
doi = {10.1016/0743-1066(90)90026-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Scutella90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/SearlsN90,
author = {David B. Searls and
Lewis M. Norton},
title = {Logic-Based Configuration with a Semantic Network},
journal = {J. Log. Program.},
volume = {8},
number = {1},
pages = {53--73},
year = {1990},
url = {https://doi.org/10.1016/0743-1066(90)90051-6},
doi = {10.1016/0743-1066(90)90051-6},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/SearlsN90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Sterling90,
author = {Leon Sterling},
title = {Guest Editor's Introduction},
journal = {J. Log. Program.},
volume = {8},
number = {1},
pages = {1--3},
year = {1990},
url = {https://doi.org/10.1016/0743-1066(90)90047-9},
doi = {10.1016/0743-1066(90)90047-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Sterling90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/SterlingN90,
author = {Leon Sterling and
Yossi Nygate},
title = {{PYTHON:} An Expert Squeezer},
journal = {J. Log. Program.},
volume = {8},
number = {1},
pages = {21--39},
year = {1990},
url = {https://doi.org/10.1016/0743-1066(90)90049-B},
doi = {10.1016/0743-1066(90)90049-B},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/SterlingN90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
retrieved on 2024-10-04 15:24 CEST from data curated 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:
