Conformance Checking of Fuzzy Logs against Declarative Temporal Specifications

Documenti analoghi

• A convergence law for continuous logic and continuous structures with finite domains
  di: Koponen, Vera
  Pubblicazione: (2025)
• On the relative asymptotic expressivity of inference frameworks
  di: Koponen, Vera, et al.
  Pubblicazione: (2022)
• Encoding Argumentation Frameworks to Propositional Logic Systems
  di: Tang, Shuai, et al.
  Pubblicazione: (2025)
• An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic
  di: Martina, Antoine, et al.
  Pubblicazione: (2023)
• Encoding argumentation frameworks with set attackers to propositional logic systems
  di: Tang, Shuai, et al.
  Pubblicazione: (2025)