swMATH9898MaRDI QIDQ21877FDOQ21877
Author name not available (Why is that?)
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
