„answer set programming“

Suchergebnisse

189 Treffer

• An answer set programming encoding of Prioritized Removed Sets Revision: application to GIS
  Benferhat, Salem ; Ben-Naim, Jonathan ; Papini, Odile ; Würbel, Eric
• Answer Set Programming
  2019 Springer International Publishing
• Analyzing XACML policies using answer set programming
  Rezvani, Mohsen ; Rajaratnam, David ; Ignjatovic, Aleksandar ; Pagnucco, Maurice ; Jha, Sanjay
• Answer Set Planning in Single- and Multi-agent Environments
  Son, Tran Cao ; Balduccini, Marcello
• Answer Set Programming from a Logical Point of View
  Cabalar, Pedro ; Pearce, David ; Valverde, Agustín
• Industrial Applications of Answer Set Programming
  Falkner, Andreas ; Friedrich, Gerhard ; Schekotihin, Konstantin ; Taupe, Richard ; Teppan, Erich C.
• Answer Set Programming – Related with Other Solving Paradigms
  Janhunen, Tomi
• Cross-Translating Answer Set Programs Using the ASPTOOLS Collection
  Janhunen, Tomi
• THE MAASAI OF SOUTHERN KENYA DOMAIN MODEL OF LAND USE
  Karamesouti, M. ; Schultz, C. ; Chipofya, M. ; Jan, S. ; Murcia Galeano, C. E. ; Schwering, A. ; Timm, C.
• Procedural Content Generation in Games
  Shaker, Noor ; Togelius, Julian ; Nelson, Mark J. 2016 Springer International Publishing
• Discriminate the response of Acute Myeloid Leukemia patients to treatment by using proteomics data and Answer Set Programming
  Chebouba, Lokmane ; Miannay, Bertrand ; Boughaci, Dalila ; Guziolowski, Carito
• Postdicitve [Postdictive] reasoning in epistemic action theory
  Eppe, Manfred
• Planning in Answer Set Programming using ordered task decomposition
  Dix, Jürgen ; Kuter, Ugur ; Nau, Dana 2005 Technische Universität Clausthal
• Logic-based program synthesis and transformation – 22nd international symposium ; revised selected papers
  Albert, Elvira 2013 Springer
• Visualisation and Graphical Editing of Answer Sets: The Kara System – An advanced approach
  Kloimüllner, Christian 2013 AV Akademikerverlag
• Automated theorem proving for general game playing
  Haufe, Sebastian
• An Answer Set Programming Based Formal Language for XML Authorisations – with Temporal Constraints
  Policarpio, Sean 2012 LAP LAMBERT Academic Publishing
• Datalog reloaded – first international workshop ; revised selected papers
  Moor, Oege ˜deœ ; Gottlob, Georg ; Furche, Tim ; Sellers, Andrew 2011 Springer
• 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 and nonmonotonic reasoning – 11th international conference ; proceedings
  Delgrande, James P. ; Faber, Wolfgang 2011 Springer