ASPMT2SMT

swMATH13280MaRDI QIDQ25195FDOQ25195

Author name not available (Why is that?)

Described by source

• System aspmt2smt: Computing ASPMT Theories by SMT Solvers

Cited In (4)

• Non-monotonic spatial reasoning with answer set programming modulo theories
• Partial Compilation of ASP Programs
• First-order stable model semantics with intensional functions
• The External Interface for Extending WASP

This page was built for software: ASPMT2SMT