Conrad Drescher : Publications

Click here to download all publications in a single bibtex file

@inproceedings{DrescherICTAI12,
  title = "The Partner Units Problem - A Constraint Programming Case Study",
  author = "Conrad Drescher",
  year = "2012",
  booktitle = "Proceedings of the 24th IEEE International Conference on Tools with Artificial Intelligence, ICTAI'12",
  location = "Athens, Greece",
}

@inproceedings{confws12,
  title = "Unifying Software and Product Configuration: A Research Roadmap",
  author = "Arnaud Hubaux and Dietmar Jannach and Conrad Drescher and Leonardo Murta and Tomi Mannisto and Krzysztof Czarnecki and Patrick Heymans and Tien Nguyen and Markus Zanker",
  year = "2012",
  booktitle = "Proceedings of the ECAI 2012 Workshop on Configuration",
  location = "Montpellier, France",
}

@inproceedings{locoecai,
  title = "LoCo --- A Logic for Configuration Problems",
  author = "Markus Aschinger and Conrad Drescher and Heribert Vollmer",
  year = "2012",
  booktitle = "Proceedings of the 20th European Conference on Artificial Intelligence, ECAI 2012",
  location = "Montpellier, France",
}

@article{ALPprologICLP,
  title = "ALPprolog --- A New Logic Programming Method for Dynamic Domains",
  author = "Conrad Drescher and Michael Thielscher",
  year = "2011",
  journal = "Theory and Practice of Logic Programming",
  location = "Lexington, Kentucky, US",
  note = "Proceedings of the 27th International Conference on Logic Programming (ICLP 2011) - Special Issue of TPLP",
}

@inproceedings{LoCoCo11,
  title = "Introducing LoCo, a Logic for Configuration Problems",
  author = "Markus Aschinger and Conrad Drescher and Georg Gottlob",
  year = "2011",
  address = "Perugia, Italy",
  booktitle = "Proceedings of the 2nd Workshop on Logics for Component Configuration, LoCoCo 2011",
}

@inproceedings{PUPIJCAI2011,
  title = "Tackling the Partner Units Configuration Problem",
  author = "Markus Aschinger and Conrad Drescher and Georg Gottlob and Peter Jeavons and Evgenij Thorstensen",
  year = "2011",
  address = "Barcelona, Spain",
  booktitle = "Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011)",
}

@inproceedings{PUPCPAIOR2011,
  title = "Optimization Methods for the Partner Units Problem",
  author = "Markus Aschinger and Conrad Drescher and Gerhard Friedrich and Georg Gottlob and Peter Jeavons and Anna Ryabokon and Evgenij Thorstensen",
  year = "2011",
  address = "Berlin, Germany",
  booktitle = "Proceedings of the 8th International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR 2011)",
  series = "Lecture Notes in Computer Science",
}

@misc{SDSTACS11,
  title = "Structural Decomposition Methods, and What They are Good For",
  author = "Markus Aschinger and Conrad Drescher and Georg Gottlob and Peter Jeavons and Evgenij Thorstensen",
  year = "2011",
  address = "Dortmund, Germany",
  booktitle = "Proceedings of the 28th International Symposium on Theoretical Aspects of Computer Science (STACS 2011)",
  note = "Invited Paper at STACS 2011",
}

@techreport{PUPTechRep10,
  title = "Tackling the Partner Units Configuration Problem",
  author = "Markus Aschinger and Conrad Drescher and Gerhard Friedrich and Georg Gottlob and Peter Jeavons and Anna Ryabokon and Evgenij Thorstensen",
  year = "2010",
  institution = "Computing Laboratory, University of Oxford",
  number = "CS-RR-10-28",
}

@inproceedings{AUNRAC09,
  title = "Putting ABox Updates into Action",
  author = "Conrad Drescher and Hongkai Liu and Franz Baader and Peter Steinke and Michael Thielscher",
  year = "2009",
  address = "Pasadena, California, USA",
  booktitle = "Proceedings of the Workshop on Nonmonotonic Reasoning, Action and Change (NRAC 2009)",
}

@inproceedings{AUFROCOS09,
  title = "Putting ABox Updates into Action",
  author = "Conrad Drescher and Hongkai Liu and Franz Baader and Steffen Guhlemann and Uwe Petersohn and Peter Steinke and Michael Thielscher",
  year = "2009",
  address = "Trento, Italy",
  booktitle = "Proceedings of the Seventh International Symposion on Frontiers of Combining Systems (FroCoS 2009)",
}

@inproceedings{ALPFROCOS09,
  title = "A Declarative Agent Programming Language Based On Action Theories",
  author = "Conrad Drescher and Stephan Schiffel and Michael Thielscher",
  year = "2009",
  address = "Trento, Italy",
  booktitle = "Proceedings of the Seventh International Symposion on Frontiers of Combining Systems (FroCoS 2009)",
}

@inproceedings{FCJELIA08,
  title = "A Fluent Calculus Semantics for ADL with Plan Constraints",
  author = "Conrad Drescher and Michael Thielscher",
  year = "2008",
  address = "Dresden, Germany",
  booktitle = "Proceedings of the 11th European Conference on Logics in Artificial Intelligence (JELIA 2008)",
}

@inproceedings{FCDLKI07,
  title = "Integrating Action Calculi and Description Logics",
  author = "Conrad Drescher and Michael Thielscher",
  year = "2007",
  address = "Osnabrueck, Germany",
  booktitle = "Proceedings of the 30th Annual German Conference on Artificial Intelligence (KI 2007)",
}