Benjamin Kaufmann

1. Multi-shot ASP solving with clingo
   2017/05/27 by Martin Gebser, Gebser, Martin, Roland Kaminski +5 · 30 citations
   Computer Science · #Artificial Intelligence (cs.AI) #D.1.6 #FOS: Computer and information sciences #cs.AI
2. Clingo = ASP + Control: Preliminary Report
   2014/05/14 by Martin Gebser, Gebser, Martin, Roland Kaminski +5 · 8 citations
   Computer Science · #FOS: Computer and information sciences #Programming Languages (cs.PL) #cs.PL
3. Clingcon: The Next Generation
   2017/05/12 by Mutsunori Banbara, Benjamin Kaufmann, Banbara, Mutsunori +5 · 5 citations
   Computer Science · #Artificial Intelligence (cs.AI) #Constraint Satisfaction and Optimization #FOS: Computer and information sciences #Logic, Reasoning, and Knowledge #Multi-Agent Systems and Negotiation #cs.AI