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

Showing results 61 to 80 of 80.
Sorted by year (citations)
  1. Wallner, Johannes Peter; Weissenbacher, Georg; Woltran, Stefan: Advanced SAT techniques for abstract argumentation (2013)
  2. Aavani, Amir; Wu, Xiongnan (Newman); Tasharrofi, Shahab; Ternovska, Eugenia; Mitchell, David: Enfragmo: a system for modelling and solving search problems with logic (2012) ioport
  3. Beck, Harald; Eiter, Thomas; Krennwallner, Thomas: Inconsistency management for traffic regulations: formalization and complexity results (2012)
  4. Blount, Justin; Gelfond, Michael: Reasoning about the intentions of agents (2012)
  5. Eiter, Thomas; Fink, Michael; Krennwallner, Thomas; Redl, Christoph: Conflict-driven ASP solving with external sources (2012)
  6. Erdem, Esra; Patoglu, Volkan: Applications of action languages in cognitive robotics (2012)
  7. Gebser, Martin; Kaufmann, Benjamin; Schaub, Torsten: Conflict-driven answer set solving: from theory to practice (2012)
  8. Gottlob, Georg; Orsi, Giorgio; Pieris, Andreas; Šimkus, Mantas: Datalog and its extensions for semantic web databases (2012)
  9. Haufe, Sebastian; Schiffel, Stephan; Thielscher, Michael: Automated verification of state sequence invariants in general game playing (2012)
  10. Lobo, Jorge; Ma, Jiefei; Russo, Alessandra; Le, Franck: Declarative distributed computing (2012)
  11. 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)
  12. Gebser, Martin; Kaminski, Roland; Kaufmann, Benjamin; Schaub, Torsten; Schneider, Marius Thomas; Ziller, Stefan: A portfolio solver for answer set programming: preliminary report (2011) ioport
  13. Gebser, Martin; Kaufmann, Benjamin; Kaminski, Roland; Ostrowski, Max; Schaub, Torsten; Schneider, Marius: Potassco: the Potsdam answer set solving collection (2011)
  14. Mileo, Alessandra; Schaub, Torsten; Merico, Davide; Bisiani, Roberto: Knowledge-based multi-criteria optimization to support indoor positioning (2011)
  15. Möller, Maximilian; Schneider, Marius; Wegner, Martin; Schaub, Torsten: Centurio, a general game player: parallel, Java- and ASP-based (2011) ioport
  16. Gebser, Martin; Grote, Torsten; Schaub, Torsten: Coala: a compiler from action languages to ASP (2010)
  17. Gebser, Martin; Sabuncu, Orkunt; Schaub, Torsten: An incremental answer set programming based system for finite model computation (2010)
  18. Gebser, Martin; Ostrowski, Max; Schaub, Torsten: Constraint answer set solving (2009)
  19. Thielscher, Michael: Answer set programming for single-player games in general game playing (2009)
  20. Gebser, Martin; Schaub, Torsten; Thiele, Sven; Usadel, Björn; Veber, Philippe: Detecting inconsistencies in large biological networks with answer set programming (2008)