Antonius Weinzierl
- Advancing Lazy-Grounding ASP Solving Techniques -- Restarts, Phase\n Saving, Heuristics, and More
2020/08/08 by Antonius Weinzierl, Weinzierl, Antonius, Richard Taupe +3 · 3 citations
Computer Science · #Artificial Intelligence (cs.AI) #F.4.1 #FOS: Computer and information sciences #I.2.3 #I.2.4 #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Multi-Agent Systems and Negotiation