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

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

1 2 3 next

  1. Gebser, Martin; Kaminski, Roland; Schaub, Torsten: aspcud: A Linux Package Configuration Tool Based on Answer Set Programming (2017) arXiv
  2. Greßler, Alexander; Oetsch, Johannes; Tompits, Hans: $\mathsf Harvey$: a system for random testing in ASP (2017)
  3. Hyttinen, Antti; Plis, Sergey; Järvisalo, Matti; Eberhardt, Frederick; Danks, David: A constraint optimization approach to causal discovery from subsampled time series data (2017)
  4. Peña, Jose M.; Bendtsen, Marcus: Causal effect identification in acyclic directed mixed graphs and gated models (2017)
  5. Brandt, Felix; Geist, Christian; Harrenstein, Paul: A note on the McKelvey uncovered set and Pareto optimality (2016)
  6. Eiter, Thomas; Fink, Michael; Krennwallner, Thomas; Redl, Christoph: Domain expansion for ASP-programs with external sources (2016)
  7. Eiter, Thomas; Kaminski, Tobias: Exploiting contextual knowledge for hybrid classification of visual objects (2016)
  8. Gonçalves, Ricardo; Knorr, Matthias; Leite, João: Forgetting in ASP: the forgotten properties (2016)
  9. Leonetti, Matteo; Iocchi, Luca; Stone, Peter: A synthesis of automated planning and reinforcement learning for efficient, robust decision-making (2016)
  10. Xu, Hong; Kumar, T.K.Satish; Koenig, Sven: A new solver for the minimum weighted vertex cover problem (2016)
  11. Andres, Benjamin; Rajaratnam, David; Sabuncu, Orkunt; Schaub, Torsten: Integrating ASP into ROS for reasoning in robots (2015)
  12. Brik, Alex; Remmel, Jeffrey: Diagnosing automatic whitelisting for Dynamic Remarketing Ads using hybrid ASP (2015)
  13. 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)
  14. Dvořák, Wolfgang; Gaggl, Sarah Alice; Linsbichler, Thomas; Wallner, Johannes Peter: Reduction-based approaches to implement modgil’s extended argumentation frameworks (2015)
  15. Fichte, Johannes Klaus; Szeider, Stefan: Backdoors to tractable answer set programming (2015)
  16. Fichte, Johannes K.; Szeider, Stefan: Backdoors to normality for disjunctive logic programs (2015)
  17. Gebser, Martin; Kaminski, Roland; Obermeier, Philipp; Schaub, Torsten: Ricochet robots reloaded: a case-study in multi-shot ASP solving (2015)
  18. Gottlob, Georg; Morak, Michael; Pieris, Andreas: Recent advances in Datalog$^\pm $ (2015)
  19. Hannes Klarner, Alexander Bockmayr, Heike Siebert: Computing Maximal and Minimal Trap Spaces of Boolean Networks (2015) arXiv
  20. Zhang, Dongmo; Thielscher, Michael: Representing and reasoning about game strategies (2015)

1 2 3 next