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

Rusovac, Dominik

  1. Rushing and Strolling among Answer Sets -- Navigation Made Easy
    2021/12/14 by Fichte, Johannes K., Gaggl, Sarah Alice, Rusovac, Dominik · 3 citations
    #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
  2. IASCAR: Incremental Answer Set Counting by Anytime Refinement
    2023/11/13 by Johannes K. Fichte, Fichte, Johannes K., Sarah Alice Gaggl +5 · 1 citation
    Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Multi-Agent Systems and Negotiation #Natural Language Processing Techniques