f2lp
From MaRDI portal
Software:21877
swMATH9898MaRDI QIDQ21877FDOQ21877
Author name not available (Why is that?)
Cited In (9)
- Cplus 2ASP: Computing Action Language ${\cal C}$ + in Answer Set Programming
- Synonymous theories and knowledge representations in answer set programming
- System aspmt2smt: Computing ASPMT Theories by SMT Solvers
- A Tool for Probabilistic Reasoning Based on Logic Programming and First-Order Theories Under Stable Model Semantics
- Formalising the Fisherman's Folly puzzle
- Representing first-order causal theories by logic programs
- Reformulating Action Language $\mathcal{C}$ + in Answer Set Programming
- Representing the language of the causal calculator in answer set programming
- Complexity and compilation of GZ-aggregates in answer set programming
This page was built for software: f2lp
