Search dblp for Publications

export results for "toc:db/conf/slp/slp95.bht:"

 download as .bib file

@inproceedings{DBLP:conf/slp/Ait-Kaci95,
  author       = {Hassan A{\"{\i}}t{-}Kaci},
  editor       = {John W. Lloyd},
  title        = {D{\'{e}}j{\'{a}} Vu - Or Whatever Are We Doing Here?...
                  (Panel Abstract)},
  booktitle    = {Logic Programming, Proceedings of the 1995 International Symposium,
                  Portland, Oregon, USA, December 4-7, 1995},
  pages        = {621--624},
  publisher    = {{MIT} Press},
  year         = {1995},
  url          = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6299968},
  timestamp    = {Wed, 11 Aug 2021 17:02:32 +0200},
  biburl       = {https://dblp.org/rec/conf/slp/Ait-Kaci95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/Andrews95,
  author       = {James H. Andrews},
  editor       = {John W. Lloyd},
  title        = {A Paralogical Semantics for the Prolog Cut},
  booktitle    = {Logic Programming, Proceedings of the 1995 International Symposium,
                  Portland, Oregon, USA, December 4-7, 1995},
  pages        = {591--605},
  publisher    = {{MIT} Press},
  year         = {1995},
  url          = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6299975},
  timestamp    = {Wed, 11 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/slp/Andrews95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/BandaMS95,
  author       = {Maria J. Garc{\'{\i}}a de la Banda and
                  Kim Marriott and
                  Peter J. Stuckey},
  editor       = {John W. Lloyd},
  title        = {Efficient Analysis of Logic Programs with Dynamic Scheduling},
  booktitle    = {Logic Programming, Proceedings of the 1995 International Symposium,
                  Portland, Oregon, USA, December 4-7, 1995},
  pages        = {417--431},
  publisher    = {{MIT} Press},
  year         = {1995},
  url          = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6300104},
  timestamp    = {Wed, 11 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/slp/BandaMS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/BarklundDCL95,
  author       = {Jonas Barklund and
                  Pierangelo Dell'Acqua and
                  Stefania Costantini and
                  Gaetano Aurelio Lanzarone},
  editor       = {John W. Lloyd},
  title        = {Semantical Properties of Encodings in Logic Programming},
  booktitle    = {Logic Programming, Proceedings of the 1995 International Symposium,
                  Portland, Oregon, USA, December 4-7, 1995},
  pages        = {288--302},
  publisher    = {{MIT} Press},
  year         = {1995},
  url          = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6300533},
  timestamp    = {Wed, 11 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/slp/BarklundDCL95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/BekkersT95,
  author       = {Yves Bekkers and
                  Paul Tarau},
  editor       = {John W. Lloyd},
  title        = {Monadic Constructs for Logic Programming},
  booktitle    = {Logic Programming, Proceedings of the 1995 International Symposium,
                  Portland, Oregon, USA, December 4-7, 1995},
  pages        = {51--65},
  publisher    = {{MIT} Press},
  year         = {1995},
  url          = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6299963},
  timestamp    = {Wed, 11 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/slp/BekkersT95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/BigotD95,
  author       = {Peter A. Bigot and
                  Saumya K. Debray},
  editor       = {John W. Lloyd},
  title        = {A Simple Approach to Supporting Untagged Objects in Dynamically Typed
                  Languages},
  booktitle    = {Logic Programming, Proceedings of the 1995 International Symposium,
                  Portland, Oregon, USA, December 4-7, 1995},
  pages        = {257--271},
  publisher    = {{MIT} Press},
  year         = {1995},
  url          = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6300536},
  timestamp    = {Wed, 11 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/slp/BigotD95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/BoerG95,
  author       = {Frank S. de Boer and
                  Maurizio Gabbrielli},
  editor       = {John W. Lloyd},
  title        = {Modelling Real-Time in Concurrent Constraint Programming},
  booktitle    = {Logic Programming, Proceedings of the 1995 International Symposium,
                  Portland, Oregon, USA, December 4-7, 1995},
  pages        = {528--542},
  publisher    = {{MIT} Press},
  year         = {1995},
  url          = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6299993},
  timestamp    = {Wed, 11 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/slp/BoerG95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/BrimGJK95,
  author       = {Lubos Brim and
                  David R. Gilbert and
                  Jean{-}Marie Jacquet and
                  Mojm{\'{\i}}r Kret{\'{\i}}nsk{\'{y}}},
  editor       = {John W. Lloyd},
  title        = {Synchronisation in Scc},
  booktitle    = {Logic Programming, Proceedings of the 1995 International Symposium,
                  Portland, Oregon, USA, December 4-7, 1995},
  pages        = {641},
  publisher    = {{MIT} Press},
  year         = {1995},
  url          = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6299954},
  timestamp    = {Wed, 11 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/slp/BrimGJK95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/Brzoska95,
  author       = {Christoph Brzoska},
  editor       = {John W. Lloyd},
  title        = {Temporal Logic Programming in Dense Time},
  booktitle    = {Logic Programming, Proceedings of the 1995 International Symposium,
                  Portland, Oregon, USA, December 4-7, 1995},
  pages        = {303--317},
  publisher    = {{MIT} Press},
  year         = {1995},
  url          = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6300247},
  timestamp    = {Wed, 11 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/slp/Brzoska95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/CarlsonCJ95,
  author       = {Bj{\"{o}}rn Carlson and
                  Mats Carlsson and
                  Sverker Janson},
  editor       = {John W. Lloyd},
  title        = {The implementation of {AKL(FD)}},
  booktitle    = {Logic Programming, Proceedings of the 1995 International Symposium,
                  Portland, Oregon, USA, December 4-7, 1995},
  pages        = {227--241},
  publisher    = {{MIT} Press},
  year         = {1995},
  url          = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6300566},
  timestamp    = {Wed, 11 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/slp/CarlsonCJ95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/CominiLM95,
  author       = {Marco Comini and
                  Giorgio Levi and
                  Maria Chiara Meo},
  editor       = {John W. Lloyd},
  title        = {Compositionality in SLD-Derivations and their Abstractions},
  booktitle    = {Logic Programming, Proceedings of the 1995 International Symposium,
                  Portland, Oregon, USA, December 4-7, 1995},
  pages        = {561--575},
  publisher    = {{MIT} Press},
  year         = {1995},
  url          = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6299977},
  timestamp    = {Wed, 11 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/slp/CominiLM95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/CominiLV95,
  author       = {Marco Comini and
                  Giorgio Levi and
                  Giuliana Vitiello},
  editor       = {John W. Lloyd},
  title        = {Declarative Diagnosis Revisited},
  booktitle    = {Logic Programming, Proceedings of the 1995 International Symposium,
                  Portland, Oregon, USA, December 4-7, 1995},
  pages        = {275--287},
  publisher    = {{MIT} Press},
  year         = {1995},
  url          = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6300535},
  timestamp    = {Wed, 11 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/slp/CominiLV95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/ConwayHS95,
  author       = {Thomas C. Conway and
                  Fergus Henderson and
                  Zoltan Somogyi},
  editor       = {John W. Lloyd},
  title        = {Code Generation for Mercury},
  booktitle    = {Logic Programming, Proceedings of the 1995 International Symposium,
                  Portland, Oregon, USA, December 4-7, 1995},
  pages        = {242--256},
  publisher    = {{MIT} Press},
  year         = {1995},
  url          = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6300565},
  timestamp    = {Wed, 11 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/slp/ConwayHS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/DawsonRRS95,
  author       = {Steven Dawson and
                  C. R. Ramakrishnan and
                  I. V. Ramakrishnan and
                  Terrance Swift},
  editor       = {John W. Lloyd},
  title        = {Optimizing Clause Resolution: Beyond Unification Factoring},
  booktitle    = {Logic Programming, Proceedings of the 1995 International Symposium,
                  Portland, Oregon, USA, December 4-7, 1995},
  pages        = {194--208},
  publisher    = {{MIT} Press},
  year         = {1995},
  url          = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6300581},
  timestamp    = {Mon, 03 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/slp/DawsonRRS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/DelzannoM95,
  author       = {Giorgio Delzanno and
                  Maurizio Martelli},
  editor       = {John W. Lloyd},
  title        = {Objects in Forum},
  booktitle    = {Logic Programming, Proceedings of the 1995 International Symposium,
                  Portland, Oregon, USA, December 4-7, 1995},
  pages        = {115--129},
  publisher    = {{MIT} Press},
  year         = {1995},
  url          = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6299949},
  timestamp    = {Wed, 11 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/slp/DelzannoM95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/Dershowitz95,
  author       = {Nachum Dershowitz},
  editor       = {John W. Lloyd},
  title        = {Goal Solving as Operational Semantics},
  booktitle    = {Logic Programming, Proceedings of the 1995 International Symposium,
                  Portland, Oregon, USA, December 4-7, 1995},
  pages        = {3--17},
  publisher    = {{MIT} Press},
  year         = {1995},
  url          = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6300590},
  timestamp    = {Wed, 11 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/slp/Dershowitz95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/DidierE95,
  author       = {Didier Bert and
                  Rachid Echahed},
  editor       = {John W. Lloyd},
  title        = {Abstraction of Conditional Term Rewriting Systems},
  booktitle    = {Logic Programming, Proceedings of the 1995 International Symposium,
                  Portland, Oregon, USA, December 4-7, 1995},
  pages        = {162--176},
  publisher    = {{MIT} Press},
  year         = {1995},
  url          = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6300583},
  timestamp    = {Wed, 11 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/slp/DidierE95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/DimopoulosK95,
  author       = {Yannis Dimopoulos and
                  Antonis C. Kakas},
  editor       = {John W. Lloyd},
  title        = {Logic Programming without Negation as Failure},
  booktitle    = {Logic Programming, Proceedings of the 1995 International Symposium,
                  Portland, Oregon, USA, December 4-7, 1995},
  pages        = {369--383},
  publisher    = {{MIT} Press},
  year         = {1995},
  url          = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6300175},
  timestamp    = {Wed, 11 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/slp/DimopoulosK95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/FerrandL95,
  author       = {G{\'{e}}rard Ferrand and
                  Arnaud Lallouet},
  editor       = {John W. Lloyd},
  title        = {A Compositional Proof Method of Partial Correctness for Normal Logic
                  Programs},
  booktitle    = {Logic Programming, Proceedings of the 1995 International Symposium,
                  Portland, Oregon, USA, December 4-7, 1995},
  pages        = {209--223},
  publisher    = {{MIT} Press},
  year         = {1995},
  url          = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6300567},
  timestamp    = {Wed, 11 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/slp/FerrandL95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/GallagherBS95,
  author       = {John P. Gallagher and
                  Dmitri Boulanger and
                  H{\"{u}}seyin Saglam},
  editor       = {John W. Lloyd},
  title        = {Practical Model-Based Static Analysis for Definite Logic Programs},
  booktitle    = {Logic Programming, Proceedings of the 1995 International Symposium,
                  Portland, Oregon, USA, December 4-7, 1995},
  pages        = {351--365},
  publisher    = {{MIT} Press},
  year         = {1995},
  url          = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6300177},
  timestamp    = {Wed, 11 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/slp/GallagherBS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/GiacobazziR95,
  author       = {Roberto Giacobazzi and
                  Francesco Ranzato},
  editor       = {John W. Lloyd},
  title        = {Functional Dependencies and Moore-Set Completions of Abstract Interpretations
                  and Semantics},
  booktitle    = {Logic Programming, Proceedings of the 1995 International Symposium,
                  Portland, Oregon, USA, December 4-7, 1995},
  pages        = {321--335},
  publisher    = {{MIT} Press},
  year         = {1995},
  url          = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6300246},
  timestamp    = {Wed, 11 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/slp/GiacobazziR95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/GovindarajanJM95,
  author       = {Kannan Govindarajan and
                  Bharat Jayaraman and
                  Surya Mantha},
  editor       = {John W. Lloyd},
  title        = {Relaxation in Constraint Logic Languages},
  booktitle    = {Logic Programming, Proceedings of the 1995 International Symposium,
                  Portland, Oregon, USA, December 4-7, 1995},
  pages        = {637},
  publisher    = {{MIT} Press},
  year         = {1995},
  url          = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6299958},
  timestamp    = {Wed, 11 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/slp/GovindarajanJM95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/Gurr95,
  author       = {Corin A. Gurr},
  editor       = {John W. Lloyd},
  title        = {Declarative Annotations for Logic Programs},
  booktitle    = {Logic Programming, Proceedings of the 1995 International Symposium,
                  Portland, Oregon, USA, December 4-7, 1995},
  pages        = {639},
  publisher    = {{MIT} Press},
  year         = {1995},
  url          = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6299956},
  timestamp    = {Wed, 11 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/slp/Gurr95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/Hanus95,
  author       = {Michael Hanus},
  editor       = {John W. Lloyd},
  title        = {Functional Logic Languages: Combine Search and Efficient Evaluation
                  (Panel Abstract)},
  booktitle    = {Logic Programming, Proceedings of the 1995 International Symposium,
                  Portland, Oregon, USA, December 4-7, 1995},
  pages        = {625--626},
  publisher    = {{MIT} Press},
  year         = {1995},
  url          = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6299967},
  timestamp    = {Wed, 11 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/slp/Hanus95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/HarlandPW95,
  author       = {James Harland and
                  David J. Pym and
                  Michael Winikoff},
  editor       = {John W. Lloyd},
  title        = {Programming in Lygon: {A} Brief Overview},
  booktitle    = {Logic Programming, Proceedings of the 1995 International Symposium,
                  Portland, Oregon, USA, December 4-7, 1995},
  pages        = {636},
  publisher    = {{MIT} Press},
  year         = {1995},
  url          = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6299959},
  timestamp    = {Wed, 11 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/slp/HarlandPW95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/Hui-Bon-Hoa95,
  author       = {Alain Hui{-}Bon{-}Hoa},
  editor       = {John W. Lloyd},
  title        = {Clause-based proofs for hereditary Harrop formulas},
  booktitle    = {Logic Programming, Proceedings of the 1995 International Symposium,
                  Portland, Oregon, USA, December 4-7, 1995},
  pages        = {179--193},
  publisher    = {{MIT} Press},
  year         = {1995},
  url          = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6300582},
  timestamp    = {Wed, 11 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/slp/Hui-Bon-Hoa95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/JaffarMN95,
  author       = {Joxan Jaffar and
                  Michael J. Maher and
                  Gustaf Neumann},
  editor       = {John W. Lloyd},
  title        = {Logic Programming and Object Modelling: {A} Case Study (Abstract)},
  booktitle    = {Logic Programming, Proceedings of the 1995 International Symposium,
                  Portland, Oregon, USA, December 4-7, 1995},
  pages        = {48},
  publisher    = {{MIT} Press},
  year         = {1995},
  url          = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6299974},
  timestamp    = {Wed, 11 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/slp/JaffarMN95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/JamilL95,
  author       = {Hasan M. Jamil and
                  Laks V. S. Lakshmanan},
  editor       = {John W. Lloyd},
  title        = {A Declarative Semantics for Behavioral Inheritance and Conflict Resolution},
  booktitle    = {Logic Programming, Proceedings of the 1995 International Symposium,
                  Portland, Oregon, USA, December 4-7, 1995},
  pages        = {130--144},
  publisher    = {{MIT} Press},
  year         = {1995},
  url          = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6300589},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/slp/JamilL95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/JanssensBD95,
  author       = {Gerda Janssens and
                  Maurice Bruynooghe and
                  Veroniek Dumortier},
  editor       = {John W. Lloyd},
  title        = {A Blueprint for an Abstract Machine for Abstract Interpretation of
                  (Constraint) Logic Programs},
  booktitle    = {Logic Programming, Proceedings of the 1995 International Symposium,
                  Portland, Oregon, USA, December 4-7, 1995},
  pages        = {336--350},
  publisher    = {{MIT} Press},
  year         = {1995},
  url          = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6300178},
  timestamp    = {Wed, 11 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/slp/JanssensBD95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/Kuchen95,
  author       = {Herbert Kuchen},
  editor       = {John W. Lloyd},
  title        = {Implementation Issues for Functional Logic Programming (Tutorial Abstract)},
  booktitle    = {Logic Programming, Proceedings of the 1995 International Symposium,
                  Portland, Oregon, USA, December 4-7, 1995},
  pages        = {612--613},
  publisher    = {{MIT} Press},
  year         = {1995},
  url          = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6299972},
  timestamp    = {Wed, 11 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/slp/Kuchen95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/KuchenA95,
  author       = {Herbert Kuchen and
                  Josef Anastasiadis},
  editor       = {John W. Lloyd},
  title        = {Higher Order Babel},
  booktitle    = {Logic Programming, Proceedings of the 1995 International Symposium,
                  Portland, Oregon, USA, December 4-7, 1995},
  pages        = {633},
  publisher    = {{MIT} Press},
  year         = {1995},
  url          = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6299964},
  timestamp    = {Wed, 11 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/slp/KuchenA95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/LauO95,
  author       = {Kung{-}Kiu Lau and
                  Mario Ornaghi},
  editor       = {John W. Lloyd},
  title        = {A Formal Approach to Deductive Synthesis of Constraint Logic Programs},
  booktitle    = {Logic Programming, Proceedings of the 1995 International Symposium,
                  Portland, Oregon, USA, December 4-7, 1995},
  pages        = {543--557},
  publisher    = {{MIT} Press},
  year         = {1995},
  url          = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6299992},
  timestamp    = {Wed, 11 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/slp/LauO95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/LauOPP95,
  author       = {Kung{-}Kiu Lau and
                  Mario Ornaghi and
                  Alberto Pettorossi and
                  Maurizio Proietti},
  editor       = {John W. Lloyd},
  title        = {Correctness of Logic Program Transformations Based on Existential
                  Termination},
  booktitle    = {Logic Programming, Proceedings of the 1995 International Symposium,
                  Portland, Oregon, USA, December 4-7, 1995},
  pages        = {480--494},
  publisher    = {{MIT} Press},
  year         = {1995},
  url          = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6300031},
  timestamp    = {Wed, 11 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/slp/LauOPP95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/LeoneS95,
  author       = {Nicola Leone and
                  Francesco Scarcello},
  editor       = {John W. Lloyd},
  title        = {Declarative and Fixpoint Characterizations of Disjunctive Stable Models},
  booktitle    = {Logic Programming, Proceedings of the 1995 International Symposium,
                  Portland, Oregon, USA, December 4-7, 1995},
  pages        = {399--413},
  publisher    = {{MIT} Press},
  year         = {1995},
  url          = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6300105},
  timestamp    = {Wed, 11 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/slp/LeoneS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/LeuschelM95,
  author       = {Michael Leuschel and
                  Bern Martens},
  editor       = {John W. Lloyd},
  title        = {Partial Deduction of the Ground Representation and its Application
                  to Integrity Checking},
  booktitle    = {Logic Programming, Proceedings of the 1995 International Symposium,
                  Portland, Oregon, USA, December 4-7, 1995},
  pages        = {495--509},
  publisher    = {{MIT} Press},
  year         = {1995},
  url          = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6300030},
  timestamp    = {Wed, 11 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/slp/LeuschelM95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/LevyR95,
  author       = {Alon Y. Levy and
                  Marie{-}Christine Rousset},
  editor       = {John W. Lloyd},
  title        = {Combining Rules and Description Logics: An Overview of {CARIN}},
  booktitle    = {Logic Programming, Proceedings of the 1995 International Symposium,
                  Portland, Oregon, USA, December 4-7, 1995},
  pages        = {635},
  publisher    = {{MIT} Press},
  year         = {1995},
  url          = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6299960},
  timestamp    = {Wed, 11 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/slp/LevyR95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/Lindgren95,
  author       = {Thomas Lindgren},
  editor       = {John W. Lloyd},
  title        = {Control Flow Analysis of Prolog},
  booktitle    = {Logic Programming, Proceedings of the 1995 International Symposium,
                  Portland, Oregon, USA, December 4-7, 1995},
  pages        = {432--446},
  publisher    = {{MIT} Press},
  year         = {1995},
  url          = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6300038},
  timestamp    = {Wed, 11 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/slp/Lindgren95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/Liu95,
  author       = {Mengchi Liu},
  editor       = {John W. Lloyd},
  title        = {Relationlog: {A} Typed Extension to Datalog with Sets and Tuples (Extended
                  Abstract)},
  booktitle    = {Logic Programming, Proceedings of the 1995 International Symposium,
                  Portland, Oregon, USA, December 4-7, 1995},
  pages        = {83--97},
  publisher    = {{MIT} Press},
  year         = {1995},
  url          = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6299951},
  timestamp    = {Wed, 11 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/slp/Liu95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/Lloyd95,
  author       = {John W. Lloyd},
  editor       = {John W. Lloyd},
  title        = {Integration of Functional and Logic Programming Languages (Panel Abstract)},
  booktitle    = {Logic Programming, Proceedings of the 1995 International Symposium,
                  Portland, Oregon, USA, December 4-7, 1995},
  pages        = {619--620},
  publisher    = {{MIT} Press},
  year         = {1995},
  url          = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6299969},
  timestamp    = {Wed, 11 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/slp/Lloyd95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/MalfonF95,
  author       = {Bernard Malfon and
                  G{\'{e}}rard Ferrand},
  editor       = {John W. Lloyd},
  title        = {Type Correct programs: {A} semantic approach},
  booktitle    = {Logic Programming, Proceedings of the 1995 International Symposium,
                  Portland, Oregon, USA, December 4-7, 1995},
  pages        = {576--590},
  publisher    = {{MIT} Press},
  year         = {1995},
  url          = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6299976},
  timestamp    = {Wed, 11 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/slp/MalfonF95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/MarchioriT95,
  author       = {Elena Marchiori and
                  Frank Teusink},
  editor       = {John W. Lloyd},
  title        = {Proving Termination of Logic Programs with Delay Declarations},
  booktitle    = {Logic Programming, Proceedings of the 1995 International Symposium,
                  Portland, Oregon, USA, December 4-7, 1995},
  pages        = {447--461},
  publisher    = {{MIT} Press},
  year         = {1995},
  url          = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6300036},
  timestamp    = {Wed, 11 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/slp/MarchioriT95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/McClay95,
  author       = {William J. McClay},
  editor       = {John W. Lloyd},
  title        = {Surviving the {AI} Winter},
  booktitle    = {Logic Programming, Proceedings of the 1995 International Symposium,
                  Portland, Oregon, USA, December 4-7, 1995},
  pages        = {33--47},
  publisher    = {{MIT} Press},
  year         = {1995},
  url          = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6300037},
  timestamp    = {Wed, 11 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/slp/McClay95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/MessingS95,
  author       = {Barbara Messing and
                  Peter v. Stackelberg},
  editor       = {John W. Lloyd},
  title        = {Regular Signed Resolution Applied to Annotated Logic Programs},
  booktitle    = {Logic Programming, Proceedings of the 1995 International Symposium,
                  Portland, Oregon, USA, December 4-7, 1995},
  pages        = {638},
  publisher    = {{MIT} Press},
  year         = {1995},
  url          = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6299957},
  timestamp    = {Wed, 11 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/slp/MessingS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/Millroth95,
  author       = {H{\aa}kan Millroth},
  editor       = {John W. Lloyd},
  title        = {Tradeoffs Explicit and Omplicit Parallelism (Tutorial Abstract)},
  booktitle    = {Logic Programming, Proceedings of the 1995 International Symposium,
                  Portland, Oregon, USA, December 4-7, 1995},
  pages        = {614},
  publisher    = {{MIT} Press},
  year         = {1995},
  url          = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6299971},
  timestamp    = {Wed, 11 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/slp/Millroth95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/Moss95,
  author       = {Chris Moss},
  editor       = {John W. Lloyd},
  title        = {Logic and Objects (Tutorial Abstract)},
  booktitle    = {Logic Programming, Proceedings of the 1995 International Symposium,
                  Portland, Oregon, USA, December 4-7, 1995},
  pages        = {609--611},
  publisher    = {{MIT} Press},
  year         = {1995},
  url          = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6299973},
  timestamp    = {Wed, 11 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/slp/Moss95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/PedroM95,
  author       = {Vasco Pedro and
                  Lu{\'{\i}}s Monteiro},
  editor       = {John W. Lloyd},
  title        = {An Approach to Verification in Contextual Logic Programming},
  booktitle    = {Logic Programming, Proceedings of the 1995 International Symposium,
                  Portland, Oregon, USA, December 4-7, 1995},
  pages        = {634},
  publisher    = {{MIT} Press},
  year         = {1995},
  url          = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6299961},
  timestamp    = {Wed, 11 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/slp/PedroM95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/Prehofer95,
  author       = {Christian Prehofer},
  editor       = {John W. Lloyd},
  title        = {A Call-by-Need Strategy for Higher-Order Functional-Logic Programming},
  booktitle    = {Logic Programming, Proceedings of the 1995 International Symposium,
                  Portland, Oregon, USA, December 4-7, 1995},
  pages        = {147--161},
  publisher    = {{MIT} Press},
  year         = {1995},
  url          = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6300584},
  timestamp    = {Wed, 11 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/slp/Prehofer95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/PugetL95,
  author       = {Jean{-}Francois Puget and
                  Michel Leconte},
  editor       = {John W. Lloyd},
  title        = {Beyond the Glass Box: Constraints as Objects},
  booktitle    = {Logic Programming, Proceedings of the 1995 International Symposium,
                  Portland, Oregon, USA, December 4-7, 1995},
  pages        = {513--527},
  publisher    = {{MIT} Press},
  year         = {1995},
  url          = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6300029},
  timestamp    = {Wed, 11 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/slp/PugetL95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/Redd95,
  author       = {Uday S. Reddy},
  editor       = {John W. Lloyd},
  title        = {Bridging the gap between logic and functional programming (Panel Abstract)},
  booktitle    = {Logic Programming, Proceedings of the 1995 International Symposium,
                  Portland, Oregon, USA, December 4-7, 1995},
  pages        = {627--628},
  publisher    = {{MIT} Press},
  year         = {1995},
  url          = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6299966},
  timestamp    = {Wed, 11 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/slp/Redd95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/Rodriguez-Artalejo95,
  author       = {Mario Rodr{\'{\i}}guez{-}Artalejo},
  editor       = {John W. Lloyd},
  title        = {The Challenge of Declarative Programming (Panel Abstract)},
  booktitle    = {Logic Programming, Proceedings of the 1995 International Symposium,
                  Portland, Oregon, USA, December 4-7, 1995},
  pages        = {629--630},
  publisher    = {{MIT} Press},
  year         = {1995},
  url          = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6299965},
  timestamp    = {Wed, 11 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/slp/Rodriguez-Artalejo95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/SchreyeLM95,
  author       = {Danny De Schreye and
                  Michael Leuschel and
                  Bern Martens},
  editor       = {John W. Lloyd},
  title        = {Tutorial on Program Specialisation (Abstract)},
  booktitle    = {Logic Programming, Proceedings of the 1995 International Symposium,
                  Portland, Oregon, USA, December 4-7, 1995},
  pages        = {615--616},
  publisher    = {{MIT} Press},
  year         = {1995},
  url          = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6299970},
  timestamp    = {Wed, 11 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/slp/SchreyeLM95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/SorensenG95,
  author       = {Morten Heine S{\o}rensen and
                  Robert Gl{\"{u}}ck},
  editor       = {John W. Lloyd},
  title        = {An Algorithm of Generalization in Positive Supercompilation},
  booktitle    = {Logic Programming, Proceedings of the 1995 International Symposium,
                  Portland, Oregon, USA, December 4-7, 1995},
  pages        = {465--479},
  publisher    = {{MIT} Press},
  year         = {1995},
  url          = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6300032},
  timestamp    = {Wed, 11 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/slp/SorensenG95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/TarauDF95,
  author       = {Paul Tarau and
                  Ver{\'{o}}nica Dahl and
                  Andrew Fall},
  editor       = {John W. Lloyd},
  title        = {Backtrackable State with Linear Assumptions, Continuations and Hidden
                  Accumulator Grammars},
  booktitle    = {Logic Programming, Proceedings of the 1995 International Symposium,
                  Portland, Oregon, USA, December 4-7, 1995},
  pages        = {642},
  publisher    = {{MIT} Press},
  year         = {1995},
  url          = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6299953},
  timestamp    = {Wed, 11 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/slp/TarauDF95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/Toman95,
  author       = {David Toman},
  editor       = {John W. Lloyd},
  title        = {Top-Down beats Bottom-Up for Constraint Based Extensions of Datalog},
  booktitle    = {Logic Programming, Proceedings of the 1995 International Symposium,
                  Portland, Oregon, USA, December 4-7, 1995},
  pages        = {98--112},
  publisher    = {{MIT} Press},
  year         = {1995},
  url          = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6299950},
  timestamp    = {Sat, 05 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/slp/Toman95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/TseWL95,
  author       = {Man{-}lai Tse and
                  Wing{-}hang Wong and
                  Ho{-}fung Leung},
  editor       = {John W. Lloyd},
  title        = {P{\&}P: {A} Combined Parlog and Prolog Concurrent Object-Oriented
                  Logic Programming Language},
  booktitle    = {Logic Programming, Proceedings of the 1995 International Symposium,
                  Portland, Oregon, USA, December 4-7, 1995},
  pages        = {640},
  publisher    = {{MIT} Press},
  year         = {1995},
  url          = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6299955},
  timestamp    = {Wed, 11 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/slp/TseWL95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/Wadler95,
  author       = {Philip Wadler},
  editor       = {John W. Lloyd},
  title        = {How to Declare an Imperative},
  booktitle    = {Logic Programming, Proceedings of the 1995 International Symposium,
                  Portland, Oregon, USA, December 4-7, 1995},
  pages        = {18--32},
  publisher    = {{MIT} Press},
  year         = {1995},
  url          = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6300534},
  timestamp    = {Wed, 11 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/slp/Wadler95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/WinikoffH95,
  author       = {Michael Winikoff and
                  James Harland},
  editor       = {John W. Lloyd},
  title        = {Implementing the Linear Logic Programming Language Lygon},
  booktitle    = {Logic Programming, Proceedings of the 1995 International Symposium,
                  Portland, Oregon, USA, December 4-7, 1995},
  pages        = {66--80},
  publisher    = {{MIT} Press},
  year         = {1995},
  url          = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6299952},
  timestamp    = {Wed, 11 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/slp/WinikoffH95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/YouGYG95,
  author       = {Jia{-}Huai You and
                  Suryanil Ghosh and
                  Li{-}Yan Yuan and
                  Randy Goebel},
  editor       = {John W. Lloyd},
  title        = {An Introspective Framework for Paraconsistent Logic Programs},
  booktitle    = {Logic Programming, Proceedings of the 1995 International Symposium,
                  Portland, Oregon, USA, December 4-7, 1995},
  pages        = {384--398},
  publisher    = {{MIT} Press},
  year         = {1995},
  url          = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6300106},
  timestamp    = {Wed, 11 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/slp/YouGYG95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/slp/1995,
  editor       = {John W. Lloyd},
  title        = {Logic Programming, Proceedings of the 1995 International Symposium,
                  Portland, Oregon, USA, December 4-7, 1995},
  publisher    = {{MIT} Press},
  year         = {1995},
  url          = {https://ieeexplore.ieee.org/book/6276853},
  isbn         = {0-262-62099-5},
  timestamp    = {Wed, 11 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/slp/1995.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics