f2lp
From MaRDI portal
Software:21877
No author found.
Related Items (9)
Reformulating Action Language $\mathcal{C}$ + in Answer Set Programming ⋮ Representing first-order causal theories by logic programs ⋮ System aspmt2smt: Computing ASPMT Theories by SMT Solvers ⋮ Complexity and compilation of GZ-aggregates in answer set programming ⋮ Synonymous theories and knowledge representations in answer set programming ⋮ Formalising the Fisherman's Folly puzzle ⋮ Unnamed Item ⋮ A Tool for Probabilistic Reasoning Based on Logic Programming and First-Order Theories Under Stable Model Semantics ⋮ Cplus 2ASP: Computing Action Language ${\cal C}$ + in Answer Set Programming
This page was built for software: f2lp
