Michael Morak
- Answer Set Solving with Bounded Treewidth Revisited
2017/02/09 by Johannes K. Fichte, Fichte, Johannes, Markus Hecher +5 · 2 citations
Computer Science · #Artificial Intelligence (cs.AI) #Computational Complexity (cs.CC) #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Software Testing and Debugging Techniques
- lpopt: A Rule Optimization Tool for Answer Set Programming
2016/08/19 by Manuel Bichler, Bichler, Manuel, Michael Morak +3 · 1 citation
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL) #cs.AI #cs.LO #cs.PL