Search dblp for Publications

export results for "toc:db/conf/iclp/iclp99.bht:"

 download as .bib file

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.