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

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

1 2 3 4 next

  1. Amendola, Giovanni; Dodaro, Carmine; Faber, Wolfgang; Ricca, Francesco: Paracoherent answer set computation (2021)
  2. Eiter, Thomas; Kaminski, Tobias: Pruning external minimality checking for answer set programs using semantic dependencies (2021)
  3. Saribatur, Zeynep G.; Eiter, Thomas: Omission-based abstraction for answer set programs (2021)
  4. Tsampanaki, Nikoleta; Patkos, Theodore; Flouris, Giorgos; Plexousakis, Dimitris: Revising event calculus theories to recover from unexpected observations (2021)
  5. Bliem, Bernhard; Morak, Michael; Moldovan, Marius; Woltran, Stefan: The impact of treewidth on grounding and solving of answer set programs (2020)
  6. Cropper, Andrew; Evans, Richard; Law, Mark: Inductive general game playing (2020)
  7. Dodaro, Carmine; Ricca, Francesco: The external interface for extending WASP (2020)
  8. Erdem, Esra; Fidan, Müge; Manlove, David; Prosser, Patrick: A general framework for stable roommates problems using answer set programming (2020)
  9. Erdem, Esra; Herzig, Andreas: Solving gossip problems using answer set programming: an epistemic planning approach (2020)
  10. Gonçalves, Ricardo; Knorr, Matthias; Leite, João; Woltran, Stefan: On the limits of forgetting in answer set programming (2020)
  11. Izmirlioglu, Yusuf; Erdem, Esra: Reasoning about cardinal directions between 3-dimensional extended objects using answer set programming (2020)
  12. Everardo, Flavio; Janhunen, Tomi; Kaminski, Roland; Schaub, Torsten: The return of \textitxorro (2019)
  13. Gao, Tiantian: Knowledge authoring and question answering with KALM (2019)
  14. Kahl, Patrick Thor; Leclerc, Anthony P.; Tran, Son Cao: A parallel memory-efficient epistemic logic program solver: harder, better, faster (2019)
  15. Kain, Tobias; Tompits, Hans: Uhura: an authoring tool for specifying answer-set programs using controlled natural language (2019)
  16. Marcopoulos, Elias; Zhang, Yuanlin: onlineSPARC: a programming environment for answer set programming (2019)
  17. Tekle, K. Tuncay; Liu, Yanhong A.: Extended magic for negation: efficient demand-driven evaluation of stratified Datalog with precise complexity guarantees (2019)
  18. Yuen, Timothy T.; Reyes, Maritza; Zhang, Yuanlin: Introducing computer science to high school students through logic programming (2019)
  19. Chimani, Markus; Hedtke, Ivo; Wiedera, Tilo: Exact algorithms for the maximum planar subgraph problem: new models and experiments (2018)
  20. Gebser, Martin; Kaminski, Roland; Kaufmann, Benjamin; Schaub, Torsten: Multi-shot ASP solving with clingo (2018)

1 2 3 4 next