Found: 9
Select item for more details and to access through your institution.
How to leverage intelligent agents and complex event processing to improve patient monitoring.
- Published in:
- Journal of Logic & Computation, 2023, v. 33, n. 4, p. 900, doi. 10.1093/logcom/exad016
- By:
- Publication type:
- Article
Sustainable goal-oriented smart environments: a declarative programming approach.
- Published in:
- Journal of Logic & Computation, 2023, v. 33, n. 4, p. 864, doi. 10.1093/logcom/exad015
- By:
- Publication type:
- Article
Reconciling transparency, low Δ<sub>0</sub>-complexity and axiomatic weakness in undecidability proofs.
- Published in:
- Journal of Logic & Computation, 2023, v. 33, n. 4, p. 738, doi. 10.1093/logcom/exad010
- By:
- Publication type:
- Article
A sequent calculus for first-order logic formalized in Isabelle/HOL.
- Published in:
- Journal of Logic & Computation, 2023, v. 33, n. 4, p. 818, doi. 10.1093/logcom/exad013
- By:
- Publication type:
- Article
Incrementally predictive runtime verification.
- Published in:
- Journal of Logic & Computation, 2023, v. 33, n. 4, p. 796, doi. 10.1093/logcom/exad012
- By:
- Publication type:
- Article
A formal, diagrammatic, and operational study of normative relations.
- Published in:
- Journal of Logic & Computation, 2023, v. 33, n. 4, p. 764, doi. 10.1093/logcom/exad011
- By:
- Publication type:
- Article
Rescheduling rehabilitation sessions with answer set programming.
- Published in:
- Journal of Logic & Computation, 2023, v. 33, n. 4, p. 837, doi. 10.1093/logcom/exad014
- By:
- Publication type:
- Article
Timed concurrent language for argumentation with maximum parallelism.
- Published in:
- Journal of Logic & Computation, 2023, v. 33, n. 4, p. 712, doi. 10.1093/logcom/exad009
- By:
- Publication type:
- Article
Special issue for the 36th Italian Conference on Computational Logic (CILC 2021).
- Published in:
- Journal of Logic & Computation, 2023, v. 33, n. 4, p. 709, doi. 10.1093/logcom/exad008
- By:
- Publication type:
- Article