Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/iclp/Angelopoulos02,
  author       = {Nicos Angelopoulos},
  editor       = {Peter J. Stuckey},
  title        = {Probabilistic Finite Domains: {A} Brief Overview},
  booktitle    = {Logic Programming, 18th International Conference, {ICLP} 2002, Copenhagen,
                  Denmark, July 29 - August 1, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2401},
  pages        = {475},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45619-8\_38},
  doi          = {10.1007/3-540-45619-8\_38},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iclp/Angelopoulos02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/AntoniouM02,
  author       = {Grigoris Antoniou and
                  Michael J. Maher},
  editor       = {Peter J. Stuckey},
  title        = {Embedding Defeasible Logic into Logic Programs},
  booktitle    = {Logic Programming, 18th International Conference, {ICLP} 2002, Copenhagen,
                  Denmark, July 29 - August 1, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2401},
  pages        = {393--404},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45619-8\_27},
  doi          = {10.1007/3-540-45619-8\_27},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iclp/AntoniouM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/Barker02,
  author       = {Steve Barker},
  editor       = {Peter J. Stuckey},
  title        = {Access Control for Deductive Databases by Logic Programming},
  booktitle    = {Logic Programming, 18th International Conference, {ICLP} 2002, Copenhagen,
                  Denmark, July 29 - August 1, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2401},
  pages        = {54--69},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45619-8\_5},
  doi          = {10.1007/3-540-45619-8\_5},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iclp/Barker02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/BenkoKS02,
  author       = {Tam{\'{a}}s Benk{\"{o}} and
                  P{\'{e}}ter Krauth and
                  P{\'{e}}ter Szeredi},
  editor       = {Peter J. Stuckey},
  title        = {A Logic-Based System for Application Integration},
  booktitle    = {Logic Programming, 18th International Conference, {ICLP} 2002, Copenhagen,
                  Denmark, July 29 - August 1, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2401},
  pages        = {452--466},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45619-8\_31},
  doi          = {10.1007/3-540-45619-8\_31},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iclp/BenkoKS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/BockmayrC02,
  author       = {Alexander Bockmayr and
                  Arnaud Courtois},
  editor       = {Peter J. Stuckey},
  title        = {Using Hybrid Concurrent Constraint Programming to Model Dynamic Biological
                  Systems},
  booktitle    = {Logic Programming, 18th International Conference, {ICLP} 2002, Copenhagen,
                  Denmark, July 29 - August 1, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2401},
  pages        = {85--99},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45619-8\_7},
  doi          = {10.1007/3-540-45619-8\_7},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/BockmayrC02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/BoigelotW02,
  author       = {Bernard Boigelot and
                  Pierre Wolper},
  editor       = {Peter J. Stuckey},
  title        = {Representing Arithmetic Constraints with Finite Automata: An Overview},
  booktitle    = {Logic Programming, 18th International Conference, {ICLP} 2002, Copenhagen,
                  Denmark, July 29 - August 1, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2401},
  pages        = {1--19},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45619-8\_1},
  doi          = {10.1007/3-540-45619-8\_1},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/BoigelotW02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/Bonatti02,
  author       = {Piero A. Bonatti},
  editor       = {Peter J. Stuckey},
  title        = {Reasoning with Infinite Stable Models {II:} Disjunctive Programs},
  booktitle    = {Logic Programming, 18th International Conference, {ICLP} 2002, Copenhagen,
                  Denmark, July 29 - August 1, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2401},
  pages        = {333--346},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45619-8\_23},
  doi          = {10.1007/3-540-45619-8\_23},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iclp/Bonatti02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/Bruscoli02,
  author       = {Paola Bruscoli},
  editor       = {Peter J. Stuckey},
  title        = {A Purely Logical Account of Sequentiality in Proof Search},
  booktitle    = {Logic Programming, 18th International Conference, {ICLP} 2002, Copenhagen,
                  Denmark, July 29 - August 1, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2401},
  pages        = {302--316},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45619-8\_21},
  doi          = {10.1007/3-540-45619-8\_21},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iclp/Bruscoli02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/BryS02,
  author       = {Fran{\c{c}}ois Bry and
                  Sebastian Schaffert},
  editor       = {Peter J. Stuckey},
  title        = {Towards a Declarative Query and Transformation Language for {XML}
                  and Semistructured Data: Simulation Unification},
  booktitle    = {Logic Programming, 18th International Conference, {ICLP} 2002, Copenhagen,
                  Denmark, July 29 - August 1, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2401},
  pages        = {255--270},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45619-8\_18},
  doi          = {10.1007/3-540-45619-8\_18},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iclp/BryS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/Cabalar02,
  author       = {Pedro Cabalar},
  editor       = {Peter J. Stuckey},
  title        = {A Rewriting Method for Well-Founded Semantics with Explicit Negation},
  booktitle    = {Logic Programming, 18th International Conference, {ICLP} 2002, Copenhagen,
                  Denmark, July 29 - August 1, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2401},
  pages        = {378--392},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45619-8\_26},
  doi          = {10.1007/3-540-45619-8\_26},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iclp/Cabalar02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/CharatonikMP02,
  author       = {Witold Charatonik and
                  Supratik Mukhopadhyay and
                  Andreas Podelski},
  editor       = {Peter J. Stuckey},
  title        = {Constraint-Based Infinite Model Checking and Tabulation for Stratified
                  {CLP}},
  booktitle    = {Logic Programming, 18th International Conference, {ICLP} 2002, Copenhagen,
                  Denmark, July 29 - August 1, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2401},
  pages        = {115--129},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45619-8\_9},
  doi          = {10.1007/3-540-45619-8\_9},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iclp/CharatonikMP02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/Christensen02,
  author       = {Henrik B{\ae}rbak Christensen},
  editor       = {Peter J. Stuckey},
  title        = {Using Logic Programming to Detect Activities in Pervasive Healthcare},
  booktitle    = {Logic Programming, 18th International Conference, {ICLP} 2002, Copenhagen,
                  Denmark, July 29 - August 1, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2401},
  pages        = {421--436},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45619-8\_29},
  doi          = {10.1007/3-540-45619-8\_29},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iclp/Christensen02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/Christiansen02,
  author       = {Henning Christiansen},
  editor       = {Peter J. Stuckey},
  title        = {Logical Grammars Based on Constraint Handling Rules},
  booktitle    = {Logic Programming, 18th International Conference, {ICLP} 2002, Copenhagen,
                  Denmark, July 29 - August 1, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2401},
  pages        = {481},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45619-8\_43},
  doi          = {10.1007/3-540-45619-8\_43},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iclp/Christiansen02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/CoqueryF02,
  author       = {Emmanuel Coquery and
                  Fran{\c{c}}ois Fages},
  editor       = {Peter J. Stuckey},
  title        = {{TCLP:} Overloading, Subtyping and Parametric Polymorphism Made Practical
                  for {CLP}},
  booktitle    = {Logic Programming, 18th International Conference, {ICLP} 2002, Copenhagen,
                  Denmark, July 29 - August 1, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2401},
  pages        = {480},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45619-8\_42},
  doi          = {10.1007/3-540-45619-8\_42},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iclp/CoqueryF02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/Craciunescu02,
  author       = {Sorin Craciunescu},
  editor       = {Peter J. Stuckey},
  title        = {Proving the Equivalence of {CLP} Programs},
  booktitle    = {Logic Programming, 18th International Conference, {ICLP} 2002, Copenhagen,
                  Denmark, July 29 - August 1, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2401},
  pages        = {287--301},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45619-8\_20},
  doi          = {10.1007/3-540-45619-8\_20},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iclp/Craciunescu02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/Decker02,
  author       = {Stefan Decker},
  editor       = {Peter J. Stuckey},
  title        = {Logic Databases on the Semantic Web: Challenges and Opportunities},
  booktitle    = {Logic Programming, 18th International Conference, {ICLP} 2002, Copenhagen,
                  Denmark, July 29 - August 1, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2401},
  pages        = {20--21},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45619-8\_2},
  doi          = {10.1007/3-540-45619-8\_2},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iclp/Decker02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/Demoen02,
  author       = {Bart Demoen},
  editor       = {Peter J. Stuckey},
  title        = {A Different Look at Garbage Collection for the {WAM}},
  booktitle    = {Logic Programming, 18th International Conference, {ICLP} 2002, Copenhagen,
                  Denmark, July 29 - August 1, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2401},
  pages        = {179--193},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45619-8\_13},
  doi          = {10.1007/3-540-45619-8\_13},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iclp/Demoen02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/DemoenNV02,
  author       = {Bart Demoen and
                  Phuong{-}Lan Nguyen and
                  Ruben Vandeginste},
  editor       = {Peter J. Stuckey},
  title        = {Copying Garbage Collection for the {WAM:} To Mark or Not to Mark?},
  booktitle    = {Logic Programming, 18th International Conference, {ICLP} 2002, Copenhagen,
                  Denmark, July 29 - August 1, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2401},
  pages        = {194--208},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45619-8\_14},
  doi          = {10.1007/3-540-45619-8\_14},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/DemoenNV02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/DimopoulosS02,
  author       = {Yannis Dimopoulos and
                  Andreas Sideris},
  editor       = {Peter J. Stuckey},
  title        = {Towards Local Search for Answer Sets},
  booktitle    = {Logic Programming, 18th International Conference, {ICLP} 2002, Copenhagen,
                  Denmark, July 29 - August 1, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2401},
  pages        = {363--377},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45619-8\_25},
  doi          = {10.1007/3-540-45619-8\_25},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iclp/DimopoulosS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/DucasseL02,
  author       = {Mireille Ducass{\'{e}} and
                  Ludovic Langevine},
  editor       = {Peter J. Stuckey},
  title        = {Automated Analysis of {CLP(FD)} Program Execution Traces},
  booktitle    = {Logic Programming, 18th International Conference, {ICLP} 2002, Copenhagen,
                  Denmark, July 29 - August 1, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2401},
  pages        = {470--471},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45619-8\_35},
  doi          = {10.1007/3-540-45619-8\_35},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iclp/DucasseL02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/FerrandL02,
  author       = {G{\'{e}}rard Ferrand and
                  Arnaud Lallouet},
  editor       = {Peter J. Stuckey},
  title        = {A Logic Program Characterization of Domain Reduction Approximations
                  in Finite Domain CSPs},
  booktitle    = {Logic Programming, 18th International Conference, {ICLP} 2002, Copenhagen,
                  Denmark, July 29 - August 1, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2401},
  pages        = {478--479},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45619-8\_41},
  doi          = {10.1007/3-540-45619-8\_41},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iclp/FerrandL02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/GanzingerM02,
  author       = {Harald Ganzinger and
                  David A. McAllester},
  editor       = {Peter J. Stuckey},
  title        = {Logical Algorithms},
  booktitle    = {Logic Programming, 18th International Conference, {ICLP} 2002, Copenhagen,
                  Denmark, July 29 - August 1, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2401},
  pages        = {209--223},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45619-8\_15},
  doi          = {10.1007/3-540-45619-8\_15},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iclp/GanzingerM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/HayashiCO02,
  author       = {Hisashi Hayashi and
                  Kenta Cho and
                  Akihiko Ohsuga},
  editor       = {Peter J. Stuckey},
  title        = {Integrating Planning, Action Execution, Knowledge Updates and Plan
                  Modifications via Logic Programming},
  booktitle    = {Logic Programming, 18th International Conference, {ICLP} 2002, Copenhagen,
                  Denmark, July 29 - August 1, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2401},
  pages        = {477},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45619-8\_40},
  doi          = {10.1007/3-540-45619-8\_40},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iclp/HayashiCO02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/InoueS02,
  author       = {Katsumi Inoue and
                  Chiaki Sakama},
  editor       = {Peter J. Stuckey},
  title        = {Disjunctive Explanations},
  booktitle    = {Logic Programming, 18th International Conference, {ICLP} 2002, Copenhagen,
                  Denmark, July 29 - August 1, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2401},
  pages        = {317--332},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45619-8\_22},
  doi          = {10.1007/3-540-45619-8\_22},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iclp/InoueS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/JamilD02,
  author       = {Hasan M. Jamil and
                  Gillian Dobbie},
  editor       = {Peter J. Stuckey},
  title        = {A Model Theoretic Semantics for Multi-level Secure Deductive Databases},
  booktitle    = {Logic Programming, 18th International Conference, {ICLP} 2002, Copenhagen,
                  Denmark, July 29 - August 1, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2401},
  pages        = {130--147},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45619-8\_10},
  doi          = {10.1007/3-540-45619-8\_10},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iclp/JamilD02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/LauB02,
  author       = {Kung{-}Kiu Lau and
                  Michel Vanden Bossche},
  editor       = {Peter J. Stuckey},
  title        = {Logic Programming for Software Engineering: {A} Second Chance},
  booktitle    = {Logic Programming, 18th International Conference, {ICLP} 2002, Copenhagen,
                  Denmark, July 29 - August 1, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2401},
  pages        = {437--451},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45619-8\_30},
  doi          = {10.1007/3-540-45619-8\_30},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iclp/LauB02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/LoncT02,
  author       = {Zbigniew Lonc and
                  Miroslaw Truszczynski},
  editor       = {Peter J. Stuckey},
  title        = {Computing Stable Models: Worst-Case Performance Estimates},
  booktitle    = {Logic Programming, 18th International Conference, {ICLP} 2002, Copenhagen,
                  Denmark, July 29 - August 1, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2401},
  pages        = {347--362},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45619-8\_24},
  doi          = {10.1007/3-540-45619-8\_24},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iclp/LoncT02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/LoyerS02,
  author       = {Yann Loyer and
                  Umberto Straccia},
  editor       = {Peter J. Stuckey},
  title        = {Non-uniform Hypothesis in Deductive Databases with Uncertainty},
  booktitle    = {Logic Programming, 18th International Conference, {ICLP} 2002, Copenhagen,
                  Denmark, July 29 - August 1, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2401},
  pages        = {473--474},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45619-8\_37},
  doi          = {10.1007/3-540-45619-8\_37},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iclp/LoyerS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/MaSX02,
  author       = {Shilong Ma and
                  Yuefei Sui and
                  Ke Xu},
  editor       = {Peter J. Stuckey},
  title        = {The Limits of Horn Logic Programs},
  booktitle    = {Logic Programming, 18th International Conference, {ICLP} 2002, Copenhagen,
                  Denmark, July 29 - August 1, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2401},
  pages        = {467},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45619-8\_32},
  doi          = {10.1007/3-540-45619-8\_32},
  timestamp    = {Thu, 09 Nov 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/MaSX02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/Maher02,
  author       = {Michael J. Maher},
  editor       = {Peter J. Stuckey},
  title        = {Propagation Completeness of Reactive Constraints},
  booktitle    = {Logic Programming, 18th International Conference, {ICLP} 2002, Copenhagen,
                  Denmark, July 29 - August 1, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2401},
  pages        = {148--162},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45619-8\_11},
  doi          = {10.1007/3-540-45619-8\_11},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iclp/Maher02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/MakholmS02,
  author       = {Henning Makholm and
                  Konstantinos Sagonas},
  editor       = {Peter J. Stuckey},
  title        = {On Enabling the {WAM} with Region Support},
  booktitle    = {Logic Programming, 18th International Conference, {ICLP} 2002, Copenhagen,
                  Denmark, July 29 - August 1, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2401},
  pages        = {163--178},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45619-8\_12},
  doi          = {10.1007/3-540-45619-8\_12},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iclp/MakholmS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/MartinNSS02,
  author       = {Eric Martin and
                  Phuong Minh Nguyen and
                  Arun Sharma and
                  Frank Stephan},
  editor       = {Peter J. Stuckey},
  title        = {Learning in Logic with RichProlog},
  booktitle    = {Logic Programming, 18th International Conference, {ICLP} 2002, Copenhagen,
                  Denmark, July 29 - August 1, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2401},
  pages        = {239--254},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45619-8\_17},
  doi          = {10.1007/3-540-45619-8\_17},
  timestamp    = {Wed, 22 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iclp/MartinNSS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/MedinaCO02,
  author       = {Jes{\'{u}}s Medina and
                  Enrique M{\'{e}}rida Casermeiro and
                  Manuel Ojeda{-}Aciego},
  editor       = {Peter J. Stuckey},
  title        = {Multi-adjoint Logic Programming: {A} Neural Net Approach},
  booktitle    = {Logic Programming, 18th International Conference, {ICLP} 2002, Copenhagen,
                  Denmark, July 29 - August 1, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2401},
  pages        = {468},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45619-8\_33},
  doi          = {10.1007/3-540-45619-8\_33},
  timestamp    = {Thu, 07 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/MedinaCO02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/OlmerS02,
  author       = {Petr Olmer and
                  Petr Step{\'{a}}nek},
  editor       = {Peter J. Stuckey},
  title        = {Schema-Based Transformations of Logic Programs in lambda-Prolog},
  booktitle    = {Logic Programming, 18th International Conference, {ICLP} 2002, Copenhagen,
                  Denmark, July 29 - August 1, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2401},
  pages        = {472},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45619-8\_36},
  doi          = {10.1007/3-540-45619-8\_36},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iclp/OlmerS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/OsorioNA02,
  author       = {Mauricio Osorio and
                  Juan Antonio Navarro P{\'{e}}rez and
                  Jos{\'{e}} Arrazola},
  editor       = {Peter J. Stuckey},
  title        = {Debugging in A-Prolog: {A} Logical Approach},
  booktitle    = {Logic Programming, 18th International Conference, {ICLP} 2002, Copenhagen,
                  Denmark, July 29 - August 1, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2401},
  pages        = {482--483},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45619-8\_44},
  doi          = {10.1007/3-540-45619-8\_44},
  timestamp    = {Fri, 29 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iclp/OsorioNA02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/PearceSSTW02,
  author       = {David Pearce and
                  Vladimir Sarsakov and
                  Torsten Schaub and
                  Hans Tompits and
                  Stefan Woltran},
  editor       = {Peter J. Stuckey},
  title        = {A Polynomial Translation of Logic Programs with Nested Expressions
                  into Disjunctive Logic Programs: Preliminary Report},
  booktitle    = {Logic Programming, 18th International Conference, {ICLP} 2002, Copenhagen,
                  Denmark, July 29 - August 1, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2401},
  pages        = {405--420},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45619-8\_28},
  doi          = {10.1007/3-540-45619-8\_28},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iclp/PearceSSTW02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/PemmasaniRR02,
  author       = {Giridhar Pemmasani and
                  C. R. Ramakrishnan and
                  I. V. Ramakrishnan},
  editor       = {Peter J. Stuckey},
  title        = {Efficient Real-Time Model Checking Using Tabled Logic Programming
                  and Constraints},
  booktitle    = {Logic Programming, 18th International Conference, {ICLP} 2002, Copenhagen,
                  Denmark, July 29 - August 1, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2401},
  pages        = {100--114},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45619-8\_8},
  doi          = {10.1007/3-540-45619-8\_8},
  timestamp    = {Mon, 03 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iclp/PemmasaniRR02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/Pientka02,
  author       = {Brigitte Pientka},
  editor       = {Peter J. Stuckey},
  title        = {A Proof-Theoretic Foundation for Tabled Higher-Order Logic Programming},
  booktitle    = {Logic Programming, 18th International Conference, {ICLP} 2002, Copenhagen,
                  Denmark, July 29 - August 1, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2401},
  pages        = {271--286},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45619-8\_19},
  doi          = {10.1007/3-540-45619-8\_19},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iclp/Pientka02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/RussoMNK02,
  author       = {Alessandra Russo and
                  Rob Miller and
                  Bashar Nuseibeh and
                  Jeff Kramer},
  editor       = {Peter J. Stuckey},
  title        = {An Abductive Approach for Analysing Event-Based Requirements Specifications},
  booktitle    = {Logic Programming, 18th International Conference, {ICLP} 2002, Copenhagen,
                  Denmark, July 29 - August 1, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2401},
  pages        = {22--37},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45619-8\_3},
  doi          = {10.1007/3-540-45619-8\_3},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iclp/RussoMNK02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/Sampath02,
  author       = {Prahladavaradan Sampath},
  editor       = {Peter J. Stuckey},
  title        = {Modelling Multi-agent Reactive Systems},
  booktitle    = {Logic Programming, 18th International Conference, {ICLP} 2002, Copenhagen,
                  Denmark, July 29 - August 1, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2401},
  pages        = {476},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45619-8\_39},
  doi          = {10.1007/3-540-45619-8\_39},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iclp/Sampath02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/Schimpf02,
  author       = {Joachim Schimpf},
  editor       = {Peter J. Stuckey},
  title        = {Logical Loops},
  booktitle    = {Logic Programming, 18th International Conference, {ICLP} 2002, Copenhagen,
                  Denmark, July 29 - August 1, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2401},
  pages        = {224--238},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45619-8\_16},
  doi          = {10.1007/3-540-45619-8\_16},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iclp/Schimpf02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/SchrijversBD02,
  author       = {Tom Schrijvers and
                  Maria J. Garc{\'{\i}}a de la Banda and
                  Bart Demoen},
  editor       = {Peter J. Stuckey},
  title        = {Trailing Analysis for {HAL}},
  booktitle    = {Logic Programming, 18th International Conference, {ICLP} 2002, Copenhagen,
                  Denmark, July 29 - August 1, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2401},
  pages        = {38--53},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45619-8\_4},
  doi          = {10.1007/3-540-45619-8\_4},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/SchrijversBD02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/Thielscher02,
  author       = {Michael Thielscher},
  editor       = {Peter J. Stuckey},
  title        = {Reasoning about Actions with CHRs and Finite Domain Constraints},
  booktitle    = {Logic Programming, 18th International Conference, {ICLP} 2002, Copenhagen,
                  Denmark, July 29 - August 1, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2401},
  pages        = {70--84},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45619-8\_6},
  doi          = {10.1007/3-540-45619-8\_6},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iclp/Thielscher02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/VaucheretGM02,
  author       = {Claudio Vaucheret and
                  Sergio Guadarrama and
                  Susana Mu{\~{n}}oz{-}Hern{\'{a}}ndez},
  editor       = {Peter J. Stuckey},
  title        = {Fuzzy Prolog: {A} Simple General Implementation Using {CLP(R)}},
  booktitle    = {Logic Programming, 18th International Conference, {ICLP} 2002, Copenhagen,
                  Denmark, July 29 - August 1, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2401},
  pages        = {469},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45619-8\_34},
  doi          = {10.1007/3-540-45619-8\_34},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iclp/VaucheretGM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/iclp/2002,
  editor       = {Peter J. Stuckey},
  title        = {Logic Programming, 18th International Conference, {ICLP} 2002, Copenhagen,
                  Denmark, July 29 - August 1, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2401},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45619-8},
  doi          = {10.1007/3-540-45619-8},
  isbn         = {3-540-43930-7},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iclp/2002.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.