Works matching IS 13670751 AND DT 2021 AND VI 29 AND IP 1
Results: 6
Solving Highly Cyclic Distributed Optimization Problems Without Busting the Bank: A Decimation-based Approach.
- Published in:
- Logic Journal of the IGPL, 2021, v. 29, n. 1, p. 72, doi. 10.1093/jigpal/jzaa069
- By:
- Publication type:
- Article
Special issue on logics and artificial intelligence.
- Published in:
- Logic Journal of the IGPL, 2021, v. 29, n. 1, p. 1, doi. 10.1093/jigpal/jzz080
- By:
- Publication type:
- Article
The logical style painting classifier based on Horn clauses and explanations (ℓ-SHE).
- Published in:
- Logic Journal of the IGPL, 2021, v. 29, n. 1, p. 96, doi. 10.1093/jigpal/jzz029
- By:
- Publication type:
- Article
A resolution calculus for MinSAT.
- Published in:
- Logic Journal of the IGPL, 2021, v. 29, n. 1, p. 28, doi. 10.1093/jigpal/jzz028
- By:
- Publication type:
- Article
Relaxing non-interference requirements in parallel plans.
- Published in:
- Logic Journal of the IGPL, 2021, v. 29, n. 1, p. 45, doi. 10.1093/jigpal/jzz026
- By:
- Publication type:
- Article
Clause tableaux for maximum and minimum satisfiability.
- Published in:
- Logic Journal of the IGPL, 2021, v. 29, n. 1, p. 7, doi. 10.1093/jigpal/jzz025
- By:
- Publication type:
- Article