Christian Drescher

According to our database, Christian Drescher authored at least 19 papers between 2008 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Towards CRISP-ML(Q): A Machine Learning Process Model with Quality Assurance Methodology.

Stefan Studer, Thanh Binh Bui, Christian Drescher, Alexander Hanuschkin, Ludwig Winkler, Steven Peters, Klaus-Robert Müller

Mach. Learn. Knowl. Extr., 2021

Evaluating the Quality of Finite Element Meshes with Machine Learning.

Joachim Sprave, Christian Drescher

CoRR, 2021

2019

Preliminary Validation of Electroporation-Electrolysis (E2) for Cardiac Ablation Using a Parameterisable In-Vivo Model.

Luke Zhao, Adam Rasko, Christian Drescher, Sanaz Maleki, Michael Cejnar, Alistair Lee McEwan

Proceedings of the 41st Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2019

2018

What Moves Players?: Visual Data Exploration of Twitter and Gameplay Data.

Christian Drescher, Guenter Wallner, Simone Kriglstein, Rafet Sifa, Anders Drachen, Margit Pohl

Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems, 2018

2015

Conflict-driven constraint answer set solving.

Christian Drescher

PhD thesis, 2015

2013

Efficient Approximation of Well-Founded Justification and Well-Founded Domination (Corrected and Extended Version).

Christian Drescher, Toby Walsh

CoRR, 2013

Efficient Approximation of Well-Founded Justification and Well-Founded Domination.

Christian Drescher, Toby Walsh

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

2012

Answer Set Solving with Lazy Nogood Generation.

Christian Drescher, Toby Walsh

Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012

2011

Symmetry-breaking answer set solving.

Christian Drescher, Oana Tifrea, Toby Walsh

AI Commun., 2011

Symmetry Breaking for Distributed Multi-Context Systems.

Christian Drescher, Thomas Eiter, Michael Fink, Thomas Krennwallner, Toby Walsh

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

Translation-Based Constraint Answer Set Solving.

Christian Drescher, Toby Walsh

Proceedings of the IJCAI 2011, 2011

Modelling Grammar Constraints with Answer Set Programming.

Christian Drescher, Toby Walsh

Proceedings of the Technical Communications of the 27th International Conference on Logic Programming, 2011

Conflict-Driven Constraint Answer Set Solving with Lazy Nogood Generation.

Christian Drescher, Toby Walsh

Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011

2010

A translational approach to constraint answer set solving.

Christian Drescher, Toby Walsh

Theory Pract. Log. Program., 2010

Symmetry Breaking for Answer Set Programming

Christian Drescher

CoRR, 2010

Heuristics in Conflict Resolution

Christian Drescher, Martin Gebser, Benjamin Kaufmann, Torsten Schaub

CoRR, 2010

Constraint Answer Set Programming Systems.

Christian Drescher

Proceedings of the Technical Communications of the 26th International Conference on Logic Programming, 2010

Reformulation of Global Constraints in Answer Set Programming.

Christian Drescher, Toby Walsh

Proceedings of the Abstraction, 2010

2008

Conflict-Driven Disjunctive Answer Set Solving.

Christian Drescher, Martin Gebser, Torsten Grote, Benjamin Kaufmann, Arne König, Max Ostrowski, Torsten Schaub

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008