vix.ing · top · new · best · stats · spec

Manuel Bichler

  1. 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