-
Modern constraint answer set solving
Ostrowski, Max ; Schaub, Torsten 2018 Universität Potsdam
-
Procedural Content Generation in Games
Shaker, Noor ; Togelius, Julian ; Nelson, Mark J. 2016 Springer International Publishing
-
Logic-based program synthesis and transformation – 22nd international symposium ; revised selected papers
Albert, Elvira 2013 Springer
-
An Answer Set Programming Based Formal Language for XML Authorisations – with Temporal Constraints
Policarpio, Sean 2012 LAP LAMBERT Academic Publishing
-
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning – Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday
Balduccini, Marcello ; Gelfond, Michael ; Son, Tran Cao 2011 Springer Berlin Heidelberg
-
Logic programming, knowledge representation, and nonmonotonic reasoning – essays dedicated to Michael Gelfond on the occasion of his 65th birthday
Balduccini, Marcello ; Gelfond, Michael ; Son, Tran Cao 2011 Springer