Markus Aschinger : Publications

Journal papers

• [1]

  LoCo − A Logic for Configuration Problems

  Markus Aschinger‚ Conrad Drescher‚ Georg Gottlob and Heribert Vollmer

  In ACM Trans. Comput. Log.. Vol. 15. No. 3. Pages 20:1–20:25. 2014.

  Details about LoCo − A Logic for Configuration Problems | BibTeX data for LoCo − A Logic for Configuration Problems | DOI (10.1145/2629454) | Link to LoCo − A Logic for Configuration Problems

Conference papers

• [1]

  LoCo — A Logic for Configuration Problems

  Markus Aschinger‚ Conrad Drescher and Heribert Vollmer

  In Proceedings of the 20th European Conference on Artificial Intelligence‚ ECAI 2012. 2012.

  Details about LoCo — A Logic for Configuration Problems | BibTeX data for LoCo — A Logic for Configuration Problems | Download  (pdf) of LoCo — A Logic for Configuration Problems

• [2]

  Introducing LoCo‚ a Logic for Configuration Problems

  Markus Aschinger‚ Conrad Drescher and Georg Gottlob

  In Proceedings of the 2nd Workshop on Logics for Component Configuration‚ LoCoCo 2011. Perugia‚ Italy. 2011.

  Details about Introducing LoCo‚ a Logic for Configuration Problems | BibTeX data for Introducing LoCo‚ a Logic for Configuration Problems | Download  (pdf) of Introducing LoCo‚ a Logic for Configuration Problems

• [3]

  Tackling the Partner Units Configuration Problem

  Markus Aschinger‚ Conrad Drescher‚ Georg Gottlob‚ Peter Jeavons and Evgenij Thorstensen

  In Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011). Barcelona‚ Spain. 2011.

  Details about Tackling the Partner Units Configuration Problem | BibTeX data for Tackling the Partner Units Configuration Problem | Download  (pdf) of Tackling the Partner Units Configuration Problem

• [4]

  Optimization Methods for the Partner Units Problem

  Markus Aschinger‚ Conrad Drescher‚ Gerhard Friedrich‚ Georg Gottlob‚ Peter Jeavons‚ Anna Ryabokon and Evgenij Thorstensen

  In Proceedings of the 8th International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR 2011). Berlin‚ Germany. 2011.

  Details about Optimization Methods for the Partner Units Problem | BibTeX data for Optimization Methods for the Partner Units Problem | Download  (pdf) of Optimization Methods for the Partner Units Problem

Technical reports

• [1]

  Tackling the Partner Units Configuration Problem

  Markus Aschinger‚ Conrad Drescher‚ Gerhard Friedrich‚ Georg Gottlob‚ Peter Jeavons‚ Anna Ryabokon and Evgenij Thorstensen

  No. CS−RR−10−28. Computing Laboratory‚ University of Oxford. 2010.

  Details about Tackling the Partner Units Configuration Problem | BibTeX data for Tackling the Partner Units Configuration Problem | Download  (pdf) of Tackling the Partner Units Configuration Problem

Miscellaneous

• [1]

  Structural Decomposition Methods‚ and What They are Good For

  Markus Aschinger‚ Conrad Drescher‚ Georg Gottlob‚ Peter Jeavons and Evgenij Thorstensen

  2011.

  Invited Paper at STACS 2011

  Details about Structural Decomposition Methods‚ and What They are Good For | BibTeX data for Structural Decomposition Methods‚ and What They are Good For | Download  (pdf) of Structural Decomposition Methods‚ and What They are Good For