References in zbMATH (referenced in 28 articles , 1 standard article )

Showing results 1 to 20 of 28.
Sorted by year (citations)

1 2 next

  1. Gebser, Martin; Kaminski, Roland; Schaub, Torsten: aspcud: A Linux Package Configuration Tool Based on Answer Set Programming (2017) arXiv
  2. Brandt, Felix; Geist, Christian; Harrenstein, Paul: A note on the McKelvey uncovered set and Pareto optimality (2016)
  3. Eiter, Thomas; Fink, Michael; Krennwallner, Thomas; Redl, Christoph: Domain expansion for ASP-programs with external sources (2016)
  4. Leonetti, Matteo; Iocchi, Luca; Stone, Peter: A synthesis of automated planning and reinforcement learning for efficient, robust decision-making (2016)
  5. Xu, Hong; Kumar, T.K.Satish; Koenig, Sven: A new solver for the minimum weighted vertex cover problem (2016)
  6. Andres, Benjamin; Rajaratnam, David; Sabuncu, Orkunt; Schaub, Torsten: Integrating ASP into ROS for reasoning in robots (2015)
  7. Brik, Alex; Remmel, Jeffrey: Diagnosing automatic whitelisting for Dynamic Remarketing Ads using hybrid ASP (2015)
  8. Charwat, Günther; Dvořák, Wolfgang; Gaggl, Sarah A.; Wallner, Johannes P.; Woltran, Stefan: Methods for solving reasoning problems in abstract argumentation -- a survey (2015)
  9. Fichte, Johannes Klaus; Szeider, Stefan: Backdoors to tractable answer set programming (2015)
  10. Zhang, Dongmo; Thielscher, Michael: Representing and reasoning about game strategies (2015)
  11. Bauters, Kim; Schockaert, Steven; De Cock, Martine; Vermeir, Dirk: Semantics for possibilistic answer set programs: uncertain rules versus rules with uncertain conclusions (2014)
  12. Bofill, Miquel; Busquets, Dídac; Muñoz, Víctor; Villaret, Mateu: Reformulation based MaxSat robustness (2013)
  13. Gebser, Martin; Jost, Holger; Kaminski, Roland; Obermeier, Philipp; Sabuncu, Orkunt; Schaub, Torsten; Schneider, Marius: Ricochet robots: a transverse ASP benchmark (2013)
  14. Ryabokon, Anna; Friedrich, Gerhard; Falkner, Andreas A.: Conflict-based program rewriting for solving configuration problems (2013)
  15. Aavani, Amir; Wu, Xiongnan (Newman); Tasharrofi, Shahab; Ternovska, Eugenia; Mitchell, David: Enfragmo: a system for modelling and solving search problems with logic (2012)
  16. Blount, Justin; Gelfond, Michael: Reasoning about the intentions of agents (2012)
  17. Eiter, Thomas; Fink, Michael; Krennwallner, Thomas; Redl, Christoph: Conflict-driven ASP solving with external sources (2012)
  18. Erdem, Esra; Patoglu, Volkan: Applications of action languages in cognitive robotics (2012)
  19. Gebser, Martin; Kaufmann, Benjamin; Schaub, Torsten: Conflict-driven answer set solving: from theory to practice (2012)
  20. Gottlob, Georg; Orsi, Giorgio; Pieris, Andreas; Šimkus, Mantas: Datalog and its extensions for semantic web databases (2012)

1 2 next