At the Edge of Putnam's Program: Limitative Results For Computable Inductive Logics

Documenti analoghi

• Differentiable Inductive Logic Programming in High-Dimensional Space
  di: Purgał, Stanisław J., et al.
  Pubblicazione: (2022)
• Learning Logic Specifications for Policy Guidance in POMDPs: an Inductive Logic Programming Approach
  di: Meli, Daniele, et al.
  Pubblicazione: (2024)
• GLIDR: Graph-Like Inductive Logic Programming with Differentiable Reasoning
  di: Johnson, Blair, et al.
  Pubblicazione: (2025)
• Deciding Separation Logic with Pointer Arithmetic and Inductive Definitions
  di: Su, Wanyun, et al.
  Pubblicazione: (2024)
• Non-Expansive Fuzzy Coalgebraic Logic
  di: Gebhart, Stefan, et al.
  Pubblicazione: (2025)