default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/iclp/iclp97.bht:"
download as .bib file
@inproceedings{DBLP:conf/iclp/AjiliK97,
author = {Farid Ajili and
Claude Kirchner},
editor = {Lee Naish},
title = {A Modular Framework for the Combination of Unification and Built-In
Constraints},
booktitle = {Logic Programming, Proceedings of the Fourteenth International Conference
on Logic Programming, Leuven, Belgium, July 8-11, 1997},
pages = {331--345},
publisher = {{MIT} Press},
year = {1997},
timestamp = {Mon, 02 Dec 2013 17:40:44 +0100},
biburl = {https://dblp.org/rec/conf/iclp/AjiliK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/AntoyEH97,
author = {Sergio Antoy and
Rachid Echahed and
Michael Hanus},
editor = {Lee Naish},
title = {Parallel Evaluation Strategies for Functional Logic Languages},
booktitle = {Logic Programming, Proceedings of the Fourteenth International Conference
on Logic Programming, Leuven, Belgium, July 8-11, 1997},
pages = {138--152},
publisher = {{MIT} Press},
year = {1997},
timestamp = {Mon, 02 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/AntoyEH97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/BaumgartnerF97,
author = {Peter Baumgartner and
Ulrich Furbach},
editor = {Lee Naish},
title = {Calculi for Disjunctive Logic Programming},
booktitle = {Logic Programming, Proceedings of the Fourteenth International Conference
on Logic Programming, Leuven, Belgium, July 8-11, 1997},
pages = {409},
publisher = {{MIT} Press},
year = {1997},
timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/BaumgartnerF97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/BelleghemDS97,
author = {Kristof Van Belleghem and
Marc Denecker and
Danny De Schreye},
editor = {Lee Naish},
title = {A Strong Correspondence between Description Logics and Open Logic
Programming},
booktitle = {Logic Programming, Proceedings of the Fourteenth International Conference
on Logic Programming, Leuven, Belgium, July 8-11, 1997},
pages = {346--360},
publisher = {{MIT} Press},
year = {1997},
timestamp = {Mon, 02 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/BelleghemDS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/BruynoogheJK97,
author = {Maurice Bruynooghe and
Gerda Janssens and
Andreas K{\aa}gedal},
editor = {Lee Naish},
title = {Live-Structure Analysis for Logic Programming Languages with Declarations},
booktitle = {Logic Programming, Proceedings of the Fourteenth International Conference
on Logic Programming, Leuven, Belgium, July 8-11, 1997},
pages = {33--47},
publisher = {{MIT} Press},
year = {1997},
timestamp = {Mon, 02 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/BruynoogheJK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/BuenoCL97,
author = {Francisco Bueno and
Michael Codish and
Vitaly Lagoon},
editor = {Lee Naish},
title = {Sharing Analysis Using Set Logic Programs},
booktitle = {Logic Programming, Proceedings of the Fourteenth International Conference
on Logic Programming, Leuven, Belgium, July 8-11, 1997},
pages = {417},
publisher = {{MIT} Press},
year = {1997},
timestamp = {Mon, 02 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/BuenoCL97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/CaseauL97,
author = {Yves Caseau and
Fran{\c{c}}ois Laburthe},
editor = {Lee Naish},
title = {Solving Small TSPs with Constraints},
booktitle = {Logic Programming, Proceedings of the Fourteenth International Conference
on Logic Programming, Leuven, Belgium, July 8-11, 1997},
pages = {316--330},
publisher = {{MIT} Press},
year = {1997},
timestamp = {Mon, 02 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/CaseauL97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/CervesatoFM97,
author = {Iliano Cervesato and
Massimo Franceschet and
Angelo Montanari},
editor = {Lee Naish},
title = {The Complexity of Model Checking in Modal Event Calculi},
booktitle = {Logic Programming, Proceedings of the Fourteenth International Conference
on Logic Programming, Leuven, Belgium, July 8-11, 1997},
pages = {419},
publisher = {{MIT} Press},
year = {1997},
timestamp = {Mon, 02 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/CervesatoFM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Codish97,
author = {Michael Codish},
editor = {Lee Naish},
title = {Efficient Goal Directed Bottom-up Evaluation of Logic Programs},
booktitle = {Logic Programming, Proceedings of the Fourteenth International Conference
on Logic Programming, Leuven, Belgium, July 8-11, 1997},
pages = {422},
publisher = {{MIT} Press},
year = {1997},
timestamp = {Mon, 02 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Codish97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/CodishDS97,
author = {Michael Codish and
Bart Demoen and
Konstantinos Sagonas},
editor = {Lee Naish},
title = {{XSB} as the Natural Habitat for General Purpose Program Analysis},
booktitle = {Logic Programming, Proceedings of the Fourteenth International Conference
on Logic Programming, Leuven, Belgium, July 8-11, 1997},
pages = {416},
publisher = {{MIT} Press},
year = {1997},
timestamp = {Tue, 18 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/CodishDS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/DahlTL97,
author = {Ver{\'{o}}nica Dahl and
Paul Tarau and
Renwei Li},
editor = {Lee Naish},
title = {Assumption Grammars for Processing Natural Language},
booktitle = {Logic Programming, Proceedings of the Fourteenth International Conference
on Logic Programming, Leuven, Belgium, July 8-11, 1997},
pages = {256--270},
publisher = {{MIT} Press},
year = {1997},
timestamp = {Mon, 02 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/DahlTL97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/DebrayGH97,
author = {Saumya K. Debray and
Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
Manuel V. Hermenegildo},
editor = {Lee Naish},
title = {Non-Failure Analysis for Logic Programs},
booktitle = {Logic Programming, Proceedings of the Fourteenth International Conference
on Logic Programming, Leuven, Belgium, July 8-11, 1997},
pages = {48--62},
publisher = {{MIT} Press},
year = {1997},
timestamp = {Thu, 07 Apr 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/DebrayGH97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/DecorteS97,
author = {Stefaan Decorte and
Danny De Schreye},
editor = {Lee Naish},
title = {Demand-Driven and Constraint-Based Automatic Left-Termination Analysis
for Logic Programs},
booktitle = {Logic Programming, Proceedings of the Fourteenth International Conference
on Logic Programming, Leuven, Belgium, July 8-11, 1997},
pages = {78--92},
publisher = {{MIT} Press},
year = {1997},
timestamp = {Mon, 02 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/DecorteS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/DekhtyarD97,
author = {Michael I. Dekhtyar and
Alexander Ja. Dikovsky},
editor = {Lee Naish},
title = {Total Homeostaticity and Integrity Constraints Restorability Recognition},
booktitle = {Logic Programming, Proceedings of the Fourteenth International Conference
on Logic Programming, Leuven, Belgium, July 8-11, 1997},
pages = {241--255},
publisher = {{MIT} Press},
year = {1997},
timestamp = {Mon, 02 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/DekhtyarD97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/DekhtyarS97,
author = {Alex Dekhtyar and
V. S. Subrahmanian},
editor = {Lee Naish},
title = {Hybrid Probabilistic Programs},
booktitle = {Logic Programming, Proceedings of the Fourteenth International Conference
on Logic Programming, Leuven, Belgium, July 8-11, 1997},
pages = {391--405},
publisher = {{MIT} Press},
year = {1997},
timestamp = {Mon, 02 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/DekhtyarS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/FreireSW97,
author = {Juliana Freire and
Terrance Swift and
David Scott Warren},
editor = {Lee Naish},
title = {Taking {I/O} Seriously: Resolution Reconsidered for Disk},
booktitle = {Logic Programming, Proceedings of the Fourteenth International Conference
on Logic Programming, Leuven, Belgium, July 8-11, 1997},
pages = {198--212},
publisher = {{MIT} Press},
year = {1997},
timestamp = {Mon, 02 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/FreireSW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Gonzalez-MorenoHR97,
author = {Juan Carlos Gonz{\'{a}}lez Moreno and
Maria Teresa Hortal{\'{a}}{-}Gonz{\'{a}}lez and
Mario Rodr{\'{\i}}guez{-}Artalejo},
editor = {Lee Naish},
title = {A Higher Order Rewriting Logic for Functional Logic Programming},
booktitle = {Logic Programming, Proceedings of the Fourteenth International Conference
on Logic Programming, Leuven, Belgium, July 8-11, 1997},
pages = {153--167},
publisher = {{MIT} Press},
year = {1997},
timestamp = {Mon, 02 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Gonzalez-MorenoHR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/HuangSS97,
author = {Zhiyi Huang and
Chengzheng Sun and
Abdul Sattar},
editor = {Lee Naish},
title = {Handling Side-effects with Selective Recomputation in {AND/OR} Parallel
Execution Models},
booktitle = {Logic Programming, Proceedings of the Fourteenth International Conference
on Logic Programming, Leuven, Belgium, July 8-11, 1997},
pages = {410},
publisher = {{MIT} Press},
year = {1997},
timestamp = {Tue, 07 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/HuangSS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/KagedalD97,
author = {Andreas K{\aa}gedal and
Saumya K. Debray},
editor = {Lee Naish},
title = {A Practical Approach to Structure Reuse of Arrays in Single Assignment
Languages},
booktitle = {Logic Programming, Proceedings of the Fourteenth International Conference
on Logic Programming, Leuven, Belgium, July 8-11, 1997},
pages = {18--32},
publisher = {{MIT} Press},
year = {1997},
timestamp = {Mon, 02 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/KagedalD97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/LammaMM97,
author = {Evelina Lamma and
Michela Milano and
Paola Mello},
editor = {Lee Naish},
title = {Reasoning on Constraints in Constraint Logic Programming},
booktitle = {Logic Programming, Proceedings of the Fourteenth International Conference
on Logic Programming, Leuven, Belgium, July 8-11, 1997},
pages = {413},
publisher = {{MIT} Press},
year = {1997},
timestamp = {Mon, 02 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/LammaMM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/LindenstraussS97,
author = {Naomi Lindenstrauss and
Yehoshua Sagiv},
editor = {Lee Naish},
title = {Automatic Termination Analysis of Logic Programs},
booktitle = {Logic Programming, Proceedings of the Fourteenth International Conference
on Logic Programming, Leuven, Belgium, July 8-11, 1997},
pages = {63--77},
publisher = {{MIT} Press},
year = {1997},
timestamp = {Mon, 02 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/LindenstraussS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Liu97,
author = {Mengchi Liu},
editor = {Lee Naish},
title = {Supporting Partial and Complete Sets and Tuples in Deductive Databases},
booktitle = {Logic Programming, Proceedings of the Fourteenth International Conference
on Logic Programming, Leuven, Belgium, July 8-11, 1997},
pages = {415},
publisher = {{MIT} Press},
year = {1997},
timestamp = {Mon, 02 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Liu97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Mahajan97,
author = {Sameer Mahajan and
S. Ramesh},
editor = {Lee Naish},
title = {Concurrent Logic Programming and pi Calculus},
booktitle = {Logic Programming, Proceedings of the Fourteenth International Conference
on Logic Programming, Leuven, Belgium, July 8-11, 1997},
pages = {411},
publisher = {{MIT} Press},
year = {1997},
timestamp = {Thu, 07 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Mahajan97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/MolinaP97,
author = {Juan M. Molina{-}Bravo and
Ernesto Pimentel},
editor = {Lee Naish},
title = {Modularity in Functional-Logic Programming},
booktitle = {Logic Programming, Proceedings of the Fourteenth International Conference
on Logic Programming, Leuven, Belgium, July 8-11, 1997},
pages = {183--197},
publisher = {{MIT} Press},
year = {1997},
timestamp = {Wed, 12 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/MolinaP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/MullerW97,
author = {Tobias M{\"{u}}ller and
J{\"{o}}rg W{\"{u}}rtz},
editor = {Lee Naish},
title = {Connecting Propagators with a Concurrent Constraint Language},
booktitle = {Logic Programming, Proceedings of the Fourteenth International Conference
on Logic Programming, Leuven, Belgium, July 8-11, 1997},
pages = {412},
publisher = {{MIT} Press},
year = {1997},
timestamp = {Mon, 06 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/MullerW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Petukhin97,
author = {Vyacheslav Petukhin},
editor = {Lee Naish},
title = {Embedded Implications as a Generalization of Negation as Failure},
booktitle = {Logic Programming, Proceedings of the Fourteenth International Conference
on Logic Programming, Leuven, Belgium, July 8-11, 1997},
pages = {420},
publisher = {{MIT} Press},
year = {1997},
timestamp = {Mon, 02 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Petukhin97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/PontelliG97,
author = {Enrico Pontelli and
Gopal Gupta},
editor = {Lee Naish},
title = {Implementation Mechanisms for Dependent And-Parallelism},
booktitle = {Logic Programming, Proceedings of the Fourteenth International Conference
on Logic Programming, Leuven, Belgium, July 8-11, 1997},
pages = {123--137},
publisher = {{MIT} Press},
year = {1997},
timestamp = {Wed, 26 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/PontelliG97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/PontelliGPF97,
author = {Enrico Pontelli and
Gopal Gupta and
Francesco Pulvirenti and
Alfredo Ferro},
editor = {Lee Naish},
title = {Automatic Compile-time Parallelization of Prolog Programs for Dependent
And-Parallelism},
booktitle = {Logic Programming, Proceedings of the Fourteenth International Conference
on Logic Programming, Leuven, Belgium, July 8-11, 1997},
pages = {108--122},
publisher = {{MIT} Press},
year = {1997},
timestamp = {Wed, 26 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/PontelliGPF97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/PueblaBMS97,
author = {Germ{\'{a}}n Puebla and
Maria J. Garc{\'{\i}}a de la Banda and
Kim Marriott and
Peter J. Stuckey},
editor = {Lee Naish},
title = {Optimization of Logic Programs with Dynamic Scheduling},
booktitle = {Logic Programming, Proceedings of the Fourteenth International Conference
on Logic Programming, Leuven, Belgium, July 8-11, 1997},
pages = {93--107},
publisher = {{MIT} Press},
year = {1997},
timestamp = {Mon, 02 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/PueblaBMS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Raamsdonk97,
author = {Femke van Raamsdonk},
editor = {Lee Naish},
title = {Translating Logic Programs into Conditional Rewriting Systems},
booktitle = {Logic Programming, Proceedings of the Fourteenth International Conference
on Logic Programming, Leuven, Belgium, July 8-11, 1997},
pages = {168--182},
publisher = {{MIT} Press},
year = {1997},
timestamp = {Mon, 02 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Raamsdonk97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Schachte97,
author = {Peter Schachte},
editor = {Lee Naish},
title = {Global Variables in Logic Programming},
booktitle = {Logic Programming, Proceedings of the Fourteenth International Conference
on Logic Programming, Leuven, Belgium, July 8-11, 1997},
pages = {3--17},
publisher = {{MIT} Press},
year = {1997},
timestamp = {Mon, 02 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Schachte97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Schulte97,
author = {Christian Schulte},
editor = {Lee Naish},
title = {Oz Explorer: {A} Visual Constraint Programming Tool},
booktitle = {Logic Programming, Proceedings of the Fourteenth International Conference
on Logic Programming, Leuven, Belgium, July 8-11, 1997},
pages = {286--300},
publisher = {{MIT} Press},
year = {1997},
timestamp = {Tue, 26 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Schulte97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/ShimajiriSI97,
author = {Yuka Shimajiri and
Hirohisa Seki and
Hidenori Itoh},
editor = {Lee Naish},
title = {Incorporating a Pruning Strategy into the Computation of Stable Models
based on {MGTP}},
booktitle = {Logic Programming, Proceedings of the Fourteenth International Conference
on Logic Programming, Leuven, Belgium, July 8-11, 1997},
pages = {376--390},
publisher = {{MIT} Press},
year = {1997},
timestamp = {Mon, 02 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/ShimajiriSI97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/SmausHK97,
author = {Jan{-}Georg Smaus and
Patricia M. Hill and
Andy King},
editor = {Lee Naish},
title = {Domain Construction for Mode Analysis of Typed Logic Programs},
booktitle = {Logic Programming, Proceedings of the Fourteenth International Conference
on Logic Programming, Leuven, Belgium, July 8-11, 1997},
pages = {418},
publisher = {{MIT} Press},
year = {1997},
timestamp = {Mon, 02 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/SmausHK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Stuckey97,
author = {Peter J. Stuckey},
editor = {Lee Naish},
title = {Constraint Search Tree},
booktitle = {Logic Programming, Proceedings of the Fourteenth International Conference
on Logic Programming, Leuven, Belgium, July 8-11, 1997},
pages = {301--315},
publisher = {{MIT} Press},
year = {1997},
timestamp = {Mon, 02 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Stuckey97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/TorosluK97,
author = {Ismail H. Toroslu and
Fahri Kocabas},
editor = {Lee Naish},
title = {Effective Maintenance of Recursive Views: Improvements to the DRed
Algorithm},
booktitle = {Logic Programming, Proceedings of the Fourteenth International Conference
on Logic Programming, Leuven, Belgium, July 8-11, 1997},
pages = {213--225},
publisher = {{MIT} Press},
year = {1997},
timestamp = {Mon, 02 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/TorosluK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/TsuchidaAIY97,
author = {Kensei Tsuchida and
Yoshihiro Adachi and
Takanori Imaki and
Takeo Yaku},
editor = {Lee Naish},
title = {Tree Drawing Using Constraint Logic Programming},
booktitle = {Logic Programming, Proceedings of the Fourteenth International Conference
on Logic Programming, Leuven, Belgium, July 8-11, 1997},
pages = {414},
publisher = {{MIT} Press},
year = {1997},
timestamp = {Mon, 02 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/TsuchidaAIY97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/VaupelGP97,
author = {Rick Vaupel and
Enrico Pontelli and
Gopal Gupta},
editor = {Lee Naish},
title = {Visualization of And/Or-Parallel Execution of Logic Programs},
booktitle = {Logic Programming, Proceedings of the Fourteenth International Conference
on Logic Programming, Leuven, Belgium, July 8-11, 1997},
pages = {271--285},
publisher = {{MIT} Press},
year = {1997},
timestamp = {Wed, 26 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/VaupelGP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/WichertF97,
author = {Carl{-}Alexander Wichert and
Burkhard Freitag},
editor = {Lee Naish},
title = {Capturing Database Dynamics by Deferred Updates},
booktitle = {Logic Programming, Proceedings of the Fourteenth International Conference
on Logic Programming, Leuven, Belgium, July 8-11, 1997},
pages = {226--240},
publisher = {{MIT} Press},
year = {1997},
timestamp = {Mon, 02 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/WichertF97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/YouWY97,
author = {Jia{-}Huai You and
Xianchang Wang and
Li{-}Yan Yuan},
editor = {Lee Naish},
title = {Disjunctive Logic Programming as Constrained Inferences},
booktitle = {Logic Programming, Proceedings of the Fourteenth International Conference
on Logic Programming, Leuven, Belgium, July 8-11, 1997},
pages = {361--375},
publisher = {{MIT} Press},
year = {1997},
timestamp = {Mon, 02 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/YouWY97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/ZukowskiF97,
author = {Ulrich Zukowski and
Burkhard Freitag and
Stefan Brass},
editor = {Lee Naish},
title = {Differential Bottom-Up Computation of the Well-Founded Semantics},
booktitle = {Logic Programming, Proceedings of the Fourteenth International Conference
on Logic Programming, Leuven, Belgium, July 8-11, 1997},
pages = {421},
publisher = {{MIT} Press},
year = {1997},
timestamp = {Mon, 02 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/ZukowskiF97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iclp/1997,
editor = {Lee Naish},
title = {Logic Programming, Proceedings of the Fourteenth International Conference
on Logic Programming, Leuven, Belgium, July 8-11, 1997},
publisher = {{MIT} Press},
year = {1997},
isbn = {0-262-64035-X},
timestamp = {Mon, 02 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/1997.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-11-29 09:56 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:
