A Fully Connectionist Model Generator for Covered First-Order Logic Programs. - Sebastian Bader 001; Pascal Hitzler; Steffen Hölldobler; Andreas Witzel (IJCAI, 2007)

The Core Method: Connectionist Model Generation for First-Order Logic Programs. - Sebastian Bader 001; Pascal Hitzler; Steffen Hölldobler; Andreas Witzel (Perspectives of Neural-Symbolic Integration, 2007)

Explicit Knowledge Programming for Computer Games. - Andreas Witzel; Jonathan A. Zvesper; Ethan Kennerly (AIIDE, 2008)

Epistemic logic and explicit knowledge in distributed programming. - Andreas Witzel; Jonathan A. Zvesper (AAMAS (3), 2008)

Symmetric and Synchronous Communication in Peer-to-Peer Networks. - Andreas Witzel (MPC, 2008)

Thief belief. - Ethan Kennerly; Andreas Witzel; Jonathan A. Zvesper (ICE-GIC, 2009)

Strategy Elimination in Games with Interaction Structures. - Andreas Witzel; Krzysztof R. Apt; Jonathan A. Zvesper (LORI, 2009)

Common knowledge in interaction structures. - Krzysztof R. Apt; Andreas Witzel; Jonathan A. Zvesper (TARK, 2009)

A Generic Approach to Coalition Formation. - Krzysztof R. Apt; Andreas Witzel (IGTR, 2009)

Time Constraints in Mixed Multi-unit Combinatorial Auctions. - Andreas Witzel; Ulle Endriss (AMEC/TADA, 2010)

Characterizing perfect recall in Epistemic Temporal Logic - Andreas Witzel (CoRR, 2010)

DEL Planning and Some Tractable Cases. - Benedikt Löwe; Eric Pacuit; Andreas Witzel (LORI, 2011)

The synchronicity of dynamic epistemic logic. - Cédric Dégremont; Benedikt Löwe; Andreas Witzel (TARK, 2011)

Perfect recall of imperfect knowledge. - Andreas Witzel (TARK, 2011)

Choice and Uncertainty in Games. - Rohit Parikh; Çagil Tasdemir; Andreas Witzel (Logic and Program Semantics, 2012)

Distributed iterated elimination of strictly dominated strategies. - Andreas Witzel; Krzysztof R. Apt; Jonathan A. Zvesper (Auton. Agents Multi Agent Syst., 2012)

Towards Cancer Hybrid Automata - Loes Olde Loohuis; Andreas Witzel; Bud Mishra (HSB, 2012)

Characterizing perfect recall using next-step temporal operators in S5 Epistemic Temporal Logic. - Andreas Witzel (J. Log. Comput., 2012)

The Power of Knowledge in Games. - Rohit Parikh; Çagil Tasdemir; Andreas Witzel (IGTR, 2013)

Cancer hybrid automata: Model, beliefs and therapy. - Loes Olde Loohuis; Andreas Witzel; Bud Mishra (Inf. Comput., 2014)

Improving Detection of Driver Genes: Power-Law Null Model of Copy Number Variation in Cancer. - Loes Olde Loohuis; Andreas Witzel; Bud Mishra (IEEE ACM Trans. Comput. Biol. Bioinform., 2014)