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

Showing results 1 to 20 of 71.
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. Erdem, Esra; Fidan, Müge; Manlove, David; Prosser, Patrick: A general framework for stable roommates problems using answer set programming (2020)
  4. Gonçalves, Ricardo; Knorr, Matthias; Leite, João; Woltran, Stefan: On the limits of forgetting in answer set programming (2020)
  5. Izmirlioglu, Yusuf; Erdem, Esra: Reasoning about cardinal directions between 3-dimensional extended objects using answer set programming (2020)
  6. Everardo, Flavio; Janhunen, Tomi; Kaminski, Roland; Schaub, Torsten: The return of \textitxorro (2019)
  7. Kahl, Patrick Thor; Leclerc, Anthony P.; Tran, Son Cao: A parallel memory-efficient epistemic logic program solver: harder, better, faster (2019)
  8. Kain, Tobias; Tompits, Hans: Uhura: an authoring tool for specifying answer-set programs using controlled natural language (2019)
  9. Marcopoulos, Elias; Zhang, Yuanlin: onlineSPARC: a programming environment for answer set programming (2019)
  10. Yuen, Timothy T.; Reyes, Maritza; Zhang, Yuanlin: Introducing computer science to high school students through logic programming (2019)
  11. Chimani, Markus; Hedtke, Ivo; Wiedera, Tilo: Exact algorithms for the maximum planar subgraph problem: new models and experiments (2018)
  12. Gebser, Martin; Kaminski, Roland; Kaufmann, Benjamin; Schaub, Torsten: Multi-shot ASP solving with clingo (2018)
  13. Mushthofa, Mushthofa; Schockaert, Steven; Hung, Ling-Hong; Marchal, Kathleen; De Cock, Martine: Modeling multi-valued biological interaction networks using fuzzy answer set programming (2018)
  14. Dodaro, Carmine; Maratea, Marco: Nurse Scheduling via answer set programming (2017)
  15. Gebser, Martin; Kaminski, Roland; Schaub, Torsten: aspcud: A Linux Package Configuration Tool Based on Answer Set Programming (2017) arXiv
  16. Greßler, Alexander; Oetsch, Johannes; Tompits, Hans: (\mathsfHarvey): a system for random testing in ASP (2017)
  17. Hyttinen, Antti; Plis, Sergey; Järvisalo, Matti; Eberhardt, Frederick; Danks, David: A constraint optimization approach to causal discovery from subsampled time series data (2017)
  18. Le, Tiep; Son, Tran Cao; Pontelli, Enrico; Yeoh, William: Solving distributed constraint optimization problems using logic programming (2017)
  19. Lierler, Yuliya: What is answer set programming to propositional satisfiability (2017)
  20. Paramonov, Sergey; van Leeuwen, Matthijs; De Raedt, Luc: Relational data factorization (2017)

1 2 3 4 next