Andreas Witzel

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