f2lp

MaRDI QIDQ21877swMATHFDO

Official website http://link.springer.com/chapter/10.1007%2F978-3-642-04238-6_51

Cited in

(12)

• Synonymous theories and knowledge representations in answer set programming
• Formalising the Fisherman's Folly puzzle
• Coala
• CCalc
• Cplus2ASP
• Representing first-order causal theories by logic programs
• Reformulating action language \(\mathcal{C}+\) in answer set programming
• Cplus2ASP: computing action language \({\mathcal C}+\) in answer set programming
• Representing the language of the causal calculator in answer set programming
• System \textsc{aspmt2smt}: computing ASPMT theories by SMT solvers
• A tool for probabilistic reasoning based on logic programming and first-order theories under stable model semantics
• Complexity and compilation of GZ-aggregates in answer set programming

This page was built for software: f2lp