f2lp
From MaRDI portal
Software:21877
swMATH9898MaRDI QIDQ21877FDOQ21877
Author name not available (Why is that?)
Cited In (9)
- Synonymous theories and knowledge representations in answer set programming
- Formalising the Fisherman's Folly puzzle
- 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
