Andreas Witzel

According to our database, Andreas Witzel authored at least 21 papers between 2007 and 2014.

Collaborative distances:

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

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

Cancer hybrid automata: Model, beliefs and therapy.

Loes Olde Loohuis, Andreas Witzel, Bud Mishra

Inf. Comput., 2014

2013

The Power of Knowledge in Games.

Rohit Parikh, Çagil Tasdemir, Andreas Witzel

IGTR, 2013

2012

Characterizing perfect recall using next-step temporal operators in S5 Epistemic Temporal Logic.

Andreas Witzel

J. Log. Comput., 2012

Towards Cancer Hybrid Automata

Loes Olde Loohuis, Andreas Witzel, Bud Mishra

Proceedings of the Proceedings First International Workshop on Hybrid Systems and Biology, 2012

Distributed iterated elimination of strictly dominated strategies.

Andreas Witzel, Krzysztof R. Apt, Jonathan A. Zvesper

Auton. Agents Multi Agent Syst., 2012

Choice and Uncertainty in Games.

Rohit Parikh, Çagil Tasdemir, Andreas Witzel

Proceedings of the Logic and Program Semantics, 2012

2011

Perfect recall of imperfect knowledge.

Andreas Witzel

Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2011), 2011

The synchronicity of dynamic epistemic logic.

Cédric Dégremont, Benedikt Löwe, Andreas Witzel

Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2011), 2011

DEL Planning and Some Tractable Cases.

Benedikt Löwe, Eric Pacuit, Andreas Witzel

Proceedings of the Logic, Rationality, and Interaction - Third International Workshop, 2011

2010

Characterizing perfect recall in Epistemic Temporal Logic

Andreas Witzel

CoRR, 2010

Time Constraints in Mixed Multi-unit Combinatorial Auctions.

Andreas Witzel, Ulle Endriss

Proceedings of the Agent-Mediated Electronic Commerce. Designing Trading Strategies and Mechanisms for Electronic Markets, 2010

2009

A Generic Approach to Coalition Formation.

Krzysztof R. Apt, Andreas Witzel

IGTR, 2009

Common knowledge in interaction structures.

Krzysztof R. Apt, Andreas Witzel, Jonathan A. Zvesper

Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2009), 2009

Strategy Elimination in Games with Interaction Structures.

Andreas Witzel, Krzysztof R. Apt, Jonathan A. Zvesper

Proceedings of the Logic, Rationality, and Interaction, Second International Workshop, 2009

Thief belief.

Ethan Kennerly, Andreas Witzel, Jonathan A. Zvesper

Proceedings of the 2009 International IEEE Consumer Electronics Society's Games Innovations Conference, 2009

2008

Symmetric and Synchronous Communication in Peer-to-Peer Networks.

Andreas Witzel

Proceedings of the Mathematics of Program Construction, 9th International Conference, 2008

Epistemic logic and explicit knowledge in distributed programming.

Andreas Witzel, Jonathan A. Zvesper

Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008

Explicit Knowledge Programming for Computer Games.

Andreas Witzel, Jonathan A. Zvesper, Ethan Kennerly

Proceedings of the Fourth Artificial Intelligence and Interactive Digital Entertainment Conference, 2008

2007

The Core Method: Connectionist Model Generation for First-Order Logic Programs.

Sebastian Bader, Pascal Hitzler, Steffen Hölldobler, Andreas Witzel

Proceedings of the Perspectives of Neural-Symbolic Integration, 2007

A Fully Connectionist Model Generator for Covered First-Order Logic Programs.

Sebastian Bader, Pascal Hitzler, Steffen Hölldobler, Andreas Witzel

Proceedings of the IJCAI 2007, 2007