ASPECT: Answer Set rePresentation as vEctor graphiCs in laTex.
- Published in:
- Journal of Logic & Computation, 2024, v. 34, n. 8, p. 1580, doi. 10.1093/logcom/exae042
- By:
- Publication type:
- Article
Works matching IS 0955792X AND DT 2024 AND VI 34 AND IP 8
Results: 8
1
2
Operating room scheduling via answer set programming: Improved encoding and test on real data.
- Published in:
- Journal of Logic & Computation, 2024, v. 34, n. 8, p. 1556, doi. 10.1093/logcom/exae041
- By:
- Publication type:
- Article
3
Classical computation over quantum architectures: From graph encoding to declarative languages compilation.
- Published in:
- Journal of Logic & Computation, 2024, v. 34, n. 8, p. 1526, doi. 10.1093/logcom/exae040
- By:
- Publication type:
- Article
4
Temporal duration-based probabilistic argumentation frameworks.
- Published in:
- Journal of Logic & Computation, 2024, v. 34, n. 8, p. 1399, doi. 10.1093/logcom/exae039
- By:
- Publication type:
- Article
5
Complexity and scalability of defeasible reasoning in many-valued weighted knowledge bases with typicality.
- Published in:
- Journal of Logic & Computation, 2024, v. 34, n. 8, p. 1469, doi. 10.1093/logcom/exae038
- By:
- Publication type:
- Article
6
Sequent calculi and an efficient theorem prover for conditional logics with selection function semantics.
- Published in:
- Journal of Logic & Computation, 2024, v. 34, n. 8, p. 1430, doi. 10.1093/logcom/exae037
- By:
- Publication type:
- Article
7
The XAI system for answer set programming xASP2.
- Published in:
- Journal of Logic & Computation, 2024, v. 34, n. 8, p. 1500, doi. 10.1093/logcom/exae036
- By:
- Publication type:
- Article
8
Advances in Computational Logic (CILC23): Preface.
- Published in:
- Journal of Logic & Computation, 2024, v. 34, n. 8, p. 1397, doi. 10.1093/logcom/exae035
- By:
- Publication type:
- Article