From SAT to ASP and back!? Torsten Schaub University of Potsdam & INRIA Rennes Torsten Schaub (KRR@UP)

Source URL: sat2016.labri.fr

• Programming paradigms
• Logic programming
• Software engineering
• Artificial intelligence
• Constraint programming
• Theoretical computer science
• Answer set programming
• Automated reasoning
• Constraint satisfaction problem
• Problem solving
• Solver
• Knowledge representation and reasoning

Multi-source annotation projection of coreference chains: assessing strategies and testing opportunities Yulia Grishina and Manfred Stede Applied Computational Linguistics FSP Cognitive Science University of Potsdam

Source URL: www.aclweb.org

Schedule for the 4th quarter at the University of Potsdam Department of Physics and Astronomy (building 28, campus Golm) Department of Chemistry (building 25, campus Golm)

Source URL: polymerscience.physik.hu-berlin.de

Simple Annotation Tools for Complex Annotation Tasks: an Evaluation Stefanie Dipper, Michael G¨otze, Manfred Stede University of Potsdam Dept. of Linguistics, Computational Linguistics DPotsdam, Germany {dipper,g

Source URL: www.ling.uni-potsdam.de

Rhetorical Parsing with Underspecification and Forests Thomas Hanneforth Dept. of Linguistics University of Potsdam P.O. BoxPotsdam, Germany

Source URL: aclweb.org

Surfaces and Depths in Text Understanding: The Case of Newspaper Commentary Manfred Stede University of Potsdam Dept. of Linguistics Applied Computational Linguistics

Source URL: www.ling.uni-potsdam.de

Step by step: underspecified markup in incremental rhetorical analysis David Reitter Manfred Stede Media Lab Europe University of Potsdam Adaptive Speech Interfaces

Source URL: www.ling.uni-potsdam.de

Peeling, structural Case, and Czech retroactive infinitives* Jakub Dotlačil and Radek Šimík University of California at Santa Cruz and University of Potsdam Abstract In Czech, several verbs can embed infinitives in wh

Source URL: jakubdotlacil.com

Retrieval Optimization of Pertinent Answers for NL Questions with the E-Librarian Service Serge Linckels,Harald Sack, Christoph Meinel Hasso Plattner Institute for Software Systems Engineering (HPI) University of Potsdam

Source URL: www.linckels.lu

University of Potsdam, Institute of Physics Advanced lab experiments June 14, 2011 M6

Source URL: canopus.physik.uni-potsdam.de