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

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

1 2 3 4 next

  1. Bliem, Bernhard; Morak, Michael; Moldovan, Marius; Woltran, Stefan: The impact of treewidth on grounding and solving of answer set programs (2020)
  2. Cropper, Andrew; Evans, Richard; Law, Mark: Inductive general game playing (2020)
  3. Everardo, Flavio; Janhunen, Tomi; Kaminski, Roland; Schaub, Torsten: The return of \textitxorro (2019)
  4. Kahl, Patrick Thor; Leclerc, Anthony P.; Tran, Son Cao: A parallel memory-efficient epistemic logic program solver: harder, better, faster (2019)
  5. Kain, Tobias; Tompits, Hans: Uhura: an authoring tool for specifying answer-set programs using controlled natural language (2019)
  6. Marcopoulos, Elias; Zhang, Yuanlin: onlineSPARC: a programming environment for answer set programming (2019)
  7. Yuen, Timothy T.; Reyes, Maritza; Zhang, Yuanlin: Introducing computer science to high school students through logic programming (2019)
  8. Gebser, Martin; Kaminski, Roland; Kaufmann, Benjamin; Schaub, Torsten: Multi-shot ASP solving with clingo (2018)
  9. Mushthofa, Mushthofa; Schockaert, Steven; Hung, Ling-Hong; Marchal, Kathleen; De Cock, Martine: Modeling multi-valued biological interaction networks using fuzzy answer set programming (2018)
  10. Dodaro, Carmine; Maratea, Marco: Nurse Scheduling via answer set programming (2017)
  11. Gebser, Martin; Kaminski, Roland; Schaub, Torsten: aspcud: A Linux Package Configuration Tool Based on Answer Set Programming (2017) arXiv
  12. Greßler, Alexander; Oetsch, Johannes; Tompits, Hans: (\mathsfHarvey): a system for random testing in ASP (2017)
  13. Hyttinen, Antti; Plis, Sergey; Järvisalo, Matti; Eberhardt, Frederick; Danks, David: A constraint optimization approach to causal discovery from subsampled time series data (2017)
  14. Le, Tiep; Son, Tran Cao; Pontelli, Enrico; Yeoh, William: Solving distributed constraint optimization problems using logic programming (2017)
  15. Lierler, Yuliya: What is answer set programming to propositional satisfiability (2017)
  16. Paramonov, Sergey; van Leeuwen, Matthijs; De Raedt, Luc: Relational data factorization (2017)
  17. Peña, Jose M.; Bendtsen, Marcus: Causal effect identification in acyclic directed mixed graphs and gated models (2017)
  18. Pührer, Jörg: ArgueApply: a mobile app for argumentation (2017)
  19. Brandt, Felix; Geist, Christian; Harrenstein, Paul: A note on the McKelvey uncovered set and Pareto optimality (2016)
  20. Eiter, Thomas; Fink, Michael; Krennwallner, Thomas; Redl, Christoph: Domain expansion for ASP-programs with external sources (2016)

1 2 3 4 next