ICLP DOCTORAL CONSORTIUM 2014 ABSTRACTS

Editors: Martin Gebser and Jael Kriener

Authors	Title	Paper	Talk
Riccardo Zese	Reasoning with Probabilistic Logics		Jul 20 12:35
Grzegorz Jaśkiewicz	Logic Programming as Scripting Language for Bots in Computer Games – Research Overview		Jul 20 16:55
Aya Saad	CDF-Intervals: A Reliable Framework to Reason about Data with Uncertainty		Jul 20 15:20
Heike Stephan	Application of Methods for Syntax Analysis of Context-Free Languages to Query Evaluation of Logic Programs		Jul 20 14:30
Nada Sharaf, Slim Abdennadher and Thom Fr¨uhwirth	Visualization of Constraint Handling Rules		Jul 20 12:10
Rehan Abdul Aziz	Bound Founded Answer Set Programming		Jul 20 14:55
Joachim Jansen	Model revision inference for extensions of first order logic		Jul 20 16:30
Michael Morak	The Impact of Disjunction on Reasoning under Existential Rules: Research Summary		Jul 20 11:45