ASPMT2SMT
From MaRDI portal
Software:25195
No author found.
Related Items (4)
Non-monotonic spatial reasoning with answer set programming modulo theories ⋮ Partial Compilation of ASP Programs ⋮ The External Interface for Extending WASP ⋮ First-order stable model semantics with intensional functions
This page was built for software: ASPMT2SMT
