Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/iclp/iclp90.bht:"
download as .bib file
@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
M. Porta and
Giorgio Sofi},
editor = {David H. D. Warren and
P{\'{e}}ter Szeredi},
title = {Logic and Functional Programmin on Distributed Memory Architectures},
booktitle = {Logic Programming, Proceedings of the Seventh International Conference,
Jerusalem, Israel, June 18-20, 1990},
pages = {325--339},
publisher = {{MIT} Press},
year = {1990},
timestamp = {Thu, 25 Aug 2022 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}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-04-25 18:45 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
