Andreas Witzel – Research (or go to personal page)

me
(click picture for more context)

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

Contact:

715 Broadway, Room 1010, New York, NY 10003
awitzel at nyu dot edu

Interests:

I'm about to start attacking cancer using game theory and logic... The larger context is 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 under the European Commission Marie Curie funding scheme. 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.

Besides these subjects, my spare-time passion is linguistics and real-world languages. When studying languages, time and again, empirical observations and initial theories of my own make me delve into comparative linguistics, etymology, phonology and other topics, and I wonder if some day this hobby should become part of my work.

Some more information about me is contained in my CV. 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.
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.
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
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
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
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
Symmetric and Synchronous Communication in Peer-to-Peer Networks.
Andreas Witzel.
arXiv.org. 0710.2284. October 2007. 		24 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.
Proceedings of the 1st International Workshop on Computational Social Choice (COMSOC-2006). pp. 21--34.
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.
Proceedings of 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

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
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 (lecture), 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