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

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

1 2 3 4 next

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

1 2 3 4 next