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

Jörg Pührer

  1. Kara: A System for Visualising and Visual Editing of Interpretations for\n Answer-Set Programs
    2011/09/19 by Christian Kloimüllner, Kloimüllner, Christian, Johannes Oetsch +5 · 1 citation
    Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Graphics (cs.GR) #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Multi-Agent Systems and Negotiation #Programming Languages (cs.PL)