default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/slp/slp93.bht:"
download as .bib file
@inproceedings{DBLP:conf/slp/AguzziM93,
author = {Gianni Aguzzi and
U. Modigliani},
editor = {Dale Miller},
title = {Termination of Logic Programs via Equivalent Rewrite Systems},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {634},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Fri, 16 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/slp/AguzziM93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/Ait-Kaci93,
author = {Hassan A{\"{\i}}t{-}Kaci},
editor = {Dale Miller},
title = {An introduction to {LIFE:} Programming with Logic, Inheritance, Functions,
and Equations},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {52--68},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Wed, 04 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/Ait-Kaci93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/Ait-KaciPG93,
author = {Hassan A{\"{\i}}t{-}Kaci and
Andreas Podelski and
Seth Copen Goldstein},
editor = {Dale Miller},
title = {Order-Sorted Feature Theory Unification},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {506--524},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Wed, 04 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/Ait-KaciPG93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/AlpuenteFV93,
author = {Mar{\'{\i}}a Alpuente and
Moreno Falaschi and
Germ{\'{a}}n Vidal},
editor = {Dale Miller},
title = {Incremental Equational Constraint Analyses},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {657},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Wed, 04 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/AlpuenteFV93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/AndreoliCP93,
author = {Jean{-}Marc Andreoli and
Tiziana Castagnetti and
Remo Pareschi},
editor = {Dale Miller},
title = {Abstract Interpretation of Linear Logic Programming},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {295--314},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Wed, 04 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/AndreoliCP93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/Andrews93,
author = {James H. Andrews},
editor = {Dale Miller},
title = {A Logical Semantics for Depth-First Prolog with Ground Negation},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {220--234},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Wed, 04 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/Andrews93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/Aparicio93,
author = {Joaquim Nunes Apar{\'{\i}}cio},
editor = {Dale Miller},
title = {Assumption Set Semantics},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {639},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Wed, 04 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/Aparicio93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/Apt93,
author = {Krzysztof R. Apt},
editor = {Dale Miller},
title = {Declarative Programming in Prolog},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {12--35},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Wed, 04 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/Apt93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/BaldoniGM93,
author = {Matteo Baldoni and
Laura Giordano and
Alberto Martelli},
editor = {Dale Miller},
title = {A Multimodal Logic to Define Modules in Logic Programming},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {473--487},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Fri, 01 Apr 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/slp/BaldoniGM93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/BandaH93,
author = {Maria J. Garc{\'{\i}}a de la Banda and
Manuel V. Hermenegildo},
editor = {Dale Miller},
title = {A Practical Approach to the Global Analysis of {CLP} Programs},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {437--455},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Wed, 04 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/BandaH93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/BandaHM93,
author = {Maria J. Garc{\'{\i}}a de la Banda and
Manuel V. Hermenegildo and
Kim Marriott},
editor = {Dale Miller},
title = {Independence in Constraint Logic Programs},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {130--146},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Wed, 04 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/BandaHM93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/BaralGK93,
author = {Chitta Baral and
Michael Gelfond and
Olga Kosheleva},
editor = {Dale Miller},
title = {Approximating General Logic Programs},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {181--198},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Wed, 04 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/BaralGK93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/BarbackL93,
author = {Monica D. Barback and
Jorge Lobo},
editor = {Dale Miller},
title = {A Proof Procedure for Default Theories with Extensions},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {651},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Thu, 21 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/slp/BarbackL93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/Ben-Eliyahu93,
author = {Rachel Ben{-}Eliyahu},
editor = {Dale Miller},
title = {Back to the Future: Program Completion, Revisited},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {642},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Wed, 04 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/Ben-Eliyahu93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/BerryE93,
author = {Vincent Berry and
Philippe {\'{E}}z{\'{e}}quel},
editor = {Dale Miller},
title = {Generating Goals and Their Use In Recursive Query Processing},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {649},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Wed, 04 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/BerryE93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/Boden93,
author = {Margaret A. Boden},
editor = {Dale Miller},
title = {The Logic of Creativity},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {3--11},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Wed, 04 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/Boden93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/BoerKPR93,
author = {Frank S. de Boer and
Joost N. Kok and
Catuscia Palamidessi and
Jan J. M. M. Rutten},
editor = {Dale Miller},
title = {Non-monotonic Concurrent Constraint Programming},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {315--334},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Wed, 04 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/BoerKPR93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/BoizumaultDP93,
author = {Patrice Boizumault and
Yan Delon and
Laurent P{\'{e}}ridy},
editor = {Dale Miller},
title = {Solving a real life exams problem using {CHIP}},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {661},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Wed, 04 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/BoizumaultDP93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/BolD93,
author = {Roland N. Bol and
Lars Degerstedt},
editor = {Dale Miller},
title = {Tabulated Resolution for Well Founded Semantics},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {199--219},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Wed, 04 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/BolD93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/BosschereT93,
author = {Koenraad De Bosschere and
Paul Tarau},
editor = {Dale Miller},
title = {Blackboard-based Extensions for Parallel Programming in BinProlog},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {664},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Wed, 04 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/BosschereT93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/BruningHSTS93,
author = {Stefan Br{\"{u}}ning and
Steffen H{\"{o}}lldobler and
Ute Cornelia Sigmund and
Michael Thielscher and
Josef Schneeberger},
editor = {Dale Miller},
title = {Disjunction In Resource-Oriented Deductive Planning},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {670},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Wed, 04 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/BruningHSTS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/Bsaies93,
author = {Khaled Bsa{\"{\i}}es},
editor = {Dale Miller},
title = {Automated Derivation of Efficient Logic Programs by Synthesizing Eureka
Properties},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {633},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Wed, 04 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/Bsaies93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/ChanS93,
author = {Hock Chuan Chan and
Keng Siau},
editor = {Dale Miller},
title = {A Prolog-Based Definition of an Entity Relationship Language},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {650},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Wed, 04 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/ChanS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/ChenSW93,
author = {Weidong Chen and
Terrance Swift and
David Scott Warren},
editor = {Dale Miller},
title = {Goal-Directed Evaluation of Well-Founded Sematics for {XSB}},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {679},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Wed, 15 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/ChenSW93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/CodishD93,
author = {Michael Codish and
Bart Demoen},
editor = {Dale Miller},
title = {Analysing Logic Programs Using 'Prop'-ositional Logic Programs and
a Magic Wand},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {114--129},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Thu, 30 Mar 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/slp/CodishD93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/CodognetD93,
author = {Philippe Codognet and
Daniel Diaz},
editor = {Dale Miller},
title = {Boolean Constraint Solving Using clp(FD)},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {525--539},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Fri, 10 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/CodognetD93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/Debray93,
author = {Saumya K. Debray},
editor = {Dale Miller},
title = {Static Analysis of Logic Programs},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {43--44},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Wed, 04 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/Debray93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/DecorteSF93,
author = {Stefaan Decorte and
Danny De Schreye and
Massimo Fabris},
editor = {Dale Miller},
title = {Automatic Inference of Norms: {A} Missing Link in Automatic Termination
Analysis},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {420--436},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Wed, 04 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/DecorteSF93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/DelzannoM93,
author = {Giorgio Delzanno and
Maurizio Martelli},
editor = {Dale Miller},
title = {A Bottom-Up Characterization of Finite Success},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {676},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Wed, 04 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/DelzannoM93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/DeneckerS93,
author = {Marc Denecker and
Danny De Schreye},
editor = {Dale Miller},
title = {Representing Incomplete Knowledge in Abductive Logic Programming},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {147--163},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Wed, 04 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/DeneckerS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/DevienneLR93,
author = {Philippe Devienne and
Patrick Leb{\`{e}}gue and
Jean{-}Christophe Routier},
editor = {Dale Miller},
title = {The Emptiness Problem of One Binary Recursive Horn Clause is Undecidable},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {250--265},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Wed, 04 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/DevienneLR93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/DongL93,
author = {Fangqing Dong and
Laks V. S. Lakshmanan},
editor = {Dale Miller},
title = {A Deductive Approach to Hypothetical Query Answering},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {609--628},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Wed, 04 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/DongL93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/DovierR93,
author = {Agostino Dovier and
Gianfranco Rossi},
editor = {Dale Miller},
title = {Embedding extensional finite sets in {CLP}},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {540--556},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Wed, 04 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/DovierR93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/Drabent93,
author = {Wlodzimierz Drabent},
editor = {Dale Miller},
title = {Completeness of SLDNF-Resolution for Non-Floundering Queries},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {643},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Wed, 04 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/Drabent93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/EiterG93,
author = {Thomas Eiter and
Georg Gottlob},
editor = {Dale Miller},
title = {Complexity Results for Disjunctive Logic Programming and Application
to Nonmonotonic Logics},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {266--278},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Wed, 04 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/EiterG93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/Felty93,
author = {Amy P. Felty},
editor = {Dale Miller},
title = {Definite Clause Grammars for Parsing Higher-Order Syntax},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {668},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Wed, 04 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/Felty93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/Fitting93,
author = {Melvin Fitting},
editor = {Dale Miller},
title = {Metric Methods in the Semantics of Logic Programs},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {69--71},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Wed, 04 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/Fitting93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/FribourgP93,
author = {Laurent Fribourg and
Marcos Veloso Peixoto},
editor = {Dale Miller},
title = {Concurrent Constraint Automata},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {656},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Wed, 04 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/FribourgP93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/GrecoSZ93,
author = {Sergio Greco and
Domenico Sacc{\`{a}} and
Carlo Zaniolo},
editor = {Dale Miller},
title = {Dynamic Programming Optimization for Logic Queries with Aggregates},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {575--589},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Wed, 04 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/GrecoSZ93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/Gregory93,
author = {Steve Gregory},
editor = {Dale Miller},
title = {Experiments with Speculative Parallelism in Parlog},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {370--387},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Wed, 04 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/Gregory93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/GudjonssonW93,
author = {Gudjon Gudjonsson and
William H. Winsborough},
editor = {Dale Miller},
title = {Update In Place: Overview of the Siva Project},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {94--113},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Wed, 04 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/GudjonssonW93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/HanL93,
author = {Jiawei Han and
Laks V. S. Lakshmanan},
editor = {Dale Miller},
title = {Evaluation of Regular Nonlinear Recursive Programs},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {648},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/slp/HanL93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/Hanus93,
author = {Michael Hanus},
editor = {Dale Miller},
title = {Combining Lazy Narrowing and Normalization},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {673},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Wed, 04 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/Hanus93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/Harland93,
author = {James Harland},
editor = {Dale Miller},
title = {On Goal-Directed Provability in Classical Logic},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {677},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Wed, 04 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/Harland93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/Hausman93,
author = {Bogumil Hausman},
editor = {Dale Miller},
title = {Turbo Erlang},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {662},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Wed, 04 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/Hausman93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/HolldoblerT93,
author = {Steffen H{\"{o}}lldobler and
Michael Thielscher},
editor = {Dale Miller},
title = {Actions and Specificity},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {164--180},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Wed, 04 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/HolldoblerT93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/Hui-Bon-Hoa93,
author = {Alain Hui{-}Bon{-}Hoa},
editor = {Dale Miller},
title = {An Intuitionistic Resolution Method for a Language Dealing with Scope
Constraints},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {667},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Wed, 04 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/Hui-Bon-Hoa93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/Kaiser93,
author = {Gail E. Kaiser},
editor = {Dale Miller},
title = {{MARVEL} 3: 1: {A} Multi-User Software Development Environment},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {36--39},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Wed, 04 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/Kaiser93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/KirschenbaumS93,
author = {Marc Kirschenbaum and
Leon Sterling},
editor = {Dale Miller},
title = {Enhancement Structures for Proving Prolog Programs Correct},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {631},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Wed, 04 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/KirschenbaumS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/KobayashiY93,
author = {Naoki Kobayashi and
Akinori Yonezawa},
editor = {Dale Miller},
title = {{ACL} - {A} Concurrent Linear Logic Programming Paradigm},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {279--294},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Wed, 04 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/KobayashiY93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/KohlhaseP93,
author = {Michael Kohlhase and
Frank Pfenning},
editor = {Dale Miller},
title = {Unification in a Lambda-Calculus with Intersection Types},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {488--505},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Wed, 04 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/KohlhaseP93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/Li93,
author = {Zhenzhong Li},
editor = {Dale Miller},
title = {A pi-calculus Specification of Prolog},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {680},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Wed, 04 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/Li93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/LiL93,
author = {Wenfeng Li and
Zheng Lin},
editor = {Dale Miller},
title = {A Distributed Parallel {LP} System},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {663},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Mon, 14 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/slp/LiL93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/LifschitzMT93,
author = {Vladimir Lifschitz and
Norman McCain and
Hudson Turner},
editor = {Dale Miller},
title = {Automated Reasoning About Actions: {A} Logic Programming Approach},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {641},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Wed, 04 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/LifschitzMT93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/LuskMOS93,
author = {Ewing L. Lusk and
Shyam Mudambi and
Ross A. Overbeek and
P{\'{e}}ter Szeredi},
editor = {Dale Miller},
title = {Applications of the Aurora Parallel Prolog System to Computational
Molecular Biology},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {353--369},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Wed, 04 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/LuskMOS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/MacdonaldSY93,
author = {Andrew D. Macdonald and
Peter J. Stuckey and
Roland H. C. Yap},
editor = {Dale Miller},
title = {Redundancy of Variables in {CLP} {(R)}},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {75--93},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Wed, 04 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/MacdonaldSY93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/MartelliMP93,
author = {Maurizio Martelli and
Alessandro Messora and
Catuscia Palamidessi},
editor = {Dale Miller},
title = {Fixpoint Semantics of L-lambda},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {666},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Wed, 04 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/MartelliMP93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/McDonaldXEF93,
author = {B. McDonald and
J. Xu and
M. Epstein and
E. Freeman},
editor = {Dale Miller},
title = {On the Denotational and Logical Semantics of CLP-Modules},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {658},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Wed, 04 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/McDonaldXEF93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/Meyer93,
author = {Bernd Meyer},
editor = {Dale Miller},
title = {Logic and the Structure of Space - Towards a Visual Logic for Spatial
Reasoning},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {674},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Tue, 04 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/slp/Meyer93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/MoraPRF93,
author = {A. Mora and
J. Piris and
Mar{\'{\i}}a Jos{\'{e}} Ram{\'{\i}}rez and
Moreno Falaschi},
editor = {Dale Miller},
title = {A Prototype System for Equational Constructive Negation},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {638},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Wed, 04 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/MoraPRF93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/MorenoPM93,
author = {Lidia Moreno and
Manuel Palomar and
Antonio Molina},
editor = {Dale Miller},
title = {The Incorporation of Logic Formalisms to Natural Language Through
Logic Programming},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {671},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Wed, 04 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/MorenoPM93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/Nilsson93,
author = {Ulf Nilsson},
editor = {Dale Miller},
title = {Goal-directed Bottom-up Evaluation of Normal Logic Programs},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {647},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Wed, 04 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/Nilsson93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/NystromJ93,
author = {Sven{-}Olof Nystr{\"{o}}m and
Bengt Jonsson},
editor = {Dale Miller},
title = {Indeterminate Concurrent Constraint Programming: {A} Fixpoint Semantics
for Non-Terminating Computations},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {335--352},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Tue, 31 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/slp/NystromJ93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/Orgun93,
author = {Mehmet A. Orgun},
editor = {Dale Miller},
title = {The Soundness and Completeness of a Temporal Extension of Logic Programming},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {669},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Wed, 04 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/Orgun93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/OsorioJ93,
author = {Mauricio Osorio and
Bharat Jayaraman},
editor = {Dale Miller},
title = {Subset Assertions and Negation As Failure},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {637},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Tue, 17 Oct 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/slp/OsorioJ93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/PalopoliZ93,
author = {Luigi Palopoli and
Carlo Zaniolo},
editor = {Dale Miller},
title = {Polynominal Time Computable Stable Models},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {645},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Mon, 18 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/slp/PalopoliZ93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/Paterson-JonesW93,
author = {Roland Paterson{-}Jones and
Peter T. Wood},
editor = {Dale Miller},
title = {Extending the {WAM} for HiLog},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {654},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Wed, 04 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/Paterson-JonesW93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/PesantB93,
author = {Gilles Pesant and
Michel Boyer},
editor = {Dale Miller},
title = {Handling Quadratic Constraints through Geometry},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {659},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Wed, 04 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/PesantB93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/Pimentel93,
author = {Ernesto Pimentel},
editor = {Dale Miller},
title = {L2{\(\vert\)}{\(\vert\)}O2: {A} Concurrent Object-oriented Logic Language},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {665},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Wed, 12 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/slp/Pimentel93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/PodelskiR93,
author = {Andreas Podelski and
Peter Van Roy},
editor = {Dale Miller},
title = {The Beauty and the Beast Algorithm},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {653},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Wed, 04 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/PodelskiR93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/PostGK93,
author = {Kjell Post and
Allen Van Gelder and
James Kerr},
editor = {Dale Miller},
title = {Deterministic Parsing of Languages with Dynamic Operators},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {456--472},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Wed, 04 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/PostGK93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/Raedt93,
author = {Luc De Raedt},
editor = {Dale Miller},
title = {A Brief Introduction to Inductive Logic Programming},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {45--51},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Wed, 04 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/Raedt93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/RodriguesL93,
author = {Irene Pimenta Rodrigues and
Jos{\'{e}} Gabriel Lopes},
editor = {Dale Miller},
title = {Temporal Reasoning for Temporal Information Retrieval From Text},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {675},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Wed, 04 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/RodriguesL93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/Shilcrat93,
author = {Esther D. Shilcrat},
editor = {Dale Miller},
title = {Id Est, {A} Logic Based Framework for Direct Manipulation Systems},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {646},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Wed, 04 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/Shilcrat93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/Sidebottom93,
author = {Greg Sidebottom},
editor = {Dale Miller},
title = {Optimizing Constraint Processing in {CLP(FD)}},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {660},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Wed, 04 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/Sidebottom93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/Sindaha93,
author = {Ra{\'{e}}d Yousef Sindaha},
editor = {Dale Miller},
title = {Branch-Level Scheduling in Aurora: The Dharma Scheduler},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {403--419},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Wed, 04 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/Sindaha93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/Sohn93,
author = {Kirack Sohn},
editor = {Dale Miller},
title = {Relational Groundness Analysis for Logic Programs},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {635},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Wed, 04 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/Sohn93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/Spencer93,
author = {Bruce Spencer},
editor = {Dale Miller},
title = {The Ordered Clause Restriction of Model Elimination and {SLI} Resolution},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {678},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Wed, 04 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/Spencer93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/SudarshanR93,
author = {S. Sudarshan and
Raghu Ramakrishnan},
editor = {Dale Miller},
title = {Optimizations of Bottom-Up Evaluation with Non-Ground Terms},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {557--574},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Thu, 02 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/slp/SudarshanR93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/SudarshanSRB93,
author = {S. Sudarshan and
Divesh Srivastava and
Raghu Ramakrishnan and
Catriel Beeri},
editor = {Dale Miller},
title = {Extending the Well-Founded and Valid Semantics for Aggregation},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {590--608},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Thu, 02 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/slp/SudarshanSRB93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/TakahashiS93,
author = {Silvia Takahashi and
Frank S. K. Silbermann},
editor = {Dale Miller},
title = {Prolog Interpretation of {A} Functional-Logic Language},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {672},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Wed, 04 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/TakahashiS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/Tarau93,
author = {Paul Tarau},
editor = {Dale Miller},
title = {An Efficient Specialization of the {WAM} for Continuation Passing
Binary Programs},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {652},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Wed, 04 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/Tarau93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/Teusink93,
author = {Frank Teusink},
editor = {Dale Miller},
title = {A Proof Procedure for Extended Logic Programs},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {235--249},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Wed, 04 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/Teusink93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/TongL93,
author = {Bo{-}Ming Tong and
Ho{-}fung Leung},
editor = {Dale Miller},
title = {Concurrent Constraint Logic Programming On Massively Parallel {SIMD}
Computers},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {388--402},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Mon, 20 Apr 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/slp/TongL93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/Vargas-VeraVR93,
author = {Maria Vargas{-}Vera and
Wamberto Weber Vasconcelos and
David Stuart Robertson},
editor = {Dale Miller},
title = {Building Large-Scale Prolog Programs using a Techniques Editing System},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {636},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Tue, 13 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/slp/Vargas-VeraVR93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/WaalG93,
author = {D. Andre de Waal and
John P. Gallagher},
editor = {Dale Miller},
title = {Logic Program Specialisation With Deletion of Useless Clauses},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {632},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Wed, 04 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/WaalG93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/WassermanYS93,
author = {Howard C. Wasserman and
Keitaro Yukawa and
Zhizhang Shen},
editor = {Dale Miller},
title = {The Essential Inadequacy of Deductions in Logic Programming},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {644},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Wed, 04 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/WassermanYS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/YouY93,
author = {Jia{-}Huai You and
Li{-}Yan Yuan},
editor = {Dale Miller},
title = {Contradiction Resolving for Extended Logic Programs and Default Theories},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {640},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Wed, 04 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/YouY93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/Zhou93,
author = {Neng{-}Fa Zhou},
editor = {Dale Miller},
title = {On the Direct Parameter Passing Mechanism for Prolog Compilers},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {655},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Wed, 04 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/Zhou93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/slp/1993,
editor = {Dale Miller},
title = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
publisher = {{MIT} Press},
year = {1993},
isbn = {0-262-63152-0},
timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/1993.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.
retrieved on 2025-01-02 08:00 CET 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:
