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

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

1 2 3 4 next

  1. Eiter, Thomas; Kaminski, Tobias: Pruning external minimality checking for answer set programs using semantic dependencies (2021)
  2. Saribatur, Zeynep G.; Eiter, Thomas: Omission-based abstraction for answer set programs (2021)
  3. Tsampanaki, Nikoleta; Patkos, Theodore; Flouris, Giorgos; Plexousakis, Dimitris: Revising event calculus theories to recover from unexpected observations (2021)
  4. Bliem, Bernhard; Morak, Michael; Moldovan, Marius; Woltran, Stefan: The impact of treewidth on grounding and solving of answer set programs (2020)
  5. Cropper, Andrew; Evans, Richard; Law, Mark: Inductive general game playing (2020)
  6. Dodaro, Carmine; Ricca, Francesco: The external interface for extending WASP (2020)
  7. Erdem, Esra; Fidan, Müge; Manlove, David; Prosser, Patrick: A general framework for stable roommates problems using answer set programming (2020)
  8. Gonçalves, Ricardo; Knorr, Matthias; Leite, João; Woltran, Stefan: On the limits of forgetting in answer set programming (2020)
  9. Izmirlioglu, Yusuf; Erdem, Esra: Reasoning about cardinal directions between 3-dimensional extended objects using answer set programming (2020)
  10. Everardo, Flavio; Janhunen, Tomi; Kaminski, Roland; Schaub, Torsten: The return of \textitxorro (2019)
  11. Kahl, Patrick Thor; Leclerc, Anthony P.; Tran, Son Cao: A parallel memory-efficient epistemic logic program solver: harder, better, faster (2019)
  12. Kain, Tobias; Tompits, Hans: Uhura: an authoring tool for specifying answer-set programs using controlled natural language (2019)
  13. Marcopoulos, Elias; Zhang, Yuanlin: onlineSPARC: a programming environment for answer set programming (2019)
  14. Yuen, Timothy T.; Reyes, Maritza; Zhang, Yuanlin: Introducing computer science to high school students through logic programming (2019)
  15. Chimani, Markus; Hedtke, Ivo; Wiedera, Tilo: Exact algorithms for the maximum planar subgraph problem: new models and experiments (2018)
  16. Gebser, Martin; Kaminski, Roland; Kaufmann, Benjamin; Schaub, Torsten: Multi-shot ASP solving with clingo (2018)
  17. Mushthofa, Mushthofa; Schockaert, Steven; Hung, Ling-Hong; Marchal, Kathleen; De Cock, Martine: Modeling multi-valued biological interaction networks using fuzzy answer set programming (2018)
  18. Dodaro, Carmine; Maratea, Marco: Nurse Scheduling via answer set programming (2017)
  19. Gebser, Martin; Kaminski, Roland; Schaub, Torsten: aspcud: A Linux Package Configuration Tool Based on Answer Set Programming (2017) arXiv
  20. Greßler, Alexander; Oetsch, Johannes; Tompits, Hans: (\mathsfHarvey): a system for random testing in ASP (2017)

1 2 3 4 next