Gaggl, Sarah Alice
- 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)
- IASCAR: Incremental Answer Set Counting by Anytime Refinement
2023/11/13 by Johannes K. Fichte, Sarah Alice Gaggl, Fichte, Johannes K. +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