default search action
Search dblp for Publications
export results for "toc:db/journals/jlp/jlp30.bht:"
@article{DBLP:journals/jlp/Ait-KaciPG97, author = {Hassan A{\"{\i}}t{-}Kaci and Andreas Podelski and Seth Copen Goldstein}, title = {Order Sorted Feature Theory Unification}, journal = {J. Log. Program.}, volume = {30}, number = {2}, pages = {99--124}, year = {1997}, url = {https://doi.org/10.1016/S0743-1066(96)00053-2}, doi = {10.1016/S0743-1066(96)00053-2}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlp/Ait-KaciPG97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlp/Azevedo97, author = {Paulo Jorge de Sousa Azevedo}, title = {Magic Sets with Full Sharing}, journal = {J. Log. Program.}, volume = {30}, number = {3}, pages = {223--237}, year = {1997}, url = {https://doi.org/10.1016/S0743-1066(96)00119-7}, doi = {10.1016/S0743-1066(96)00119-7}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlp/Azevedo97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlp/Baral97, author = {Chitta Baral}, title = {Embedding Revision Programs in Logic Programming Situation Calculus}, journal = {J. Log. Program.}, volume = {30}, number = {1}, pages = {83--97}, year = {1997}, url = {https://doi.org/10.1016/S0743-1066(96)00080-5}, doi = {10.1016/S0743-1066(96)00080-5}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlp/Baral97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlp/CodishFMW97, author = {Michael Codish and Moreno Falaschi and Kim Marriott and William H. Winsborough}, title = {A Confluent Semantic Basis for the Analysis of Concurrent Constraint Logic Programs}, journal = {J. Log. Program.}, volume = {30}, number = {1}, pages = {53--81}, year = {1997}, url = {https://doi.org/10.1016/S0743-1066(96)00013-1}, doi = {10.1016/S0743-1066(96)00013-1}, timestamp = {Sun, 25 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jlp/CodishFMW97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlp/HaasJ97, author = {Juergen Haas and Bharat Jayaraman}, title = {From Context-Free to Definite-Clause Grammars: {A} Type-Theoretic Approach}, journal = {J. Log. Program.}, volume = {30}, number = {1}, pages = {1--23}, year = {1997}, url = {https://doi.org/10.1016/S0743-1066(96)00015-5}, doi = {10.1016/S0743-1066(96)00015-5}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlp/HaasJ97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlp/HerreW97, author = {Heinrich Herre and Gerd Wagner}, title = {Stable Models Are Generated by a Stabel Chain}, journal = {J. Log. Program.}, volume = {30}, number = {2}, pages = {165--177}, year = {1997}, url = {https://doi.org/10.1016/S0743-1066(96)00106-9}, doi = {10.1016/S0743-1066(96)00106-9}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlp/HerreW97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlp/Higgins97, author = {Christopher P. Higgins}, title = {On Integrating Objects and Relations Using Multimethods}, journal = {J. Log. Program.}, volume = {30}, number = {3}, pages = {205--221}, year = {1997}, url = {https://doi.org/10.1016/S0743-1066(96)00104-5}, doi = {10.1016/S0743-1066(96)00104-5}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlp/Higgins97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlp/LauO97, author = {Kung{-}Kiu Lau and Mario Ornaghi}, title = {The Relationship Between Logic Programs and Specifications - The Subset Example Revisited}, journal = {J. Log. Program.}, volume = {30}, number = {3}, pages = {239--257}, year = {1997}, url = {https://doi.org/10.1016/S0743-1066(96)00128-8}, doi = {10.1016/S0743-1066(96)00128-8}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlp/LauO97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlp/Lin97, author = {Zheng Lin}, title = {Parallel Execution of Logic Programs by Load Sharing}, journal = {J. Log. Program.}, volume = {30}, number = {1}, pages = {25--51}, year = {1997}, url = {https://doi.org/10.1016/S0743-1066(96)00014-3}, doi = {10.1016/S0743-1066(96)00014-3}, timestamp = {Mon, 14 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jlp/Lin97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlp/NgT97, author = {Raymond T. Ng and Xiaomei Tian}, title = {Incremental Algorithms for Optimizing Model Computation Based on Partial Instantiation}, journal = {J. Log. Program.}, volume = {30}, number = {3}, pages = {179--204}, year = {1997}, url = {https://doi.org/10.1016/S0743-1066(96)00126-4}, doi = {10.1016/S0743-1066(96)00126-4}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlp/NgT97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlp/PrzymusinskiT97, author = {Teodor C. Przymusinski and Hudson Turner}, title = {Update by Means of Inference Rules}, journal = {J. Log. Program.}, volume = {30}, number = {2}, pages = {125--143}, year = {1997}, url = {https://doi.org/10.1016/S0743-1066(96)00091-X}, doi = {10.1016/S0743-1066(96)00091-X}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlp/PrzymusinskiT97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlp/TarauBD97, author = {Paul Tarau and Koenraad De Bosschere and Bart Demoen}, title = {On Delphi Lemmas and other Memoing Techniques for Deterministic Logic Programs}, journal = {J. Log. Program.}, volume = {30}, number = {2}, pages = {145--163}, year = {1997}, url = {https://doi.org/10.1016/S0743-1066(96)00105-7}, doi = {10.1016/S0743-1066(96)00105-7}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlp/TarauBD97.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.