Christian Drescher
Christian Drescher
PhD Student of Computer Science and Engineering, National ICT Australia Ltd (NICTA) and The University of New South Wales
Dirección de correo verificada de nicta.com.au - Página principal
Título
Citado por
Citado por
Año
Conflict-Driven Disjunctive Answer Set Solving.
C Drescher, M Gebser, T Grote, B Kaufmann, A König, M Ostrowski, ...
KR 8, 422-432, 2008
1082008
A translational approach to constraint answer set solving
C Drescher, T Walsh
arXiv preprint arXiv:1007.4114, 2010
392010
Symmetry-breaking answer set solving
C Drescher, O Tifrea, T Walsh
AI Communications 24 (2), 177-194, 2011
242011
Answer set solving with lazy nogood generation
C Drescher, T Walsh
Technical Communications of the 28th International Conference on Logic …, 2012
172012
Combining existential rules with the power of CP-theories
T Di Noia, T Lukasiewicz, MV Martinez, GI Simari, O Tifrea-Marciuska
Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
142015
What moves players? Visual data exploration of Twitter and Gameplay data
C Drescher, G Wallner, S Kriglstein, R Sifa, A Drachen, M Pohl
Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems …, 2018
102018
" Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier-DOI)
F Libisch, J Sonntag, C Stampfer, L Wirtz, B Beschoten, MI Katsnelson, ...
Physical Review Letters 120, 187701, 2018
102018
Modelling grammar constraints with answer set programming
C Drescher, T Walsh
27th International Conference on Logic Programming, ICLP, 28-39, 2011
92011
Translation-based constraint answer set solving
C Drescher, T Walsh
arXiv preprint arXiv:1104.3927, 2011
92011
Heuristics in conflict resolution
C Drescher, M Gebser, B Kaufmann, T Schaub
Proceedings of the 12th International Workshop on Non-Monotonic Reasoning …, 2008
82008
Conflict-Driven Constraint Answer Set Solving with Lazy Nogood Generation.
C Drescher, T Walsh
AAAI, 2011
52011
Conflict-driven constraint answer set solving.
C Drescher
University of New South Wales, Sydney, Australia, 2015
32015
Symmetry breaking for distributed multi-context systems
C Drescher, T Eiter, M Fink, T Krennwallner, T Walsh
International Conference on Logic Programming and Nonmonotonic Reasoning, 26-39, 2011
32011
Efficient approximation of well-founded justification and well-founded domination
C Drescher, T Walsh
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2013
22013
Constraint answer set programming systems
C Drescher
26th International Conference on Logic Programming, ICLP, 255-264, 0
2*
Symmetry Breaking for Answer Set Programming
C Drescher
arXiv preprint arXiv:1008.5033, 2010
12010
Towards CRISP-ML (Q): A Machine Learning Process Model with Quality Assurance Methodology
S Studer, TB Bui, C Drescher, A Hanuschkin, L Winkler, S Peters, ...
arXiv preprint arXiv:2003.05155, 2020
2020
Reformulation of global constraints in answer set programming
C Drescher, T Walsh
arXiv preprint arXiv:1008.5029, 2010
2010
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–18