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

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

1 2 next

  1. Brandt, Felix; Geist, Christian; Harrenstein, Paul: A note on the McKelvey uncovered set and Pareto optimality (2016)
  2. Eiter, Thomas; Fink, Michael; Krennwallner, Thomas; Redl, Christoph: Domain expansion for ASP-programs with external sources (2016)
  3. Xu, Hong; Kumar, T.K.Satish; Koenig, Sven: A new solver for the minimum weighted vertex cover problem (2016)
  4. Andres, Benjamin; Rajaratnam, David; Sabuncu, Orkunt; Schaub, Torsten: Integrating ASP into ROS for reasoning in robots (2015)
  5. Brik, Alex; Remmel, Jeffrey: Diagnosing automatic whitelisting for Dynamic Remarketing Ads using hybrid ASP (2015)
  6. 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)
  7. Fichte, Johannes Klaus; Szeider, Stefan: Backdoors to tractable answer set programming (2015)
  8. Zhang, Dongmo; Thielscher, Michael: Representing and reasoning about game strategies (2015)
  9. Bauters, Kim; Schockaert, Steven; De Cock, Martine; Vermeir, Dirk: Semantics for possibilistic answer set programs: uncertain rules versus rules with uncertain conclusions (2014)
  10. Bofill, Miquel; Busquets, Dídac; Muñoz, Víctor; Villaret, Mateu: Reformulation based MaxSat robustness (2013)
  11. Gebser, Martin; Jost, Holger; Kaminski, Roland; Obermeier, Philipp; Sabuncu, Orkunt; Schaub, Torsten; Schneider, Marius: Ricochet robots: a transverse ASP benchmark (2013)
  12. Ryabokon, Anna; Friedrich, Gerhard; Falkner, Andreas A.: Conflict-based program rewriting for solving configuration problems (2013)
  13. Aavani, Amir; Wu, Xiongnan (Newman); Tasharrofi, Shahab; Ternovska, Eugenia; Mitchell, David: Enfragmo: a system for modelling and solving search problems with logic (2012)
  14. Blount, Justin; Gelfond, Michael: Reasoning about the intentions of agents (2012)
  15. Eiter, Thomas; Fink, Michael; Krennwallner, Thomas; Redl, Christoph: Conflict-driven ASP solving with external sources (2012)
  16. Erdem, Esra; Patoglu, Volkan: Applications of action languages in cognitive robotics (2012)
  17. Gebser, Martin; Kaufmann, Benjamin; Schaub, Torsten: Conflict-driven answer set solving: from theory to practice (2012)
  18. Gottlob, Georg; Orsi, Giorgio; Pieris, Andreas; Šimkus, Mantas: Datalog and its extensions for semantic web databases (2012)
  19. Haufe, Sebastian; Schiffel, Stephan; Thielscher, Michael: Automated verification of state sequence invariants in general game playing (2012)
  20. Achterberg, Tobias (ed.); Beck, J. Christopher (ed.): Integration of AI and OR techniques in constraint programming for combinatorial optimization problems. 8th international conference, CPAIOR 2011, Berlin, Germany, May 23--27, 2011. Proceedings (2011)

1 2 next