Andreas Wotzlaw

Publication Activity (10 Years)

Years Active: 2010-2014
Publications (10 Years): 0

Top Topics

Textual Entailment

Orders Of Magnitude

Background Knowledge

Top Venues

Discret. Appl. Math.

University of Paderborn, Germany (PHD)

Education History

University of Paderborn, Germany

PHD

Publications

Stefan Porschen, Tatjana Schmidt, Ewald Speckenmeyer, Andreas Wotzlaw
XSAT and NAE-SAT of linear CNF classes. Discret. Appl. Math. 167 (2014)
Andreas Wotzlaw, Ewald Speckenmeyer, Stefan Porschen
Probabilistic Analysis of Random Mixed Horn Formulas. ISAIM (2014)
Andreas Wotzlaw
On Solving the Maximum $k$-club Problem. CoRR (2014)
Andreas Wotzlaw, Ravi Coote
A Logic-based Approach for Recognizing Textual Entailment Supported by Ontological Background Knowledge. CoRR (2013)
Andreas Wotzlaw, Alexander van der Grinten, Ewald Speckenmeyer
Effectiveness of pre- and inprocessing for CDCL-based SAT solving. CoRR (2013)
Andreas Wotzlaw, Ewald Speckenmeyer, Stefan Porschen
Generalized k-ary tanglegrams on level graphs: A satisfiability-based approach and its evaluation. Discret. Appl. Math. 160 (16-17) (2012)
Ewald Speckenmeyer, Andreas Wotzlaw, Stefan Porschen
A Satisfiability-Based Approach for Embedding Generalized Tanglegrams on Level Graphs. SAT (2011)
Andreas Wotzlaw
Towards Better Ontological Support for Recognizing Textual Entailment. EKAW (2010)
Ravi Coote, Andreas Wotzlaw
Generation of First-Order Expressions from a Broad Coverage HPSG Grammar. IMCSIT (2010)