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

Showing results 1 to 20 of 25.
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. Andres, Benjamin; Rajaratnam, David; Sabuncu, Orkunt; Schaub, Torsten: Integrating ASP into ROS for reasoning in robots (2015)
  4. Brik, Alex; Remmel, Jeffrey: Diagnosing automatic whitelisting for Dynamic Remarketing Ads using hybrid ASP (2015)
  5. 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)
  6. Fichte, Johannes Klaus; Szeider, Stefan: Backdoors to tractable answer set programming (2015)
  7. Zhang, Dongmo; Thielscher, Michael: Representing and reasoning about game strategies (2015)
  8. Bauters, Kim; Schockaert, Steven; De Cock, Martine; Vermeir, Dirk: Semantics for possibilistic answer set programs: uncertain rules versus rules with uncertain conclusions (2014)
  9. Bofill, Miquel; Busquets, Dídac; Muñoz, Víctor; Villaret, Mateu: Reformulation based MaxSat robustness (2013)
  10. Gebser, Martin; Jost, Holger; Kaminski, Roland; Obermeier, Philipp; Sabuncu, Orkunt; Schaub, Torsten; Schneider, Marius: Ricochet robots: a transverse ASP benchmark (2013)
  11. Ryabokon, Anna; Friedrich, Gerhard; Falkner, Andreas A.: Conflict-based program rewriting for solving configuration problems (2013)
  12. Aavani, Amir; Wu, Xiongnan (Newman); Tasharrofi, Shahab; Ternovska, Eugenia; Mitchell, David: Enfragmo: A system for modelling and solving search problems with logic (2012)
  13. Blount, Justin; Gelfond, Michael: Reasoning about the intentions of agents (2012)
  14. Eiter, Thomas; Fink, Michael; Krennwallner, Thomas; Redl, Christoph: Conflict-driven ASP solving with external sources (2012)
  15. Erdem, Esra; Patoglu, Volkan: Applications of action languages in cognitive robotics (2012)
  16. Gebser, Martin; Kaufmann, Benjamin; Schaub, Torsten: Conflict-driven answer set solving: from theory to practice (2012)
  17. Gottlob, Georg; Orsi, Giorgio; Pieris, Andreas; Šimkus, Mantas: Datalog and its extensions for semantic web databases (2012)
  18. Haufe, Sebastian; Schiffel, Stephan; Thielscher, Michael: Automated verification of state sequence invariants in general game playing (2012)
  19. 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)
  20. Gebser, Martin; Kaminski, Roland; Kaufmann, Benjamin; Schaub, Torsten; Schneider, Marius Thomas; Ziller, Stefan: A portfolio solver for answer set programming: preliminary report (2011)

1 2 next