Cplus2ASP
From MaRDI portal
Software:21876
No author found.
Related Items (4)
System aspmt2smt: Computing ASPMT Theories by SMT Solvers ⋮ Reasoning about actions with \(\mathcal{EL}\) ontologies and temporal answer sets for DLTL ⋮ Unnamed Item ⋮ Cplus 2ASP: Computing Action Language ${\cal C}$ + in Answer Set Programming
This page was built for software: Cplus2ASP
