Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/slp/slp95.bht:"
@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} }
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.