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