{"labels":{"en":"Integrating SMT solvers into Goal-Directed Answer Set Programming, Challenges and Directions"},"descriptions":{"en":"scientific paper published in CEUR-WS Volume 3799"},"claims":{"P31":"Q13442814","P1433":"Q131010048","P1476":{"text":"Integrating SMT solvers into Goal-Directed Answer Set Programming, Challenges and Directions","language":"en"},"P407":"Q1860","P953":"https://ceur-ws.org/Vol-3799/short8GDE24.pdf","P50":[],"P2093":[{"value":"Sarat Chandra Varanasi","qualifiers":{"P1545":"1"}},{"value":"Baoluo Meng","qualifiers":{"P1545":"2"}}]}}