default search action
Search dblp for Publications
export results for "toc:db/conf/iclp/iclp90.bht:"
@inproceedings{DBLP:conf/iclp/AndreoliP90, author = {Jean{-}Marc Andreoli and Remo Pareschi}, editor = {David H. D. Warren and P{\'{e}}ter Szeredi}, title = {Linear Objects in a Logic Processes with Built-in Inheritance}, booktitle = {Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990}, pages = {495--510}, publisher = {{MIT} Press}, year = {1990}, timestamp = {Fri, 29 Nov 2013 14:57:24 +0100}, biburl = {https://dblp.org/rec/conf/iclp/AndreoliP90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/AptB90, author = {Krzysztof R. Apt and Marc Bezem}, editor = {David H. D. Warren and P{\'{e}}ter Szeredi}, title = {Acyclic Programs}, booktitle = {Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990}, pages = {617--633}, publisher = {{MIT} Press}, year = {1990}, timestamp = {Fri, 29 Nov 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/AptB90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/Beeri90, author = {Catriel Beeri}, editor = {David H. D. Warren and P{\'{e}}ter Szeredi}, title = {Logic Programming and Databases}, booktitle = {Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990}, pages = {783}, publisher = {{MIT} Press}, year = {1990}, timestamp = {Fri, 29 Nov 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/Beeri90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/BoscoCMPS90, author = {Pier Giorgio Bosco and Carlo Cecchi and Corrado Moiso and Marisa Porta and Giorgio Sofi}, editor = {David H. D. Warren and P{\'{e}}ter Szeredi}, title = {Logic and Functional Programming on Distributed Memory Architecture}, booktitle = {Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990}, pages = {325--339}, publisher = {{MIT} Press}, year = {1990}, timestamp = {Mon, 05 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iclp/BoscoCMPS90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/Brogi90, author = {Antonio Brogi}, editor = {David H. D. Warren and P{\'{e}}ter Szeredi}, title = {AND-Parallelism without Shared Variables}, booktitle = {Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990}, pages = {306--321}, publisher = {{MIT} Press}, year = {1990}, timestamp = {Fri, 29 Nov 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/Brogi90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/Bry90, author = {Fran{\c{c}}ois Bry}, editor = {David H. D. Warren and P{\'{e}}ter Szeredi}, title = {Intensional Updates: Abduction via Deduction}, booktitle = {Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990}, pages = {561--575}, publisher = {{MIT} Press}, year = {1990}, timestamp = {Fri, 29 Nov 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/Bry90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/ChengER90, author = {Mantis H. M. Cheng and Maarten H. van Emden and B. E. Richards}, editor = {David H. D. Warren and P{\'{e}}ter Szeredi}, title = {On Warren's Method for Functional Programming in Logic}, booktitle = {Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990}, pages = {546--560}, publisher = {{MIT} Press}, year = {1990}, timestamp = {Fri, 29 Nov 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/ChengER90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/Colmerauer90, author = {Alain Colmerauer}, editor = {David H. D. Warren and P{\'{e}}ter Szeredi}, title = {Prolog {III} as it Actually Is}, booktitle = {Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990}, pages = {766}, publisher = {{MIT} Press}, year = {1990}, timestamp = {Fri, 29 Nov 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/Colmerauer90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/DelcherK90, author = {Arthur L. Delcher and Simon Kasif}, editor = {David H. D. Warren and P{\'{e}}ter Szeredi}, title = {Efficient Parallel Term Matching and Anti-Unification}, booktitle = {Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990}, pages = {355--369}, publisher = {{MIT} Press}, year = {1990}, timestamp = {Fri, 29 Nov 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/DelcherK90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/Fages90, author = {Fran{\c{c}}ois Fages}, editor = {David H. D. Warren and P{\'{e}}ter Szeredi}, title = {A New Fixpoint Semantics for General Logic Programs Compared with the Well-Founded and the Stable Model Semantics}, booktitle = {Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990}, pages = {441--458}, publisher = {{MIT} Press}, year = {1990}, timestamp = {Fri, 29 Nov 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/Fages90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/Fribourg90, author = {Laurent Fribourg}, editor = {David H. D. Warren and P{\'{e}}ter Szeredi}, title = {Extracting Logic Programs from Proofs that Use Extended Prolog Execution and Induction}, booktitle = {Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990}, pages = {685--699}, publisher = {{MIT} Press}, year = {1990}, timestamp = {Fri, 29 Nov 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/Fribourg90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/Gaifman90, author = {Haim Gaifman}, editor = {David H. D. Warren and P{\'{e}}ter Szeredi}, title = {Semantics of Logic Programs}, booktitle = {Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990}, pages = {779--782}, publisher = {{MIT} Press}, year = {1990}, timestamp = {Fri, 29 Nov 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/Gaifman90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/GallagherB90, author = {John P. Gallagher and Maurice Bruynooghe}, editor = {David H. D. Warren and P{\'{e}}ter Szeredi}, title = {The Derivation of an Algorithm for Program Specialisation}, booktitle = {Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990}, pages = {732--746}, publisher = {{MIT} Press}, year = {1990}, timestamp = {Fri, 29 Nov 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/GallagherB90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/GelfondL90, author = {Michael Gelfond and Vladimir Lifschitz}, editor = {David H. D. Warren and P{\'{e}}ter Szeredi}, title = {Logic Programs with Classical Negation}, booktitle = {Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990}, pages = {579--597}, publisher = {{MIT} Press}, year = {1990}, timestamp = {Fri, 29 Nov 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/GelfondL90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/GiacobazziR90, author = {Roberto Giacobazzi and Laura Ricci}, editor = {David H. D. Warren and P{\'{e}}ter Szeredi}, title = {Pipeline Optimizations in AND-Parallel Logic Programs}, booktitle = {Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990}, pages = {291--305}, publisher = {{MIT} Press}, year = {1990}, timestamp = {Fri, 29 Nov 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/GiacobazziR90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/GiordanoM90, author = {Laura Giordano and Alberto Martelli}, editor = {David H. D. Warren and P{\'{e}}ter Szeredi}, title = {Generalized Stable Models, Truth Maintenance and Conflict Resolution}, booktitle = {Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990}, pages = {427--441}, publisher = {{MIT} Press}, year = {1990}, timestamp = {Fri, 01 Apr 2016 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iclp/GiordanoM90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/GriefahnL90, author = {Ulrike Griefahn and Stefan L{\"{u}}ttringhaus}, editor = {David H. D. Warren and P{\'{e}}ter Szeredi}, title = {Top-Down Integrity Constraint Checking for Deductive Databases}, booktitle = {Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990}, pages = {130--144}, publisher = {{MIT} Press}, year = {1990}, timestamp = {Fri, 29 Nov 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/GriefahnL90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/Harel90, author = {David Harel}, editor = {David H. D. Warren and P{\'{e}}ter Szeredi}, title = {How Hard Is It to Reason about Propositional Programs?}, booktitle = {Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990}, pages = {772--773}, publisher = {{MIT} Press}, year = {1990}, timestamp = {Fri, 29 Nov 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/Harel90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/HaridiJ90, author = {Seif Haridi and Sverker Janson}, editor = {David H. D. Warren and P{\'{e}}ter Szeredi}, title = {Kernel Andorra Prolog and its Computation Model}, booktitle = {Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990}, pages = {31--46}, publisher = {{MIT} Press}, year = {1990}, timestamp = {Fri, 29 Nov 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/HaridiJ90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/HarsatG90, author = {Arie Harsat and Ran Ginosar}, editor = {David H. D. Warren and P{\'{e}}ter Szeredi}, title = {An Extended {RISC} Methodology and its Application to {FCP}}, booktitle = {Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990}, pages = {67--82}, publisher = {{MIT} Press}, year = {1990}, timestamp = {Fri, 29 Nov 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/HarsatG90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/Hentenryck90, author = {Pascal Van Hentenryck}, editor = {David H. D. Warren and P{\'{e}}ter Szeredi}, title = {Incremental Constraint Satisfaction in Logic Programming}, booktitle = {Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990}, pages = {189--202}, publisher = {{MIT} Press}, year = {1990}, timestamp = {Fri, 29 Nov 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/Hentenryck90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/HermenegildoG90, author = {Manuel V. Hermenegildo and K. J. Greene}, editor = {David H. D. Warren and P{\'{e}}ter Szeredi}, title = {{\&}-Prolog and its Performance: Exploiting Independent And-Parallelism}, booktitle = {Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990}, pages = {253--268}, publisher = {{MIT} Press}, year = {1990}, timestamp = {Fri, 29 Nov 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/HermenegildoG90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/HermenegildoR90, author = {Manuel V. Hermenegildo and Francesca Rossi}, editor = {David H. D. Warren and P{\'{e}}ter Szeredi}, title = {Non-Strict Independent And-Parallelism}, booktitle = {Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990}, pages = {237--252}, publisher = {{MIT} Press}, year = {1990}, timestamp = {Tue, 23 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/HermenegildoR90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/HodasM90, author = {Joshua S. Hodas and Dale Miller}, editor = {David H. D. Warren and P{\'{e}}ter Szeredi}, title = {Representing Objects in a Logic Programming Langueage with Scoping Constructs}, booktitle = {Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990}, pages = {511--526}, publisher = {{MIT} Press}, year = {1990}, timestamp = {Mon, 13 Nov 2017 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/HodasM90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/InamuraO90, author = {Yu Inamura and Satoshi Onishi}, editor = {David H. D. Warren and P{\'{e}}ter Szeredi}, title = {A Detection Algorithm of Perpetual Suspension in {KL1}}, booktitle = {Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990}, pages = {18--30}, publisher = {{MIT} Press}, year = {1990}, timestamp = {Fri, 29 Nov 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/InamuraO90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/JacobsLW90, author = {Dean Jacobs and Anno Langen and William H. Winsborough}, editor = {David H. D. Warren and P{\'{e}}ter Szeredi}, title = {Multiple Specialization of Logic Programs with Run-Time Test}, booktitle = {Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990}, pages = {717--731}, publisher = {{MIT} Press}, year = {1990}, timestamp = {Fri, 29 Nov 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/JacobsLW90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/Kergommeaux90, author = {Jacques Chassin de Kergommeaux}, editor = {David H. D. Warren and P{\'{e}}ter Szeredi}, title = {Parallel Logic Programming Systems}, booktitle = {Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990}, pages = {785}, publisher = {{MIT} Press}, year = {1990}, timestamp = {Fri, 29 Nov 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/Kergommeaux90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/KorslootM90, author = {Mark Korsloot and Hans M. Mulder}, editor = {David H. D. Warren and P{\'{e}}ter Szeredi}, title = {Sequential Architecture Models for Prolog: {A} Performance Comparison}, booktitle = {Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990}, pages = {49--67}, publisher = {{MIT} Press}, year = {1990}, timestamp = {Fri, 29 Nov 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/KorslootM90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/KowalskiS90, author = {Robert A. Kowalski and Fariba Sadri}, editor = {David H. D. Warren and P{\'{e}}ter Szeredi}, title = {Logic Programs with Exceptions}, booktitle = {Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990}, pages = {598--613}, publisher = {{MIT} Press}, year = {1990}, timestamp = {Fri, 29 Nov 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/KowalskiS90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/LauP90, author = {Kung{-}Kiu Lau and Steven D. Prestwich}, editor = {David H. D. Warren and P{\'{e}}ter Szeredi}, title = {Top-down Synthesis of Recursive Logic Procedures from First-order Logic Specifications}, booktitle = {Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990}, pages = {667--684}, publisher = {{MIT} Press}, year = {1990}, timestamp = {Mon, 07 Feb 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/LauP90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/Malhotra90, author = {Vishv M. Malhotra}, editor = {David H. D. Warren and P{\'{e}}ter Szeredi}, title = {An Algorithm for Optimal Back-Striding in Prolog}, booktitle = {Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990}, pages = {147--158}, publisher = {{MIT} Press}, year = {1990}, timestamp = {Fri, 29 Nov 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/Malhotra90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/MeyerC90, author = {David M. Meyer and John S. Conery}, editor = {David H. D. Warren and P{\'{e}}ter Szeredi}, title = {Architected Failure Handling for AND-Parallel Logic Programs}, booktitle = {Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990}, pages = {271--290}, publisher = {{MIT} Press}, year = {1990}, timestamp = {Fri, 29 Nov 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/MeyerC90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/Miller90, author = {Dale Miller}, editor = {David H. D. Warren and P{\'{e}}ter Szeredi}, title = {Higher-Order Logic Programming}, booktitle = {Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990}, pages = {784}, publisher = {{MIT} Press}, year = {1990}, timestamp = {Sun, 12 Nov 2017 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/Miller90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/MonteiroP90, author = {Lu{\'{\i}}s Monteiro and Ant{\'{o}}nio Porto}, editor = {David H. D. Warren and P{\'{e}}ter Szeredi}, title = {A Transformational View of Inheritance in Logic Programming}, booktitle = {Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990}, pages = {481--494}, publisher = {{MIT} Press}, year = {1990}, timestamp = {Fri, 29 Nov 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/MonteiroP90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/MulkersWB90, author = {Anne Mulkers and William H. Winsborough and Maurice Bruynooghe}, editor = {David H. D. Warren and P{\'{e}}ter Szeredi}, title = {Analysis of Shared Data Structures for Compile-Time Garbage}, booktitle = {Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990}, pages = {747--762}, publisher = {{MIT} Press}, year = {1990}, timestamp = {Fri, 29 Nov 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/MulkersWB90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/MuthukumarH90, author = {Kalyan Muthukumar and Manuel V. Hermenegildo}, editor = {David H. D. Warren and P{\'{e}}ter Szeredi}, title = {The DCG, UDG, and {MEL} Methods for Automatic Compile-time Parallelization of Logic Programs for Independent And-parallelism}, booktitle = {Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990}, pages = {221--236}, publisher = {{MIT} Press}, year = {1990}, timestamp = {Fri, 29 Nov 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/MuthukumarH90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/NishidaKMG90, author = {Kenji Nishida and Yasunori Kimura and Akira Matsumoto and Atsuhiro Goto}, editor = {David H. D. Warren and P{\'{e}}ter Szeredi}, title = {Evaluation of {MRB} Garbage Collection on Parallel Logic Programming Architectures}, booktitle = {Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990}, pages = {83--95}, publisher = {{MIT} Press}, year = {1990}, timestamp = {Fri, 29 Nov 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/NishidaKMG90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/Paakki90, author = {Jukka Paakki}, editor = {David H. D. Warren and P{\'{e}}ter Szeredi}, title = {A Logic-Based Modification of Attribute Grammars for Practical Compiler Writing}, booktitle = {Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990}, pages = {203--217}, publisher = {{MIT} Press}, year = {1990}, timestamp = {Fri, 29 Nov 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/Paakki90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/PareschiM90, author = {Remo Pareschi and Dale Miller}, editor = {David H. D. Warren and P{\'{e}}ter Szeredi}, title = {Extending Definite Clause Grammars with Scoping Constructs}, booktitle = {Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990}, pages = {373--389}, publisher = {{MIT} Press}, year = {1990}, timestamp = {Sun, 12 Nov 2017 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/PareschiM90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/Pfenning90, author = {Frank Pfenning}, editor = {David H. D. Warren and P{\'{e}}ter Szeredi}, title = {Types in Logic Programming}, booktitle = {Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990}, pages = {786}, publisher = {{MIT} Press}, year = {1990}, timestamp = {Fri, 29 Nov 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/Pfenning90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/Plumer90, author = {Lutz Pl{\"{u}}mer}, editor = {David H. D. Warren and P{\'{e}}ter Szeredi}, title = {Termination Proofs for Logic Programs Based on Predicate Inequalities}, booktitle = {Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990}, pages = {634--648}, publisher = {{MIT} Press}, year = {1990}, timestamp = {Fri, 29 Nov 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/Plumer90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/PowerS90, author = {A. John Power and Leon Sterling}, editor = {David H. D. Warren and P{\'{e}}ter Szeredi}, title = {A Notion of Map between Logic Programs}, booktitle = {Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990}, pages = {390--404}, publisher = {{MIT} Press}, year = {1990}, timestamp = {Fri, 29 Nov 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/PowerS90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/Przymusinski90, author = {Teodor C. Przymusinski}, editor = {David H. D. Warren and P{\'{e}}ter Szeredi}, title = {Extended Stable Semantics for Normal and Disjunctive Programs}, booktitle = {Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990}, pages = {459--477}, publisher = {{MIT} Press}, year = {1990}, timestamp = {Fri, 29 Nov 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/Przymusinski90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/Reiter90, author = {Raymond Reiter}, editor = {David H. D. Warren and P{\'{e}}ter Szeredi}, title = {What Should a Database Know?}, booktitle = {Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990}, pages = {765}, publisher = {{MIT} Press}, year = {1990}, timestamp = {Fri, 29 Nov 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/Reiter90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/ReynoldsK90, author = {T. J. Reynolds and Petros Kefalas}, editor = {David H. D. Warren and P{\'{e}}ter Szeredi}, title = {OR-Parallel Prolog and Search Problems in {AI} Applications}, booktitle = {Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990}, pages = {340--354}, publisher = {{MIT} Press}, year = {1990}, timestamp = {Fri, 29 Nov 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/ReynoldsK90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/Saraswat90, author = {Vijay A. Saraswat}, editor = {David H. D. Warren and P{\'{e}}ter Szeredi}, title = {The Paradigm of Concurrent Constraint Programming}, booktitle = {Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990}, pages = {777--778}, publisher = {{MIT} Press}, year = {1990}, timestamp = {Fri, 29 Nov 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/Saraswat90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/SawamuraMYO90, author = {Hajime Sawamura and Toshiro Minami and Kaoru Yocota and Kyoko Ohashi}, editor = {David H. D. Warren and P{\'{e}}ter Szeredi}, title = {A Logic Programming Approach to Specifying Logics and Constructing Proofs}, booktitle = {Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990}, pages = {405--424}, publisher = {{MIT} Press}, year = {1990}, timestamp = {Fri, 29 Nov 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/SawamuraMYO90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/SchreyeVB90, author = {Danny De Schreye and Kristof Verschaetse and Maurice Bruynooghe}, editor = {David H. D. Warren and P{\'{e}}ter Szeredi}, title = {A Practical Technique for Detecting Non-terminating Queries for a Restricted Class of Horn Clauses, Using Directed, Weighted Graphs}, booktitle = {Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990}, pages = {649--663}, publisher = {{MIT} Press}, year = {1990}, timestamp = {Fri, 29 Nov 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/SchreyeVB90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/Sheng90, author = {Yeh{-}Heng Sheng}, editor = {David H. D. Warren and P{\'{e}}ter Szeredi}, title = {{HIFUNLOG} : Logic Programming with Higher-order Relational Functions}, booktitle = {Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990}, pages = {529--545}, publisher = {{MIT} Press}, year = {1990}, timestamp = {Fri, 29 Nov 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/Sheng90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/ShmueliT90, author = {Oded Shmueli and Shalom Tsur}, editor = {David H. D. Warren and P{\'{e}}ter Szeredi}, title = {Incremental Re-evaluation of {LDL} Queries}, booktitle = {Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990}, pages = {99--111}, publisher = {{MIT} Press}, year = {1990}, timestamp = {Fri, 29 Nov 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/ShmueliT90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/ShmueliT90a, author = {Oded Shmueli and Shalom Tsur}, editor = {David H. D. Warren and P{\'{e}}ter Szeredi}, title = {Logical Diagnosis of {LDL} Programs}, booktitle = {Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990}, pages = {112--129}, publisher = {{MIT} Press}, year = {1990}, timestamp = {Fri, 29 Nov 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/ShmueliT90a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/Taylor90, author = {Andrew Taylor}, editor = {David H. D. Warren and P{\'{e}}ter Szeredi}, title = {{LIPS} on a {MIPS:} Results from a Prolog Compiler for a {RISC}}, booktitle = {Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990}, pages = {174--185}, publisher = {{MIT} Press}, year = {1990}, timestamp = {Fri, 29 Nov 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/Taylor90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/UedaM90, author = {Kazunori Ueda and Masao Morita}, editor = {David H. D. Warren and P{\'{e}}ter Szeredi}, title = {A New Implementation Technique for Flat {GHC}}, booktitle = {Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990}, pages = {3--17}, publisher = {{MIT} Press}, year = {1990}, timestamp = {Fri, 29 Nov 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/UedaM90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/Vardi90, author = {Moshe Y. Vardi}, editor = {David H. D. Warren and P{\'{e}}ter Szeredi}, title = {Global Optimization Problems for Database Logic Programs}, booktitle = {Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990}, pages = {767--771}, publisher = {{MIT} Press}, year = {1990}, timestamp = {Fri, 29 Nov 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/Vardi90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/VerschaetseSB90, author = {Kristof Verschaetse and Danny De Schreye and Maurice Bruynooghe}, editor = {David H. D. Warren and P{\'{e}}ter Szeredi}, title = {Generation and Compilation of Efficient Computation Rules}, booktitle = {Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990}, pages = {700--714}, publisher = {{MIT} Press}, year = {1990}, timestamp = {Fri, 29 Nov 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/VerschaetseSB90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/ZhouTU90, author = {Neng{-}Fa Zhou and Toshihisa Takagi and Kazuo Ushijima}, editor = {David H. D. Warren and P{\'{e}}ter Szeredi}, title = {A Matching Tree Oriented Abstract Machine for Prolog}, booktitle = {Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990}, pages = {159--173}, publisher = {{MIT} Press}, year = {1990}, timestamp = {Fri, 29 Nov 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/ZhouTU90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/iclp/1990, editor = {David H. D. Warren and P{\'{e}}ter Szeredi}, title = {Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990}, publisher = {{MIT} Press}, year = {1990}, isbn = {0-262-73090-1}, timestamp = {Fri, 29 Nov 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/1990.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.