Andreas Witzel – Research (or go to personal page)

me

Visiting Academic (with Prof. Bud Mishra)
NYU Bioinformatics Group
Courant Institute of Mathematical Sciences
New York University

awitzel at nyu dot edu

Interests:

I'm no longer a full-time researcher, so this page will not be updated frequently.

Most recently I've been doing research on computational models of cancer, using ideas from game theory and logic. The larger context was a project on Computational Modeling and Analysis for Complex Systems (CMACS).

Earlier, I did my Ph.D. at the Institute for Logic, Language and Computation (ILLC) and the Centrum Wiskunde en Informatica (CWI) in Amsterdam. My advisor was Krzysztof R. Apt.

I was working in the "Games and Computer Science" part of the GLoRiClass project on a European Commission Marie Curie fellowship. My thesis work was about combining multi-agent logic and game theory with my main background, computer science.

Before that, I studied at the International Center for Computational Logic (ICCL) in Dresden and obtained my M.Sc. in the area of neural-symbolic integration, translating logic programs into trainable artificial neural networks. My supervisors were Steffen Hölldobler, Pascal Hitzler and Sebastian Bader.

Besides the new theme of cancer, my research interests revolve around multi-agent systems and game theory, covering the range from formal methods to applications within artificial intelligence. I am especially interested in logic-based approaches and in issues related to knowledge and communication, but also in topics like auctions and social choice.

I also love (natural) languages and spend a fair share of my free time studying them and wondering about them, scavenging fields like comparative linguistics, etymology, phonology and others. I still need to find a way to make use of this passion at work though. (Or do I?)

Below you can find my papers and some presentations.

Papers

The electronic versions of the papers are provided for personal use only, the copyrights are owned by the publishers.
2011
Distributed iterated elimination of strictly dominated strategies.
Andreas Witzel, Krzysztof Apt, and Jonathan Zvesper.
Autonomous Agents and Multi-Agent Systems. pp. 1--24. 10.1007/s10458-011-9178-1.
27 pages
pdf url bib
Perfect recall of imperfect knowledge.
Andreas Witzel.
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge. pp. 75--81.
ACM. TARK XIII. 2011.
7 pages
pdf url bib
The synchronicity of dynamic epistemic logic.
Cédric Dégremont, Benedikt Löwe, and Andreas Witzel.
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge. pp. 145--152.
ACM. TARK XIII. 2011.
12 pages
pdf url bib
Characterizing perfect recall using next-step temporal operators in S5 Epistemic Temporal Logic.
Andreas Witzel.
Journal of Logic and Computation. 2011. Advance Access published May 25, 2011.
12 pages
pdf url bib
DEL Planning and Some Tractable Cases.
Benedikt Löwe, Eric Pacuit, and Andreas Witzel.
In Logic, Rationality, and Interaction. pp. 179-192. Edited by Hans van Ditmarsch, Jérôme Lang, and Shier Ju.
Springer Berlin / Heidelberg, Lecture Notes in Computer Science, Vol. 6953. ISBN 978-3-642-24129-1, 2011.
 url bib
2010
Planning based on dynamic epistemic logic.
Benedikt Löwe, Eric Pacuit, and Andreas Witzel.
ILLC, University of Amsterdam. PP-2010-14. Technical Report. May 2010.
15 pages
pdf url bib
Time Constraints in Mixed Multi-unit Combinatorial Auctions.
Andreas Witzel and Ulle Endriss.
Proceedings of the 12th International Workshop on Agent-Mediated Electronic Commerce (AMEC at AAMAS 2010).
Lecture Notes in Business Information Processing. To appear.
14 pages
pdf bib
Time Constraints in Mixed Multi-unit Combinatorial Auctions (Extended Abstract).
Andreas Witzel and Ulle Endriss.
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010). pp. 1487--1488.
Toronto, Canada. IFAAMAS. May 2010.
2 pages
pdf bib
2009
Strategy elimination in games with interaction structures.
Andreas Witzel, Krzysztof R. Apt, and Jonathan A. Zvesper.
Proceedings of the 2nd Workshop on Logic, Rationality and Interaction (LORI-II). pp. 302--315.
Chonqing, China. Springer. Lecture Notes in Artificial Intelligence. Vol. 5834. October 2009.
20 pages
pdf url bib
Knowledge and Games: Theory and Implementation.
Andreas Witzel.
Ph.D. thesis. University of Amsterdam. 2009. ILLC Dissertation Series 2009-05.
182 pages
pdf url bib
A Generic Approach to Coalition Formation.
Krzysztof R. Apt and Andreas Witzel.
International Game Theory Review. 11 (3). 2009. pp. 347--367.
20 pages
pdf url bib
Thief Belief (Extended Abstract).
Ethan Kennerly, Andreas Witzel, and Jonathan A. Zvesper.
Games Innovations Conference, 2009. ICE-GIC 2009. International IEEE Consumer Electronics Society's. pp. 169--172.
Aug 2009.
4 pages
pdf url bib
Common Knowledge in Interaction Structures.
Krzysztof R. Apt, Andreas Witzel, and Jonathan A. Zvesper.
Proceedings of the 12th Conference on Theoretical Aspects of Reasoning about Knowledge (TARK XII). pp. 4--13.
Stanford, CA. ACM. July 2009.
10 pages
pdf url bib
Thief Belief (Extended Abstract).
Ethan Kennerly, Andreas Witzel, and Jonathan A. Zvesper.
LSIR-2: Logic and the Simulation of Interaction and Reasoning Workshop at IJCAI-09. pp. 47--51.
Pasadena, CA. ILLC Preprint Series. July 2009.
5 pages
pdf url bib
Some Afterthoughts on Knowledge-based Obligation (Extended Abstract).
Rahul Bendre, Rohit Parikh, and Andreas Witzel.
Presented at the 3rd Indian Conference on Logic and its Applications (ICLA 2009).
Chennai, India. January 2009.
8 pages
pdf url bib
2008
Explicit Knowledge Programming for Computer Games.
Andreas Witzel, Jonathan Zvesper, and Ethan Kennerly.
Proceedings of the Fourth Artificial Intelligence and Interactive Digital Entertainment Conference (AIIDE 2008).
Stanford, California. AAAI Press. October 2008.
6 pages
pdf url bib
Logic-Based Preference Languages with Intermediate Complexity.
Joel Uckelman and Andreas Witzel.
Presented at the 4th Multidisciplinary Workshop on Advances in Preference Handling (M-PREF at AAAI 2008).
Chicago, Illinois. July 2008.
5 pages
pdf url bib
Symmetric and Synchronous Communication in Peer-to-Peer Networks.
Andreas Witzel.
Proceedings of the 9th International Conference on Mathematics of Program Construction (MPC'08). pp. 404--421.
Marseille, France. Springer. Lecture Notes in Computer Science. Vol. 5133. July 2008.
18 pages
pdf url bib
Strategic games with interaction structures.
Krzysztof R. Apt, Andreas Witzel, and Jonathan A. Zvesper.
Presented at the 8th Conference on Logic and the Foundations of Game and Decision Theory (LOFT 2008).
Amsterdam, Netherlands. July 2008.
 url bib
Epistemic Logic and Explicit Knowledge in Distributed Programming (Short Paper).
Andreas Witzel and Jonathan A. Zvesper.
Proceedings of the 7th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008). pp. 1463--1466.
Estoril, Portugal. IFAAMAS. May 2008.
4 pages
pdf url bib
Higher-Order Knowledge in Computer Games.
Andreas Witzel and Jonathan A. Zvesper.
Proceedings of the AISB'08 Symposium on Logic and the Simulation of Interaction and Reasoning. pp. 68--72.
Aberdeen, Scotland. The Society for the Study of Artificial Intelligence and Simulation of Behaviour. AISB 2008 Convention. Vol. 9. April 2008.
5 pages
pdf url bib
2007
Symmetric and Synchronous Communication in Peer-to-Peer Networks.
Andreas Witzel.
arXiv.org. 0710.2284. October 2007.
24 pages
pdf url bib
The Core Method: Connectionist Model Generation for First-Order Logic Programs.
Sebastian Bader, Pascal Hitzler, Steffen Hölldobler, and Andreas Witzel.
In Perspectives of Neural-Symbolic Integration. pp. 205--232. Edited by Barbara Hammer and Pascal Hitzler.
Berlin. Springer, Studies in Computational Intelligence, Vol. 77. ISBN 978-3540739531, October 2007.
28 pages
pdf url bib
A Generic Approach to Coalition Formation.
Krzysztof R. Apt and Andreas Witzel.
arXiv.org. 0709.0435. September 2007.
21 pages
pdf url bib
A Fully Connectionist Model Generator for Covered First-Order Logic Programs.
Sebastian Bader, Pascal Hitzler, Steffen Hölldobler, and Andreas Witzel.
Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI 2007). pp. 666--671.
Hyderabad, India. 2007.
6 pages
pdf url bib
2006
A Generic Approach to Coalition Formation.
Krzysztof R. Apt and Andreas Witzel.
Presented at the 1st International Workshop on Computational Social Choice (COMSOC-2006).
University of Amsterdam. December 2006.
14 pages
pdf url bib
Neural-Symbolic Integration -- Constructive Approaches.
Andreas Witzel.
Master's thesis. Technische Universität Dresden. 2006.
91 pages
pdf url bib
2005
Integrating First Order Logic Programs and Connectionist Systems -- A Constructive Approach.
Sebastian Bader, Pascal Hitzler, and Andreas Witzel.
Prestented at the IJCAI-05 Workshop on Neural-Symbolic Learning and Reasoning (NeSy'05).
Edinburgh, UK. August 2005.
8 pages
pdf url bib
Integrating First-Order Logic Programs and Connectionist Systems -- A Constructive Approach.
Andreas Witzel.
Undergraduate project thesis.
April 2005.
34 pages
pdf bib

Presentations

2011
Perfect recall of imperfect knowledge
TARK (conference), July 2011
20+5 min
pdf
Epistemic Logic An Overview
FRIAS (seminar), June 2011
60+x
pdf
2010
Biology X, Fall 2010 Introduction to (evolutionary) game theory
Biology X (class), September 2010
90 min
pdf
Perfect recall in Epistemic Temporal Logic
Logic and Games (seminar), September 2010
40+15 min
pdf
Time Constraints in Mixed Multi-unit Combinatorial Auctions
AMEC (workshop), May 2010
25+5 min
pdf
2009
Common Knowledge in Interaction Structures
TARK (conference), July 2009
25+3 min
pdf
DEL and AI
ISIS (seminar), May 2009
45+15 min
pdf
Knowledge and Planning
Groningen (Oberseminar), April 2009
25+5 min
pdf
2008
Explicit Knowledge Programming for Computer Games
AIIDE (conference), October 2008
15+5 min
pdf
Communication, knowledge, and strategy elimination
AT&T Labs (seminar), August 2008
45+15 min
pdf
Correlated equilibrium as an expression of Bayesian rationality
Logic and Games (seminar), August 2008
45+15 min
pdf
Strategic Games with Interaction Structures
Logic and Games (seminar), August 2008
30+10 min
pdf
Symmetric and Synchronous Communication in Peer-to-Peer Networks=1not meaning ``filesharing networks''
MPC (conference), July 2008
25+5 min
pdf
Cheap Talk
Logic and Games (seminar), June 2008
60+30 min
pdf
Epistemic Logic and Explicit Knowledge in Distributed Programming
AAMAS (conference), May 2008
poster
pdf
Higher-Order Knowledge in Computer Games
AISB (symposium), April 2008
20+5 min
pdf
A Generic Approach to Coalition Formation
GLoRiClass Halftime (symposium), February 2008
20+5 min
pdf
2007
A Generic Approach to Coalition Formation
COMSOC (seminar), November 2007
30+25 min
pdf
A Fully Connectionist Model Generator for Covered First-Order Logic Programs
IJCAI (conference), January 2007
17+3 min
pdf
2006
A Generic Approach to Coalition Formation
COMSOC (workshop), December 2006
17+3 min
pdf
Introduction to Logic in Computer Science: Autumn 2006 Description Logics Crash Course
ILCS (class), November 2006
90 min
pdf
Planned Research
PhD (report), November 2006
15+10 min
pdf
Using similarity criteria to make issue trade-offs in automated negotiations
MAS (seminar), May 2006
25+5 min
pdf
The Stability of Hedonic Coalition Structures
COMSOC (seminar), May 2006
45+10 min
pdf
Neural-Symbolic Integration Constructive Approaches
Logic Tea (seminar), April 2006
45+15 min
pdf
Neural-Symbolic Integration Constructive Approaches
MSc (defence), January 2006
30+10 min
pdf
2005
Integrating Logic Programs and Connectionist Systems -- A Constructive Approach
IJCAI (workshop), August 2005
20+5 min
pdf
Integrating Logic Programs and Connectionist Systems -- A Constructive Approach
Student Project (defence), April 2005
25+5 min
pdf