Andreas Witzel

Publication Activity (10 Years)

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

Top Topics

Temporally Extended

Temporal Epistemic

Prospect Theory

Top Venues

Auton. Agents Multi Agent Syst.

Logic and Program Semantics

IEEE ACM Trans. Comput. Biol. Bioinform.

J. Log. Comput.

Publications

Loes Olde Loohuis, Andreas Witzel, Bud Mishra
Improving Detection of Driver Genes: Power-Law Null Model of Copy Number Variation in Cancer. IEEE ACM Trans. Comput. Biol. Bioinform. 11 (6) (2014)
Loes Olde Loohuis, Andreas Witzel, Bud Mishra
Cancer hybrid automata: Model, beliefs and therapy. Inf. Comput. 236 (2014)
Rohit Parikh, Çagil Tasdemir, Andreas Witzel
The Power of Knowledge in Games. IGTR 15 (4) (2013)
Andreas Witzel, Krzysztof R. Apt, Jonathan A. Zvesper
Distributed iterated elimination of strictly dominated strategies. Auton. Agents Multi Agent Syst. 25 (2) (2012)
Andreas Witzel
Characterizing perfect recall using next-step temporal operators in S5 Epistemic Temporal Logic. J. Log. Comput. 22 (3) (2012)
Loes Olde Loohuis, Andreas Witzel, Bud Mishra
Towards Cancer Hybrid Automata HSB (2012)
Rohit Parikh, Çagil Tasdemir, Andreas Witzel
Choice and Uncertainty in Games. Logic and Program Semantics (2012)
Andreas Witzel
Perfect recall of imperfect knowledge. TARK (2011)
Cédric Dégremont, Benedikt Löwe, Andreas Witzel
The synchronicity of dynamic epistemic logic. TARK (2011)
Benedikt Löwe, Eric Pacuit, Andreas Witzel
DEL Planning and Some Tractable Cases. LORI (2011)
Andreas Witzel, Ulle Endriss
Time Constraints in Mixed Multi-unit Combinatorial Auctions. AMEC/TADA (2010)
Andreas Witzel
Characterizing perfect recall in Epistemic Temporal Logic CoRR (2010)
Andreas Witzel, Ulle Endriss
Time constraints in mixed multi-unit combinatorial auctions. AAMAS (2010)
Krzysztof R. Apt, Andreas Witzel, Jonathan A. Zvesper
Common Knowledge in Interaction Structures CoRR (2009)
Andreas Witzel, Krzysztof R. Apt, Jonathan A. Zvesper
Strategy elimination in games with interaction structures CoRR (2009)
Krzysztof R. Apt, Andreas Witzel
A Generic Approach to Coalition Formation. IGTR 11 (3) (2009)
Ethan Kennerly, Andreas Witzel, Jonathan A. Zvesper
Thief belief. ICE-GIC (2009)
Andreas Witzel, Krzysztof R. Apt, Jonathan A. Zvesper
Strategy Elimination in Games with Interaction Structures. LORI (2009)
Krzysztof R. Apt, Andreas Witzel, Jonathan A. Zvesper
Common knowledge in interaction structures. TARK (2009)
Andreas Witzel
Symmetric and Synchronous Communication in Peer-to-Peer Networks. MPC (2008)
Andreas Witzel, Jonathan A. Zvesper
Epistemic logic and explicit knowledge in distributed programming. AAMAS (3) (2008)
Andreas Witzel, Jonathan A. Zvesper, Ethan Kennerly
Explicit Knowledge Programming for Computer Games. AIIDE (2008)
Andreas Witzel
Symmetric and Synchronous Communication in Peer-to-Peer Networks CoRR (2007)
Sebastian Bader, Pascal Hitzler, Steffen Hölldobler, Andreas Witzel
A Fully Connectionist Model Generator for Covered First-Order Logic Programs. IJCAI (2007)
Krzysztof R. Apt, Andreas Witzel
A Generic Approach to Coalition Formation CoRR (2007)