Dr. h.c. Laudatio – Prof. Gerhard Weiss, Chair of the Department of Knowledge Engineering (DKE) at Maastricht University, for Prof. Wolfgang Wahlster – Professor Wolfgang Wahlster has significantly and subs - Wolfgang Wahlster - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2015-01-19 07:26:09 Academia Saarland University Educational psychology Maastricht Bernhard Nebel German Research Centre for Artificial Intelligence Wolfgang Wahlster Artificial intelligence		Dr. h.c. Laudatio – Prof. Gerhard Weiss, Chair of the Department of Knowledge Engineering (DKE) at Maastricht University, for Prof. Wolfgang Wahlster – Professor Wolfgang Wahlster has significantly and subs Add to Reading List Source URL: www.dfki.de Download Document from Source Website File Size: 921,10 KB Share Document on Facebook

	DryadSynth: A Concolic SyGuS Solver Xiaokang Qiu (joint work with Kangjing Huang and Yanjun Wang) Purdue University SYNT Workshop DocID: 1xW38 - View Document
	The 4th Reactive Synthesis Competition SYNTCOMP 2017 Swen Jacobs Saarland University Roderick Bloem TU Graz DocID: 1xW26 - View Document
	Decoupled State Space Search – Dissertation Abstract Daniel Gnad Saarland University Saarbr¨ucken, Germany DocID: 1xVrj - View Document
	Synthesizing Universally-Quantified Inductive Invariants Sharon Shoham Tel Aviv University DocID: 1xVpI - View Document
	Critical Constrained Planning and an Application to Network Penetration Testing Marcel Steinmetz Saarland University Saarbr¨ucken, Germany {steinmetz}@cs.uni-saarland.de DocID: 1xUBN - View Document