Cplus2ASP

swMATH9897MaRDI QIDQ21876FDOQ21876

Author name not available (Why is that?)

Cited In (4)

• Cplus 2ASP: Computing Action Language ${\cal C}$ + in Answer Set Programming
• System aspmt2smt: Computing ASPMT Theories by SMT Solvers
• Reasoning about actions with \(\mathcal{EL}\) ontologies and temporal answer sets for DLTL
• Representing the language of the causal calculator in answer set programming

This page was built for software: Cplus2ASP