Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/iclp/iclp99.bht:"
@inproceedings{DBLP:conf/iclp/AlferesPS99, author = {Jos{\'{e}} J{\'{u}}lio Alferes and Lu{\'{\i}}s Moniz Pereira and Terrance Swift}, editor = {Danny De Schreye}, title = {Well-founded Abduction via Tabled Dual Programs}, booktitle = {Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999}, pages = {426--440}, publisher = {{MIT} Press}, year = {1999}, timestamp = {Mon, 02 Dec 2013 17:40:45 +0100}, biburl = {https://dblp.org/rec/conf/iclp/AlferesPS99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/AppelF99, author = {Andrew W. Appel and Amy P. Felty}, editor = {Danny De Schreye}, title = {Lightweight Lemmas in lambda-Prolog}, booktitle = {Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999}, pages = {411--425}, publisher = {{MIT} Press}, year = {1999}, timestamp = {Mon, 02 Dec 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/AppelF99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/Asvanyi99, author = {Tibor {\'{A}}sv{\'{a}}nyi}, editor = {Danny De Schreye}, title = {Adding Functions to SICStus Prolog}, booktitle = {Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999}, pages = {605}, publisher = {{MIT} Press}, year = {1999}, timestamp = {Mon, 02 Dec 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/Asvanyi99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/BenhamouGGP99, author = {Fr{\'{e}}d{\'{e}}ric Benhamou and Fr{\'{e}}d{\'{e}}ric Goualard and Laurent Granvilliers and Jean{-}Francois Puget}, editor = {Danny De Schreye}, title = {Revising Hull and Box Consistency}, booktitle = {Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999}, pages = {230--244}, publisher = {{MIT} Press}, year = {1999}, timestamp = {Mon, 02 Dec 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/BenhamouGGP99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/Bezem99, author = {Marc Bezem}, editor = {Danny De Schreye}, title = {Extensionality of Simply Typed Logic Programs}, booktitle = {Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999}, pages = {395--410}, publisher = {{MIT} Press}, year = {1999}, timestamp = {Mon, 02 Dec 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/Bezem99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/Bowen99, author = {Kenneth A. Bowen}, editor = {Danny De Schreye}, title = {Adventures in the Prolog Trade}, booktitle = {Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999}, pages = {22}, publisher = {{MIT} Press}, year = {1999}, timestamp = {Mon, 02 Dec 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/Bowen99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/BuccafurriFL99, author = {Francesco Buccafurri and Wolfgang Faber and Nicola Leone}, editor = {Danny De Schreye}, title = {Disjunctive Logic Programs with Inheritance}, booktitle = {Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999}, pages = {79--93}, publisher = {{MIT} Press}, year = {1999}, timestamp = {Sun, 12 Nov 2017 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/BuccafurriFL99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/CarroH99, author = {Manuel Carro and Manuel V. Hermenegildo}, editor = {Danny De Schreye}, title = {Concurrency in Prolog Using Threads and a Shared Database}, booktitle = {Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999}, pages = {320--334}, publisher = {{MIT} Press}, year = {1999}, timestamp = {Mon, 02 Dec 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/CarroH99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/CaseauJL99, author = {Yves Caseau and Fran{\c{c}}ois{-}Xavier Josset and Fran{\c{c}}ois Laburthe}, editor = {Danny De Schreye}, title = {{CLAIRE:} Combining Sets, Search, and Rules to Better Express Algorithms}, booktitle = {Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999}, pages = {245--259}, publisher = {{MIT} Press}, year = {1999}, timestamp = {Mon, 02 Dec 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/CaseauJL99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/CiarliniF99, author = {Angelo E. M. Ciarlini and Thom W. Fr{\"{u}}hwirth}, editor = {Danny De Schreye}, title = {Symbolic Execution for the Derivation of Meaningful Properties of Hybrid Systems}, booktitle = {Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999}, pages = {606}, publisher = {{MIT} Press}, year = {1999}, timestamp = {Mon, 02 Dec 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/CiarliniF99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/CuiW99, author = {Baoqiu Cui and David Scott Warren}, editor = {Danny De Schreye}, title = {Multiple Terms in a Tabled Logic Programming System}, booktitle = {Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999}, pages = {305--319}, publisher = {{MIT} Press}, year = {1999}, timestamp = {Mon, 02 Dec 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/CuiW99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/DekhtyarDS99, author = {Alex Dekhtyar and Michael I. Dekhtyar and V. S. Subrahmanian}, editor = {Danny De Schreye}, title = {Temporal Probabilistic Logic Programs}, booktitle = {Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999}, pages = {109--123}, publisher = {{MIT} Press}, year = {1999}, timestamp = {Mon, 02 Dec 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/DekhtyarDS99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/DemoenBHMS99, author = {Bart Demoen and Maria J. Garc{\'{\i}}a de la Banda and Warwick Harvey and Kim Marriott and Peter J. Stuckey}, editor = {Danny De Schreye}, title = {Herbrand Constraint Solving in {HAL}}, booktitle = {Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999}, pages = {260--274}, publisher = {{MIT} Press}, year = {1999}, timestamp = {Mon, 02 Dec 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/DemoenBHMS99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/DovierPPR99, author = {Agostino Dovier and Carla Piazza and Enrico Pontelli and Gianfranco Rossi}, editor = {Danny De Schreye}, title = {{ACI1} Constraints}, booktitle = {Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999}, pages = {573--587}, publisher = {{MIT} Press}, year = {1999}, timestamp = {Mon, 02 Dec 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/DovierPPR99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/Drabent99, author = {Wlodzimierz Drabent}, editor = {Danny De Schreye}, title = {It Is Declarative}, booktitle = {Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999}, pages = {607}, publisher = {{MIT} Press}, year = {1999}, timestamp = {Mon, 02 Dec 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/Drabent99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/EtalleR99, author = {Sandro Etalle and Femke van Raamsdonk}, editor = {Danny De Schreye}, title = {Logic Programming with Requests}, booktitle = {Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999}, pages = {558--572}, publisher = {{MIT} Press}, year = {1999}, timestamp = {Mon, 02 Dec 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/EtalleR99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/FocacciML99, author = {Filippo Focacci and Michela Milano and Andrea Lodi}, editor = {Danny De Schreye}, title = {Soving {TSP} with Time Windows with Constraints}, booktitle = {Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999}, pages = {515--529}, publisher = {{MIT} Press}, year = {1999}, timestamp = {Tue, 14 Mar 2017 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/FocacciML99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/GavanelliLMM99, author = {Marco Gavanelli and Evelina Lamma and Paola Mello and Michela Milano}, editor = {Danny De Schreye}, title = {Domains as First Class Objects in {CLP(FD)}}, booktitle = {Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999}, pages = {608}, publisher = {{MIT} Press}, year = {1999}, timestamp = {Mon, 02 Dec 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/GavanelliLMM99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/Greco99, author = {Sergio Greco}, editor = {Danny De Schreye}, title = {Optimization of Disjunctive Queries}, booktitle = {Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999}, pages = {441--455}, publisher = {{MIT} Press}, year = {1999}, timestamp = {Mon, 02 Dec 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/Greco99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/GuptaP99, author = {Gopal Gupta and Enrico Pontelli}, editor = {Danny De Schreye}, title = {Stack-splitting: Or-/And-parallelism on Distributed Memory Machines}, booktitle = {Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999}, pages = {290--304}, publisher = {{MIT} Press}, year = {1999}, timestamp = {Wed, 26 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iclp/GuptaP99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/Henz99, author = {Martin Henz}, editor = {Danny De Schreye}, title = {Constraint-based Round Robin Tournament Planning}, booktitle = {Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999}, pages = {545--557}, publisher = {{MIT} Press}, year = {1999}, timestamp = {Mon, 02 Dec 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/Henz99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/HermenegildoBPL99, author = {Manuel V. Hermenegildo and Francisco Bueno and Germ{\'{a}}n Puebla and Pedro L{\'{o}}pez{-}Garc{\'{\i}}a}, editor = {Danny De Schreye}, title = {Program Analysis, Debugging, and Optimization Using the Ciao System Preprocessor}, booktitle = {Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999}, pages = {52--66}, publisher = {{MIT} Press}, year = {1999}, timestamp = {Thu, 07 Apr 2016 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iclp/HermenegildoBPL99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/HirataY99, author = {Keiji Hirata and Kenichi Yamazaki}, editor = {Danny De Schreye}, title = {Declarative Priority in a Concurrent Logic Language O\({}_{\mbox{N}}\)}, booktitle = {Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999}, pages = {215--229}, publisher = {{MIT} Press}, year = {1999}, timestamp = {Wed, 11 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iclp/HirataY99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/HitzlerS99, author = {Pascal Hitzler and Anthony Karel Seda}, editor = {Danny De Schreye}, title = {A Characterization of Acceptability}, booktitle = {Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999}, pages = {609}, publisher = {{MIT} Press}, year = {1999}, timestamp = {Mon, 02 Dec 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/HitzlerS99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/JahierD99, author = {Erwan Jahier and Mireille Ducass{\'{e}}}, editor = {Danny De Schreye}, title = {A Generic Approach to Monitor Program Executions}, booktitle = {Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999}, pages = {139--153}, publisher = {{MIT} Press}, year = {1999}, timestamp = {Mon, 02 Dec 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/JahierD99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/Kahn99, author = {Kenneth M. Kahn}, editor = {Danny De Schreye}, title = {From Prolog and Zelta to ToonTalk}, booktitle = {Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999}, pages = {67--78}, publisher = {{MIT} Press}, year = {1999}, timestamp = {Mon, 02 Dec 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/Kahn99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/KaneiwaT99, author = {Ken Kaneiwa and Satoshi Tojo}, editor = {Danny De Schreye}, title = {Event, Property, and Hierarchy in Order-Sorted Logic}, booktitle = {Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999}, pages = {94--108}, publisher = {{MIT} Press}, year = {1999}, timestamp = {Mon, 02 Dec 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/KaneiwaT99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/KangT99, author = {Kyoung{-}Sun Kang and Naoyuki Tamura}, editor = {Danny De Schreye}, title = {A Static Analysis for Classical Linear Logic Programming Language}, booktitle = {Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999}, pages = {610}, publisher = {{MIT} Press}, year = {1999}, timestamp = {Mon, 02 Dec 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/KangT99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/LauO99, author = {Kung{-}Kiu Lau and Mario Ornaghi}, editor = {Danny De Schreye}, title = {Isoinitial Models for Logic Programs: Some Preliminary Results}, booktitle = {Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999}, pages = {611}, publisher = {{MIT} Press}, year = {1999}, timestamp = {Mon, 02 Dec 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/LauO99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/Li99, author = {Xining Li}, editor = {Danny De Schreye}, title = {Implementing Prolog with Chronological Garbage Collection}, booktitle = {Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999}, pages = {612}, publisher = {{MIT} Press}, year = {1999}, timestamp = {Mon, 02 Dec 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/Li99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/Lifschitz99, author = {Vladimir Lifschitz}, editor = {Danny De Schreye}, title = {Answer Set Planning}, booktitle = {Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999}, pages = {23--37}, publisher = {{MIT} Press}, year = {1999}, timestamp = {Mon, 02 Dec 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/Lifschitz99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/LuC99, author = {Lunjin Lu and John G. Cleary}, editor = {Danny De Schreye}, title = {A Regular Type Analysis of Logic Programs}, booktitle = {Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999}, pages = {613}, publisher = {{MIT} Press}, year = {1999}, timestamp = {Mon, 02 Dec 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/LuC99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/MalletD99, author = {Sarah Mallet and Mireille Ducass{\'{e}}}, editor = {Danny De Schreye}, title = {Generating Deductive Database Explanations}, booktitle = {Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999}, pages = {154--168}, publisher = {{MIT} Press}, year = {1999}, timestamp = {Mon, 02 Dec 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/MalletD99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/MarinoM99, author = {Julio Mari{\~{n}}o and Juan Jos{\'{e}} Moreno{-}Navarro}, editor = {Danny De Schreye}, title = {Using Static Analysis to Compile Non-sequential Functional Logic Programs}, booktitle = {Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999}, pages = {614}, publisher = {{MIT} Press}, year = {1999}, timestamp = {Mon, 02 Dec 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/MarinoM99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/MomiglianoP99, author = {Alberto Momigliano and Frank Pfenning}, editor = {Danny De Schreye}, title = {The Relative Complement Problem for Higher-Order Patterns}, booktitle = {Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999}, pages = {380--394}, publisher = {{MIT} Press}, year = {1999}, timestamp = {Mon, 02 Dec 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/MomiglianoP99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/Muller99, author = {Tobias M{\"{u}}ller}, editor = {Danny De Schreye}, title = {Practical Investigation of Constraints with Graph Views}, booktitle = {Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999}, pages = {615}, publisher = {{MIT} Press}, year = {1999}, timestamp = {Mon, 02 Dec 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/Muller99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/OrejasP99, author = {Fernando Orejas and Elvira Pino}, editor = {Danny De Schreye}, title = {Semantic Definitions for Normal Open Programs}, booktitle = {Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999}, pages = {200--214}, publisher = {{MIT} Press}, year = {1999}, timestamp = {Mon, 02 Dec 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/OrejasP99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/OsorioJN99, author = {Mauricio Osorio and Bharat Jayaraman and Juan Carlos Nieves}, editor = {Danny De Schreye}, title = {Declarative Pruning in a Functional Query Language}, booktitle = {Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999}, pages = {588--604}, publisher = {{MIT} Press}, year = {1999}, timestamp = {Fri, 29 Sep 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iclp/OsorioJN99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/PedreschiR99, author = {Dino Pedreschi and Salvatore Ruggieri}, editor = {Danny De Schreye}, title = {Bounded Nondeterminism of Logic Programs}, booktitle = {Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999}, pages = {350--364}, publisher = {{MIT} Press}, year = {1999}, timestamp = {Mon, 02 Dec 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/PedreschiR99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/Penn99, author = {Gerald Penn}, editor = {Danny De Schreye}, title = {An Optimized Prolog Encoding of Typed Feature Structures}, booktitle = {Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999}, pages = {124--138}, publisher = {{MIT} Press}, year = {1999}, timestamp = {Mon, 02 Dec 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/Penn99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/Pereira99, author = {Fernando C. N. Pereira}, editor = {Danny De Schreye}, title = {Declarative Programming for a Messy World}, booktitle = {Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999}, pages = {3--5}, publisher = {{MIT} Press}, year = {1999}, timestamp = {Mon, 02 Dec 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/Pereira99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/ProiettiP99, author = {Maurizio Proietti and Alberto Pettorossi}, editor = {Danny De Schreye}, title = {Transforming Inductive Definitions}, booktitle = {Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999}, pages = {486--499}, publisher = {{MIT} Press}, year = {1999}, timestamp = {Mon, 02 Dec 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/ProiettiP99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/Roy99, author = {Peter Van Roy}, editor = {Danny De Schreye}, title = {Logic Programming in Oz with Mozart}, booktitle = {Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999}, pages = {38--51}, publisher = {{MIT} Press}, year = {1999}, timestamp = {Mon, 02 Dec 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/Roy99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/RoychoudhuryKR99, author = {Abhik Roychoudhury and K. Narayan Kumar and I. V. Ramakrishnan}, editor = {Danny De Schreye}, title = {Generalized Unfold/fold Transformation Systems for Normal Logic Programs}, booktitle = {Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999}, pages = {616}, publisher = {{MIT} Press}, year = {1999}, timestamp = {Mon, 02 Dec 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/RoychoudhuryKR99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/SatoF99, author = {Taisuke Sato and Satoshi Funada}, editor = {Danny De Schreye}, title = {Reactive Logic Programming by Reinforcement Learning}, booktitle = {Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999}, pages = {617}, publisher = {{MIT} Press}, year = {1999}, timestamp = {Mon, 02 Dec 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/SatoF99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/Schulte99, author = {Christian Schulte}, editor = {Danny De Schreye}, title = {Comparing Trailing and Copying for Constraint Programming}, booktitle = {Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999}, pages = {275--289}, publisher = {{MIT} Press}, year = {1999}, timestamp = {Tue, 26 Dec 2017 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/Schulte99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/SeresSH99, author = {Silvija Seres and J. Michael Spivey and C. A. R. Hoare}, editor = {Danny De Schreye}, title = {Algebra of Logic Programming}, booktitle = {Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999}, pages = {184--199}, publisher = {{MIT} Press}, year = {1999}, timestamp = {Mon, 02 Dec 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/SeresSH99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/Smaus99, author = {Jan{-}Georg Smaus}, editor = {Danny De Schreye}, title = {Proving Termination of Input-Consuming Logic Programs}, booktitle = {Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999}, pages = {335--349}, publisher = {{MIT} Press}, year = {1999}, timestamp = {Mon, 02 Dec 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/Smaus99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/Thalheim99, author = {Bernhard Thalheim}, editor = {Danny De Schreye}, title = {Logics and Database Modelling}, booktitle = {Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999}, pages = {6--21}, publisher = {{MIT} Press}, year = {1999}, timestamp = {Mon, 02 Dec 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/Thalheim99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/TickYM99, author = {Evan Tick and Roland H. C. Yap and Michael J. Maher}, editor = {Danny De Schreye}, title = {Finding Fair Allocations for the Coalition Problem with Constraints}, booktitle = {Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999}, pages = {530--544}, publisher = {{MIT} Press}, year = {1999}, timestamp = {Mon, 02 Dec 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/TickYM99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/Truszczynski99, author = {Miroslaw Truszczynski}, editor = {Danny De Schreye}, title = {Computing Large and Small Stable Models}, booktitle = {Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999}, pages = {169--183}, publisher = {{MIT} Press}, year = {1999}, timestamp = {Mon, 02 Dec 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/Truszczynski99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/VanhoofB99, author = {Wim Vanhoof and Maurice Bruynooghe}, editor = {Danny De Schreye}, title = {Binding-time Analysis for Mercury}, booktitle = {Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999}, pages = {500--514}, publisher = {{MIT} Press}, year = {1999}, timestamp = {Mon, 02 Dec 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/VanhoofB99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/Verbaeten99, author = {Sofie Verbaeten}, editor = {Danny De Schreye}, title = {Termination Analysis for Abductive General Logic Programs}, booktitle = {Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999}, pages = {365--379}, publisher = {{MIT} Press}, year = {1999}, timestamp = {Mon, 02 Dec 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/Verbaeten99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/Zhang99, author = {Yan Zhang}, editor = {Danny De Schreye}, title = {Monotonicity in Rule Based Update}, booktitle = {Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999}, pages = {471--485}, publisher = {{MIT} Press}, year = {1999}, timestamp = {Wed, 11 May 2016 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iclp/Zhang99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/ZhouSYY99, author = {Neng{-}Fa Zhou and Yi{-}Dong Shen and Li{-}Yan Yuan and Jia{-}Huai You}, editor = {Danny De Schreye}, title = {A Linear Tabling Mechanism}, booktitle = {Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999}, pages = {618}, publisher = {{MIT} Press}, year = {1999}, timestamp = {Mon, 02 Dec 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/ZhouSYY99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/ZukowskiF99, author = {Ulrich Zukowski and Burkhard Freitag}, editor = {Danny De Schreye}, title = {Well-founded Semantics by Transformation: The Non-ground Case}, booktitle = {Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999}, pages = {456--470}, publisher = {{MIT} Press}, year = {1999}, timestamp = {Mon, 02 Dec 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/ZukowskiF99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/iclp/1999, editor = {Danny De Schreye}, title = {Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999}, publisher = {{MIT} Press}, year = {1999}, isbn = {0-262-54104-1}, timestamp = {Mon, 02 Dec 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/1999.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.