default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/iclp/iclp92.bht:"
download as .bib file
@inproceedings{DBLP:conf/iclp/Abiteboul92,
author = {Serge Abiteboul},
editor = {Krzysztof R. Apt},
title = {Deductive and Object-Oriented Databases},
booktitle = {Logic Programming, Proceedings of the Joint International Conference
and Symposium on Logic Programming, {JICSLP} 1992, Washington, DC,
USA, November 1992},
pages = {26--29},
publisher = {{MIT} Press},
year = {1992},
timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Abiteboul92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/AbreuPC92,
author = {Salvador Abreu and
Lu{\'{\i}}s Moniz Pereira and
Philippe Codognet},
editor = {Krzysztof R. Apt},
title = {Improving Backward Execution in the Andorra Family of Languages},
booktitle = {Logic Programming, Proceedings of the Joint International Conference
and Symposium on Logic Programming, {JICSLP} 1992, Washington, DC,
USA, November 1992},
pages = {384--398},
publisher = {{MIT} Press},
year = {1992},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/AbreuPC92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/AlferesP92,
author = {Jos{\'{e}} J{\'{u}}lio Alferes and
Lu{\'{\i}}s Moniz Pereira},
editor = {Krzysztof R. Apt},
title = {On Logic Program Semantics with Two Kinds of Negation},
booktitle = {Logic Programming, Proceedings of the Joint International Conference
and Symposium on Logic Programming, {JICSLP} 1992, Washington, DC,
USA, November 1992},
pages = {574--588},
publisher = {{MIT} Press},
year = {1992},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/AlferesP92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Ben-EliyahuD92,
author = {Rachel Ben{-}Eliyahu and
Rina Dechter},
editor = {Krzysztof R. Apt},
title = {Propositional Sematics for Disjunctive Logic Programs},
booktitle = {Logic Programming, Proceedings of the Joint International Conference
and Symposium on Logic Programming, {JICSLP} 1992, Washington, DC,
USA, November 1992},
pages = {813--827},
publisher = {{MIT} Press},
year = {1992},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Ben-EliyahuD92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/BigotDM92,
author = {Peter A. Bigot and
Saumya K. Debray and
Kim Marriott},
editor = {Krzysztof R. Apt},
title = {Understanding Finiteness Analysis Using Abstract Interpretation},
booktitle = {Logic Programming, Proceedings of the Joint International Conference
and Symposium on Logic Programming, {JICSLP} 1992, Washington, DC,
USA, November 1992},
pages = {735--749},
publisher = {{MIT} Press},
year = {1992},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/BigotDM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/BoerP92,
author = {Frank S. de Boer and
Catuscia Palamidessi},
editor = {Krzysztof R. Apt},
title = {A Process Algebra of Concurrent Constraint Programming},
booktitle = {Logic Programming, Proceedings of the Joint International Conference
and Symposium on Logic Programming, {JICSLP} 1992, Washington, DC,
USA, November 1992},
pages = {463--477},
publisher = {{MIT} Press},
year = {1992},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/BoerP92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Bonatti92,
author = {Piero A. Bonatti},
editor = {Krzysztof R. Apt},
title = {Autoepistemic Logics as a Unifying Framework for the Semantics of
Logic Programs},
booktitle = {Logic Programming, Proceedings of the Joint International Conference
and Symposium on Logic Programming, {JICSLP} 1992, Washington, DC,
USA, November 1992},
pages = {417--430},
publisher = {{MIT} Press},
year = {1992},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Bonatti92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/BrogiLMM92,
author = {Antonio Brogi and
Evelina Lamma and
Paolo Mancarella and
Paola Mello},
editor = {Krzysztof R. Apt},
title = {Normal Logic Programs as Open Positive Programs},
booktitle = {Logic Programming, Proceedings of the Joint International Conference
and Symposium on Logic Programming, {JICSLP} 1992, Washington, DC,
USA, November 1992},
pages = {783--797},
publisher = {{MIT} Press},
year = {1992},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/BrogiLMM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/BronsardLR92,
author = {Fran{\c{c}}ois Bronsard and
T. K. Lakshman and
Uday S. Reddy},
editor = {Krzysztof R. Apt},
title = {A Framework of Directionality for Proving Termination of Logic Programs},
booktitle = {Logic Programming, Proceedings of the Joint International Conference
and Symposium on Logic Programming, {JICSLP} 1992, Washington, DC,
USA, November 1992},
pages = {321--335},
publisher = {{MIT} Press},
year = {1992},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/BronsardLR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Bugliesi92,
author = {Michele Bugliesi},
editor = {Krzysztof R. Apt},
title = {A Declarative View of Inheritance in Logic Programming},
booktitle = {Logic Programming, Proceedings of the Joint International Conference
and Symposium on Logic Programming, {JICSLP} 1992, Washington, DC,
USA, November 1992},
pages = {113--127},
publisher = {{MIT} Press},
year = {1992},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Bugliesi92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Cerrito92,
author = {Serenella Cerrito},
editor = {Krzysztof R. Apt},
title = {Herbrand Methods in Sequent Calculi: Unification in {LL}},
booktitle = {Logic Programming, Proceedings of the Joint International Conference
and Symposium on Logic Programming, {JICSLP} 1992, Washington, DC,
USA, November 1992},
pages = {607--621},
publisher = {{MIT} Press},
year = {1992},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Cerrito92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/ChandyK92,
author = {K. Mani Chandy and
Carl Kesselman},
editor = {Krzysztof R. Apt},
title = {The Derivation of Compositional Programs},
booktitle = {Logic Programming, Proceedings of the Joint International Conference
and Symposium on Logic Programming, {JICSLP} 1992, Washington, DC,
USA, November 1992},
pages = {3--17},
publisher = {{MIT} Press},
year = {1992},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/ChandyK92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/CharlierH92,
author = {Baudouin Le Charlier and
Pascal Van Hentenryck},
editor = {Krzysztof R. Apt},
title = {Reexecution in Abstract Interpretation of Prolog},
booktitle = {Logic Programming, Proceedings of the Joint International Conference
and Symposium on Logic Programming, {JICSLP} 1992, Washington, DC,
USA, November 1992},
pages = {750--764},
publisher = {{MIT} Press},
year = {1992},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/CharlierH92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/ChenRR92,
author = {Ta Chen and
I. V. Ramakrishnan and
R. Ramesh},
editor = {Krzysztof R. Apt},
title = {Multistage Indexing Algorithms for Speeding Prolog Execution},
booktitle = {Logic Programming, Proceedings of the Joint International Conference
and Symposium on Logic Programming, {JICSLP} 1992, Washington, DC,
USA, November 1992},
pages = {639--653},
publisher = {{MIT} Press},
year = {1992},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/ChenRR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/ChenW92,
author = {Weidong Chen and
David Scott Warren},
editor = {Krzysztof R. Apt},
title = {A Goal-Oriented Approach to Computing Well Founded Semantics},
booktitle = {Logic Programming, Proceedings of the Joint International Conference
and Symposium on Logic Programming, {JICSLP} 1992, Washington, DC,
USA, November 1992},
pages = {589--603},
publisher = {{MIT} Press},
year = {1992},
timestamp = {Wed, 15 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/ChenW92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/ColussiM92,
author = {Livio Colussi and
Elena Marchiori},
editor = {Krzysztof R. Apt},
title = {A Predicate Transformer for Unification},
booktitle = {Logic Programming, Proceedings of the Joint International Conference
and Symposium on Logic Programming, {JICSLP} 1992, Washington, DC,
USA, November 1992},
pages = {67--81},
publisher = {{MIT} Press},
year = {1992},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/ColussiM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/DebrayKP92,
author = {Saumya K. Debray and
Sampath Kannan and
Mukul Paithane},
editor = {Krzysztof R. Apt},
title = {Weighted Decision Trees},
booktitle = {Logic Programming, Proceedings of the Joint International Conference
and Symposium on Logic Programming, {JICSLP} 1992, Washington, DC,
USA, November 1992},
pages = {654--668},
publisher = {{MIT} Press},
year = {1992},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/DebrayKP92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/DeneckerS92,
author = {Marc Denecker and
Danny De Schreye},
editor = {Krzysztof R. Apt},
title = {{SLDNFA:} An Abductive Procedure for Normal Abductive Programs},
booktitle = {Logic Programming, Proceedings of the Joint International Conference
and Symposium on Logic Programming, {JICSLP} 1992, Washington, DC,
USA, November 1992},
pages = {686--700},
publisher = {{MIT} Press},
year = {1992},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/DeneckerS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Dix92,
author = {J{\"{u}}rgen Dix},
editor = {Krzysztof R. Apt},
title = {Classifying Semantics of Disjunctive Logic Programs},
booktitle = {Logic Programming, Proceedings of the Joint International Conference
and Symposium on Logic Programming, {JICSLP} 1992, Washington, DC,
USA, November 1992},
pages = {798--812},
publisher = {{MIT} Press},
year = {1992},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Dix92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/DongL92,
author = {Fangqing Dong and
Laks V. S. Lakshmanan},
editor = {Krzysztof R. Apt},
title = {Deductive Databases with Incomplete Information},
booktitle = {Logic Programming, Proceedings of the Joint International Conference
and Symposium on Logic Programming, {JICSLP} 1992, Washington, DC,
USA, November 1992},
pages = {303--317},
publisher = {{MIT} Press},
year = {1992},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/DongL92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Dumant92,
author = {Bruno Dumant},
editor = {Krzysztof R. Apt},
title = {hecking the Soundness of Resolution Schemes},
booktitle = {Logic Programming, Proceedings of the Joint International Conference
and Symposium on Logic Programming, {JICSLP} 1992, Washington, DC,
USA, November 1992},
pages = {37--51},
publisher = {{MIT} Press},
year = {1992},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Dumant92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/FerrandD92,
author = {G{\'{e}}rard Ferrand and
Pierre Deransart},
editor = {Krzysztof R. Apt},
title = {Proof Method of Partial Correctness and Weak Completeness for Normal
Logic Programs},
booktitle = {Logic Programming, Proceedings of the Joint International Conference
and Symposium on Logic Programming, {JICSLP} 1992, Washington, DC,
USA, November 1992},
pages = {161--174},
publisher = {{MIT} Press},
year = {1992},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/FerrandD92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Fitting92,
author = {Melvin Fitting},
editor = {Krzysztof R. Apt},
title = {Many-Valued Semantics for Logic Programming},
booktitle = {Logic Programming, Proceedings of the Joint International Conference
and Symposium on Logic Programming, {JICSLP} 1992, Washington, DC,
USA, November 1992},
pages = {23--24},
publisher = {{MIT} Press},
year = {1992},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Fitting92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/GabbrielliLM92,
author = {Maurizio Gabbrielli and
Giorgio Levi and
Maria Chiara Meo},
editor = {Krzysztof R. Apt},
title = {Observational Equivalences for Logic Programs},
booktitle = {Logic Programming, Proceedings of the Joint International Conference
and Symposium on Logic Programming, {JICSLP} 1992, Washington, DC,
USA, November 1992},
pages = {131--145},
publisher = {{MIT} Press},
year = {1992},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/GabbrielliLM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/GelfondL92,
author = {Michael Gelfond and
Vladimir Lifschitz},
editor = {Krzysztof R. Apt},
title = {Representing Actions in Extended Logic Programming},
booktitle = {Logic Programming, Proceedings of the Joint International Conference
and Symposium on Logic Programming, {JICSLP} 1992, Washington, DC,
USA, November 1992},
pages = {559--573},
publisher = {{MIT} Press},
year = {1992},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/GelfondL92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/GiordanoO92,
author = {Laura Giordano and
Nicola Olivetti},
editor = {Krzysztof R. Apt},
title = {Negation as Failure in Intuitionistic Logic Programming},
booktitle = {Logic Programming, Proceedings of the Joint International Conference
and Symposium on Logic Programming, {JICSLP} 1992, Washington, DC,
USA, November 1992},
pages = {431--445},
publisher = {{MIT} Press},
year = {1992},
timestamp = {Fri, 01 Apr 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/GiordanoO92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/GrogerP92,
author = {Gerhard Gr{\"{o}}ger and
Lutz Pl{\"{u}}mer},
editor = {Krzysztof R. Apt},
title = {Handling of Mutual Recursion in Automatic Termination Proofs for Logic
Programs},
booktitle = {Logic Programming, Proceedings of the Joint International Conference
and Symposium on Logic Programming, {JICSLP} 1992, Washington, DC,
USA, November 1992},
pages = {336--350},
publisher = {{MIT} Press},
year = {1992},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/GrogerP92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/GrosseHSST92,
author = {Gerd Gro{\ss}e and
Steffen H{\"{o}}lldobler and
Josef Schneeberger and
Ute Cornelia Sigmund and
Michael Thielscher},
editor = {Krzysztof R. Apt},
title = {Equational Logic Programming Actions, and Change},
booktitle = {Logic Programming, Proceedings of the Joint International Conference
and Symposium on Logic Programming, {JICSLP} 1992, Washington, DC,
USA, November 1992},
pages = {177--191},
publisher = {{MIT} Press},
year = {1992},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/GrosseHSST92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/GudemanBD92,
author = {David Gudeman and
Koenraad De Bosschere and
Saumya K. Debray},
editor = {Krzysztof R. Apt},
title = {jc: An Efficient and Portable Sequential Implementation of Janus},
booktitle = {Logic Programming, Proceedings of the Joint International Conference
and Symposium on Logic Programming, {JICSLP} 1992, Washington, DC,
USA, November 1992},
pages = {399--413},
publisher = {{MIT} Press},
year = {1992},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/GudemanBD92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/HaasJ92,
author = {Juergen Haas and
Bharat Jayaraman},
editor = {Krzysztof R. Apt},
title = {Interactive Synthesis of Definite-Clause Grammars},
booktitle = {Logic Programming, Proceedings of the Joint International Conference
and Symposium on Logic Programming, {JICSLP} 1992, Washington, DC,
USA, November 1992},
pages = {541--555},
publisher = {{MIT} Press},
year = {1992},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/HaasJ92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Hanus92,
author = {Michael Hanus},
editor = {Krzysztof R. Apt},
title = {On the Completeness of Residuation},
booktitle = {Logic Programming, Proceedings of the Joint International Conference
and Symposium on Logic Programming, {JICSLP} 1992, Washington, DC,
USA, November 1992},
pages = {192--206},
publisher = {{MIT} Press},
year = {1992},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Hanus92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Harland92,
author = {James Harland},
editor = {Krzysztof R. Apt},
title = {On Normal Forms and Equivalence for Logic Programs},
booktitle = {Logic Programming, Proceedings of the Joint International Conference
and Symposium on Logic Programming, {JICSLP} 1992, Washington, DC,
USA, November 1992},
pages = {146--160},
publisher = {{MIT} Press},
year = {1992},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Harland92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Heintze92,
author = {Nevin Heintze},
editor = {Krzysztof R. Apt},
title = {Practical Aspects of Set Based Analysis},
booktitle = {Logic Programming, Proceedings of the Joint International Conference
and Symposium on Logic Programming, {JICSLP} 1992, Washington, DC,
USA, November 1992},
pages = {765--779},
publisher = {{MIT} Press},
year = {1992},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Heintze92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Hodas92,
author = {Joshua S. Hodas},
editor = {Krzysztof R. Apt},
title = {Specifying Filler-Gap Dependency Parsers in a Linear-Logic Programming
Language},
booktitle = {Logic Programming, Proceedings of the Joint International Conference
and Symposium on Logic Programming, {JICSLP} 1992, Washington, DC,
USA, November 1992},
pages = {622--636},
publisher = {{MIT} Press},
year = {1992},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Hodas92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/JacquetM92,
author = {Jean{-}Marie Jacquet and
Lu{\'{\i}}s Monteiro},
editor = {Krzysztof R. Apt},
title = {Communicating Clauses: Towards Synchronous Communication in Contextual
Logic Programming},
booktitle = {Logic Programming, Proceedings of the Joint International Conference
and Symposium on Logic Programming, {JICSLP} 1992, Washington, DC,
USA, November 1992},
pages = {98--112},
publisher = {{MIT} Press},
year = {1992},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/JacquetM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/KempSS92,
author = {David B. Kemp and
Peter J. Stuckey and
Divesh Srivastava},
editor = {Krzysztof R. Apt},
title = {Query Restricted Bottom-Up Evaluation of Normal Logic Programs},
booktitle = {Logic Programming, Proceedings of the Joint International Conference
and Symposium on Logic Programming, {JICSLP} 1992, Washington, DC,
USA, November 1992},
pages = {288--302},
publisher = {{MIT} Press},
year = {1992},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/KempSS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/KingS92,
author = {Andy King and
Paul Soper},
editor = {Krzysztof R. Apt},
title = {Schedule Analysis of Concurrent Logic programs},
booktitle = {Logic Programming, Proceedings of the Joint International Conference
and Symposium on Logic Programming, {JICSLP} 1992, Washington, DC,
USA, November 1992},
pages = {478--492},
publisher = {{MIT} Press},
year = {1992},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/KingS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/KirchnerR92,
author = {H{\'{e}}l{\`{e}}ne Kirchner and
Christophe Ringeissen},
editor = {Krzysztof R. Apt},
title = {A Constraint Solver in Finite Algebras and Its Combination with Unification
Algorithms},
booktitle = {Logic Programming, Proceedings of the Joint International Conference
and Symposium on Logic Programming, {JICSLP} 1992, Washington, DC,
USA, November 1992},
pages = {225--239},
publisher = {{MIT} Press},
year = {1992},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/KirchnerR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/KuchenLMR92,
author = {Herbert Kuchen and
Francisco Javier L{\'{o}}pez{-}Fraguas and
Juan Jos{\'{e}} Moreno{-}Navarro and
Mario Rodr{\'{\i}}guez{-}Artalejo},
editor = {Krzysztof R. Apt},
title = {Implementing a Lazy Functional Logic Language with Disequality Constraints},
booktitle = {Logic Programming, Proceedings of the Joint International Conference
and Symposium on Logic Programming, {JICSLP} 1992, Washington, DC,
USA, November 1992},
pages = {207--221},
publisher = {{MIT} Press},
year = {1992},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/KuchenLMR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/MamedeM92,
author = {Margarida Mamede and
Lu{\'{\i}}s Monteiro},
editor = {Krzysztof R. Apt},
title = {A Contraint Logic Programming Scheme for Taxonomic Reasoning},
booktitle = {Logic Programming, Proceedings of the Joint International Conference
and Symposium on Logic Programming, {JICSLP} 1992, Washington, DC,
USA, November 1992},
pages = {255--269},
publisher = {{MIT} Press},
year = {1992},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/MamedeM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/MarekNR92,
author = {V. Wiktor Marek and
Anil Nerode and
Jeffrey B. Remmel},
editor = {Krzysztof R. Apt},
title = {The Stable Models of a Predicate Logic Program},
booktitle = {Logic Programming, Proceedings of the Joint International Conference
and Symposium on Logic Programming, {JICSLP} 1992, Washington, DC,
USA, November 1992},
pages = {446--460},
publisher = {{MIT} Press},
year = {1992},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/MarekNR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/MartensS92,
author = {Bern Martens and
Danny De Schreye},
editor = {Krzysztof R. Apt},
title = {A Perfect Herbrand Semantics for Untyped Vanilla Meta-Programming},
booktitle = {Logic Programming, Proceedings of the Joint International Conference
and Symposium on Logic Programming, {JICSLP} 1992, Washington, DC,
USA, November 1992},
pages = {511--525},
publisher = {{MIT} Press},
year = {1992},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/MartensS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Mitchell92,
author = {William J. Mitchell},
editor = {Krzysztof R. Apt},
title = {The Logic of Architecture: Programming the Invention of Physical Artifacts},
booktitle = {Logic Programming, Proceedings of the Joint International Conference
and Symposium on Logic Programming, {JICSLP} 1992, Washington, DC,
USA, November 1992},
pages = {831--846},
publisher = {{MIT} Press},
year = {1992},
timestamp = {Wed, 17 Jun 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Mitchell92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/OlderR92,
author = {William J. Older and
John A. Rummell},
editor = {Krzysztof R. Apt},
title = {An Incremental Garbage Collector for WAM-Based Prolog},
booktitle = {Logic Programming, Proceedings of the Joint International Conference
and Symposium on Logic Programming, {JICSLP} 1992, Washington, DC,
USA, November 1992},
pages = {369--383},
publisher = {{MIT} Press},
year = {1992},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/OlderR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Overbeek92,
author = {Ross A. Overbeek},
editor = {Krzysztof R. Apt},
title = {Logic Programming and Genetic Sequence Analysis: a Tutorial},
booktitle = {Logic Programming, Proceedings of the Joint International Conference
and Symposium on Logic Programming, {JICSLP} 1992, Washington, DC,
USA, November 1992},
pages = {32--34},
publisher = {{MIT} Press},
year = {1992},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Overbeek92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Pearl92,
author = {Judea Pearl},
editor = {Krzysztof R. Apt},
title = {Empirical Semantics for Defeasible Databases},
booktitle = {Logic Programming, Proceedings of the Joint International Conference
and Symposium on Logic Programming, {JICSLP} 1992, Washington, DC,
USA, November 1992},
pages = {18--20},
publisher = {{MIT} Press},
year = {1992},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Pearl92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/QianW92,
author = {Zhenyu Qian and
Kang Wang},
editor = {Krzysztof R. Apt},
title = {Higher-Order E-Unification for Arbitrary Theories},
booktitle = {Logic Programming, Proceedings of the Joint International Conference
and Symposium on Logic Programming, {JICSLP} 1992, Washington, DC,
USA, November 1992},
pages = {52--66},
publisher = {{MIT} Press},
year = {1992},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/QianW92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/RamakrishnanSS92,
author = {Raghu Ramakrishnan and
Divesh Srivastava and
S. Sudarshan},
editor = {Krzysztof R. Apt},
title = {Controlling the Search in Bottom-Up Evaluation},
booktitle = {Logic Programming, Proceedings of the Joint International Conference
and Symposium on Logic Programming, {JICSLP} 1992, Washington, DC,
USA, November 1992},
pages = {273--287},
publisher = {{MIT} Press},
year = {1992},
timestamp = {Thu, 02 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/RamakrishnanSS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/RouzaudN92,
author = {Yann Rouzaud and
Lan Nguyen{-}Phuong},
editor = {Krzysztof R. Apt},
title = {Integrating Modes and Subtypes into a Prolog Type-Checker},
booktitle = {Logic Programming, Proceedings of the Joint International Conference
and Symposium on Logic Programming, {JICSLP} 1992, Washington, DC,
USA, November 1992},
pages = {85--97},
publisher = {{MIT} Press},
year = {1992},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/RouzaudN92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Sato92,
author = {Taisuke Sato},
editor = {Krzysztof R. Apt},
title = {Meta-Programming through a Truth Predicate},
booktitle = {Logic Programming, Proceedings of the Joint International Conference
and Symposium on Logic Programming, {JICSLP} 1992, Washington, DC,
USA, November 1992},
pages = {526--540},
publisher = {{MIT} Press},
year = {1992},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Sato92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/SatohI92,
author = {Ken Satoh and
Noboru Iwayama},
editor = {Krzysztof R. Apt},
title = {A Query Evaluation Method for Abductive Logic Programming},
booktitle = {Logic Programming, Proceedings of the Joint International Conference
and Symposium on Logic Programming, {JICSLP} 1992, Washington, DC,
USA, November 1992},
pages = {671--685},
publisher = {{MIT} Press},
year = {1992},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/SatohI92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Shen92,
author = {Kish Shen},
editor = {Krzysztof R. Apt},
title = {Exploiting Dependent And-Parallelism in Prolog: The Dynamic Dependent
And-Parallel Scheme {(DDAS)}},
booktitle = {Logic Programming, Proceedings of the Joint International Conference
and Symposium on Logic Programming, {JICSLP} 1992, Washington, DC,
USA, November 1992},
pages = {717--731},
publisher = {{MIT} Press},
year = {1992},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Shen92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/SmolkaT92,
author = {Gert Smolka and
Ralf Treinen},
editor = {Krzysztof R. Apt},
title = {Records for Logic Programming},
booktitle = {Logic Programming, Proceedings of the Joint International Conference
and Symposium on Logic Programming, {JICSLP} 1992, Washington, DC,
USA, November 1992},
pages = {240--254},
publisher = {{MIT} Press},
year = {1992},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/SmolkaT92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/SundararajanST92,
author = {R. Sundararajan and
A. V. S. Sastry and
Evan Tick},
editor = {Krzysztof R. Apt},
title = {Variable Threadedness Analysis for Concurrent Logic Programs},
booktitle = {Logic Programming, Proceedings of the Joint International Conference
and Symposium on Logic Programming, {JICSLP} 1992, Washington, DC,
USA, November 1992},
pages = {493--508},
publisher = {{MIT} Press},
year = {1992},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/SundararajanST92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Szeredi92,
author = {P{\'{e}}ter Szeredi},
editor = {Krzysztof R. Apt},
title = {Exploiting Or-Parallelism in Optimisation Problems},
booktitle = {Logic Programming, Proceedings of the Joint International Conference
and Symposium on Logic Programming, {JICSLP} 1992, Washington, DC,
USA, November 1992},
pages = {703--716},
publisher = {{MIT} Press},
year = {1992},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Szeredi92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Tick92,
author = {Evan Tick},
editor = {Krzysztof R. Apt},
title = {Advanced Tutorial: Concurrent Logic Programming},
booktitle = {Logic Programming, Proceedings of the Joint International Conference
and Symposium on Logic Programming, {JICSLP} 1992, Washington, DC,
USA, November 1992},
pages = {25},
publisher = {{MIT} Press},
year = {1992},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Tick92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Troelstra92,
author = {A. S. Troelstra},
editor = {Krzysztof R. Apt},
title = {Tutorial on Linear Logic},
booktitle = {Logic Programming, Proceedings of the Joint International Conference
and Symposium on Logic Programming, {JICSLP} 1992, Washington, DC,
USA, November 1992},
pages = {30--31},
publisher = {{MIT} Press},
year = {1992},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Troelstra92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Wiggins92,
author = {Geraint A. Wiggins},
editor = {Krzysztof R. Apt},
title = {Synthesis and Transformation of Logic Programs in the Whelk Proof
Development System},
booktitle = {Logic Programming, Proceedings of the Joint International Conference
and Symposium on Logic Programming, {JICSLP} 1992, Washington, DC,
USA, November 1992},
pages = {351--365},
publisher = {{MIT} Press},
year = {1992},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Wiggins92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iclp/1992,
editor = {Krzysztof R. Apt},
title = {Logic Programming, Proceedings of the Joint International Conference
and Symposium on Logic Programming, {JICSLP} 1992, Washington, DC,
USA, November 1992},
publisher = {{MIT} Press},
year = {1992},
isbn = {0-262-51064-2},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/1992.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 2024-09-26 14:24 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:
