Search dblp for Publications

export results for "toc:db/conf/compulog/compulog1999.bht:"

 download as .bib file

@proceedings{DBLP:conf/compulog/1999,
  editor       = {Krzysztof R. Apt and
                  Antonis C. Kakas and
                  {\'{E}}ric Monfroy and
                  Francesca Rossi},
  title        = {New Trends in Contraints, Joint ERCIM/Compulog Net Workshop, Paphos,
                  Cyprus, October 25-27, 1999, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1865},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44654-0},
  doi          = {10.1007/3-540-44654-0},
  isbn         = {3-540-67885-9},
  timestamp    = {Tue, 23 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compulog/1999.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compulog/Apt99,
  author       = {Krzysztof R. Apt},
  editor       = {Krzysztof R. Apt and
                  Antonis C. Kakas and
                  {\'{E}}ric Monfroy and
                  Francesca Rossi},
  title        = {Some Remarks on Boolean Constraint Propagation},
  booktitle    = {New Trends in Contraints, Joint ERCIM/Compulog Net Workshop, Paphos,
                  Cyprus, October 25-27, 1999, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1865},
  pages        = {91--107},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-44654-0\_5},
  doi          = {10.1007/3-540-44654-0\_5},
  timestamp    = {Tue, 23 Jan 2024 13:25:46 +0100},
  biburl       = {https://dblp.org/rec/conf/compulog/Apt99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compulog/BahgatA99,
  author       = {Reem Bahgat and
                  Samir E. AbdelRahman},
  editor       = {Krzysztof R. Apt and
                  Antonis C. Kakas and
                  {\'{E}}ric Monfroy and
                  Francesca Rossi},
  title        = {Combining Constraint Logic Programming Techniques for Solving Linear
                  Problems},
  booktitle    = {New Trends in Contraints, Joint ERCIM/Compulog Net Workshop, Paphos,
                  Cyprus, October 25-27, 1999, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1865},
  pages        = {188--211},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-44654-0\_10},
  doi          = {10.1007/3-540-44654-0\_10},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/compulog/BahgatA99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compulog/Bartak99,
  author       = {Roman Bart{\'{a}}k},
  editor       = {Krzysztof R. Apt and
                  Antonis C. Kakas and
                  {\'{E}}ric Monfroy and
                  Francesca Rossi},
  title        = {Dynamic Constraint Models for Planning and Scheduling Problems},
  booktitle    = {New Trends in Contraints, Joint ERCIM/Compulog Net Workshop, Paphos,
                  Cyprus, October 25-27, 1999, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1865},
  pages        = {237--255},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-44654-0\_12},
  doi          = {10.1007/3-540-44654-0\_12},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/compulog/Bartak99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compulog/BenhamouGG99,
  author       = {Fr{\'{e}}d{\'{e}}ric Benhamou and
                  Laurent Granvilliers and
                  Fr{\'{e}}d{\'{e}}ric Goualard},
  editor       = {Krzysztof R. Apt and
                  Antonis C. Kakas and
                  {\'{E}}ric Monfroy and
                  Francesca Rossi},
  title        = {Interval Constraints: Results and Perspectives},
  booktitle    = {New Trends in Contraints, Joint ERCIM/Compulog Net Workshop, Paphos,
                  Cyprus, October 25-27, 1999, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1865},
  pages        = {1--16},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-44654-0\_1},
  doi          = {10.1007/3-540-44654-0\_1},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/compulog/BenhamouGG99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compulog/BistarelliCGR99,
  author       = {Stefano Bistarelli and
                  Philippe Codognet and
                  Yan Georget and
                  Francesca Rossi},
  editor       = {Krzysztof R. Apt and
                  Antonis C. Kakas and
                  {\'{E}}ric Monfroy and
                  Francesca Rossi},
  title        = {Abstracting Soft Constraints},
  booktitle    = {New Trends in Contraints, Joint ERCIM/Compulog Net Workshop, Paphos,
                  Cyprus, October 25-27, 1999, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1865},
  pages        = {108--133},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-44654-0\_6},
  doi          = {10.1007/3-540-44654-0\_6},
  timestamp    = {Tue, 23 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compulog/BistarelliCGR99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compulog/Codognet99,
  author       = {Philippe Codognet},
  editor       = {Krzysztof R. Apt and
                  Antonis C. Kakas and
                  {\'{E}}ric Monfroy and
                  Francesca Rossi},
  title        = {A Constraint-Based Language for Virtual Agents},
  booktitle    = {New Trends in Contraints, Joint ERCIM/Compulog Net Workshop, Paphos,
                  Cyprus, October 25-27, 1999, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1865},
  pages        = {17--39},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-44654-0\_2},
  doi          = {10.1007/3-540-44654-0\_2},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/compulog/Codognet99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compulog/DuboisK99,
  author       = {Hubert Dubois and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  editor       = {Krzysztof R. Apt and
                  Antonis C. Kakas and
                  {\'{E}}ric Monfroy and
                  Francesca Rossi},
  title        = {Rule Based Programming with Constraints and Strategies},
  booktitle    = {New Trends in Contraints, Joint ERCIM/Compulog Net Workshop, Paphos,
                  Cyprus, October 25-27, 1999, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1865},
  pages        = {274--297},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-44654-0\_14},
  doi          = {10.1007/3-540-44654-0\_14},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/compulog/DuboisK99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compulog/Fruhwirth99,
  author       = {Thom W. Fr{\"{u}}hwirth},
  editor       = {Krzysztof R. Apt and
                  Antonis C. Kakas and
                  {\'{E}}ric Monfroy and
                  Francesca Rossi},
  title        = {Proving Termination of Constraint Solver Programs},
  booktitle    = {New Trends in Contraints, Joint ERCIM/Compulog Net Workshop, Paphos,
                  Cyprus, October 25-27, 1999, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1865},
  pages        = {298--317},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-44654-0\_15},
  doi          = {10.1007/3-540-44654-0\_15},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/compulog/Fruhwirth99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compulog/GentSW99,
  author       = {Ian P. Gent and
                  Kostas Stergiou and
                  Toby Walsh},
  editor       = {Krzysztof R. Apt and
                  Antonis C. Kakas and
                  {\'{E}}ric Monfroy and
                  Francesca Rossi},
  title        = {Decomposable Constraints},
  booktitle    = {New Trends in Contraints, Joint ERCIM/Compulog Net Workshop, Paphos,
                  Cyprus, October 25-27, 1999, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1865},
  pages        = {134--149},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-44654-0\_7},
  doi          = {10.1007/3-540-44654-0\_7},
  timestamp    = {Tue, 08 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compulog/GentSW99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compulog/HentenryckM99,
  author       = {Pascal Van Hentenryck and
                  Laurent Michel},
  editor       = {Krzysztof R. Apt and
                  Antonis C. Kakas and
                  {\'{E}}ric Monfroy and
                  Francesca Rossi},
  title        = {{OPL} Script: Composing and Controlling Models},
  booktitle    = {New Trends in Contraints, Joint ERCIM/Compulog Net Workshop, Paphos,
                  Cyprus, October 25-27, 1999, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1865},
  pages        = {75--90},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-44654-0\_4},
  doi          = {10.1007/3-540-44654-0\_4},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/compulog/HentenryckM99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compulog/PierroW99,
  author       = {Alessandra Di Pierro and
                  Herbert Wiklicky},
  editor       = {Krzysztof R. Apt and
                  Antonis C. Kakas and
                  {\'{E}}ric Monfroy and
                  Francesca Rossi},
  title        = {Quantitative Observables and Averages in Probabilistic Constraint
                  Programming},
  booktitle    = {New Trends in Contraints, Joint ERCIM/Compulog Net Workshop, Paphos,
                  Cyprus, October 25-27, 1999, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1865},
  pages        = {212--236},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-44654-0\_11},
  doi          = {10.1007/3-540-44654-0\_11},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/compulog/PierroW99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compulog/RingeissenM99,
  author       = {Christophe Ringeissen and
                  {\'{E}}ric Monfroy},
  editor       = {Krzysztof R. Apt and
                  Antonis C. Kakas and
                  {\'{E}}ric Monfroy and
                  Francesca Rossi},
  title        = {Generating Propagation Rules for Finite Domains: {A} Mixed Approach},
  booktitle    = {New Trends in Contraints, Joint ERCIM/Compulog Net Workshop, Paphos,
                  Cyprus, October 25-27, 1999, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1865},
  pages        = {150--172},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-44654-0\_8},
  doi          = {10.1007/3-540-44654-0\_8},
  timestamp    = {Tue, 23 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compulog/RingeissenM99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compulog/Rossi99,
  author       = {Francesca Rossi},
  editor       = {Krzysztof R. Apt and
                  Antonis C. Kakas and
                  {\'{E}}ric Monfroy and
                  Francesca Rossi},
  title        = {Constraint (Logic) Programming: {A} Survey on Research and Applications},
  booktitle    = {New Trends in Contraints, Joint ERCIM/Compulog Net Workshop, Paphos,
                  Cyprus, October 25-27, 1999, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1865},
  pages        = {40--74},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-44654-0\_3},
  doi          = {10.1007/3-540-44654-0\_3},
  timestamp    = {Tue, 23 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compulog/Rossi99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compulog/SilaghiSF99,
  author       = {Marius{-}Calin Silaghi and
                  Djamila Sam{-}Haroud and
                  Boi Faltings},
  editor       = {Krzysztof R. Apt and
                  Antonis C. Kakas and
                  {\'{E}}ric Monfroy and
                  Francesca Rossi},
  title        = {Ways of Maintaining Arc Consistency in Search Using the Cartesian
                  Representation},
  booktitle    = {New Trends in Contraints, Joint ERCIM/Compulog Net Workshop, Paphos,
                  Cyprus, October 25-27, 1999, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1865},
  pages        = {173--187},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-44654-0\_9},
  doi          = {10.1007/3-540-44654-0\_9},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/compulog/SilaghiSF99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compulog/VandecasteeleDJ99,
  author       = {Henk Vandecasteele and
                  Bart Demoen and
                  Gerda Janssens},
  editor       = {Krzysztof R. Apt and
                  Antonis C. Kakas and
                  {\'{E}}ric Monfroy and
                  Francesca Rossi},
  title        = {A Finite Domain {CLP} Solver on Top of Mercury},
  booktitle    = {New Trends in Contraints, Joint ERCIM/Compulog Net Workshop, Paphos,
                  Cyprus, October 25-27, 1999, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1865},
  pages        = {256--273},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-44654-0\_13},
  doi          = {10.1007/3-540-44654-0\_13},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/compulog/VandecasteeleDJ99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compulog/Wolf99,
  author       = {Armin Wolf},
  editor       = {Krzysztof R. Apt and
                  Antonis C. Kakas and
                  {\'{E}}ric Monfroy and
                  Francesca Rossi},
  title        = {Projection in Adaptive Constraint Handling},
  booktitle    = {New Trends in Contraints, Joint ERCIM/Compulog Net Workshop, Paphos,
                  Cyprus, October 25-27, 1999, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1865},
  pages        = {318--338},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-44654-0\_16},
  doi          = {10.1007/3-540-44654-0\_16},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/compulog/Wolf99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics