Probabilistic Answer Set Programming with Discrete and Continuous Random Variables.
- Published in:
- Theory & Practice of Logic Programming, 2025, v. 25, n. 1, p. 1, doi. 10.1017/S1471068424000437
- By:
- Publication type:
- Article
Works matching IS 14710684 AND DT 2025 AND VI 25 AND IP 1
Results: 4
1
2
Direct Encoding of Declare Constraints in ASP.
- Published in:
- Theory & Practice of Logic Programming, 2025, v. 25, n. 1, p. 92, doi. 10.1017/S1471068424000486
- By:
- Publication type:
- Article
3
Solving Decision Theory Problems with Probabilistic Answer Set Programming.
- Published in:
- Theory & Practice of Logic Programming, 2025, v. 25, n. 1, p. 33, doi. 10.1017/S1471068424000474
- By:
- Publication type:
- Article
4
Catamorphic Abstractions for Constrained Horn Clause Satisfiability.
- Published in:
- Theory & Practice of Logic Programming, 2025, v. 25, n. 1, p. 64, doi. 10.1017/S147106842400019X
- By:
- Publication type:
- Article