Works matching IS 14710684 AND DT 2024 AND VI 24 AND IP 5
Results: 5
Generating Global and Local Explanations for Tree-Ensemble Learning Methods by Answer Set Programming.
- Published in:
- Theory & Practice of Logic Programming, 2024, v. 24, n. 5, p. 973, doi. 10.1017/S1471068424000401
- By:
- Publication type:
- Article
Historical Review of Variants of Informal Semantics for Logic Programs under Answer Set Semantics: GL'88, GL'91, GK'14, D-V'12.
- Published in:
- Theory & Practice of Logic Programming, 2024, v. 24, n. 5, p. 1031, doi. 10.1017/S1471068424000218
- By:
- Publication type:
- Article
Combining Type Checking and Set Constraint Solving to Improve Automated Software Verification.
- Published in:
- Theory & Practice of Logic Programming, 2024, v. 24, n. 5, p. 1011, doi. 10.1017/S1471068424000206
- By:
- Publication type:
- Article
Optimal Matching for Sharing and Linearity Analysis.
- Published in:
- Theory & Practice of Logic Programming, 2024, v. 24, n. 5, p. 1051, doi. 10.1017/S1471068424000152
- By:
- Publication type:
- Article
Locally Tight Programs.
- Published in:
- Theory & Practice of Logic Programming, 2024, v. 24, n. 5, p. 942, doi. 10.1017/S147106842300039X
- By:
- Publication type:
- Article