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

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

1 2 3 next

  1. Gavanelli, Marco; Nonato, Maddalena; Peano, Andrea; Bertozzi, Davide: Logic programming approaches for routing fault-free and maximally parallel wavelength-routed optical networks-on-chip (application paper) (2017)
  2. Gebser, Martin; Kaminski, Roland; Schaub, Torsten: aspcud: A Linux Package Configuration Tool Based on Answer Set Programming (2017) arXiv
  3. Greßler, Alexander; Oetsch, Johannes; Tompits, Hans: $\mathsf Harvey$: a system for random testing in ASP (2017)
  4. Hyttinen, Antti; Plis, Sergey; Järvisalo, Matti; Eberhardt, Frederick; Danks, David: A constraint optimization approach to causal discovery from subsampled time series data (2017)
  5. Le, Tiep; Son, Tran Cao; Pontelli, Enrico; Yeoh, William: Solving distributed constraint optimization problems using logic programming (2017)
  6. Lierler, Yuliya: What is answer set programming to propositional satisfiability (2017)
  7. Paramonov, Sergey; van Leeuwen, Matthijs; De Raedt, Luc: Relational data factorization (2017)
  8. Peña, Jose M.; Bendtsen, Marcus: Causal effect identification in acyclic directed mixed graphs and gated models (2017)
  9. Brandt, Felix; Geist, Christian; Harrenstein, Paul: A note on the McKelvey uncovered set and Pareto optimality (2016)
  10. Eiter, Thomas; Fink, Michael; Krennwallner, Thomas; Redl, Christoph: Domain expansion for ASP-programs with external sources (2016)
  11. Eiter, Thomas; Kaminski, Tobias: Exploiting contextual knowledge for hybrid classification of visual objects (2016)
  12. Gao, Tiantian; Fodor, Paul; Kifer, Michael: Paraconsistency and word puzzles (2016)
  13. Gonçalves, Ricardo; Knorr, Matthias; Leite, João: Forgetting in ASP: the forgotten properties (2016)
  14. Leonetti, Matteo; Iocchi, Luca; Stone, Peter: A synthesis of automated planning and reinforcement learning for efficient, robust decision-making (2016)
  15. Redl, Christoph: The dlvhex system for knowledge representation: recent advances (system description) (2016)
  16. Schulz, Claudia; Toni, Francesca: Justifying answer sets using argumentation (2016)
  17. Xu, Hong; Kumar, T.K.Satish; Koenig, Sven: A new solver for the minimum weighted vertex cover problem (2016)
  18. Andres, Benjamin; Rajaratnam, David; Sabuncu, Orkunt; Schaub, Torsten: Integrating ASP into ROS for reasoning in robots (2015)
  19. Brik, Alex; Remmel, Jeffrey: Diagnosing automatic whitelisting for Dynamic Remarketing Ads using hybrid ASP (2015)
  20. 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)

1 2 3 next