Putting Perspective into OWL [sic]: Complexity-Neutral Standpoint Reasoning for Ontology Languages via Monodic S5 over Counting Two-Variable First-Order Logic (Extended Version with Appendix)

Documenti analoghi

• Extending Defeasibility for Propositional Standpoint Logics
  di: Leisegang, Nicholas, et al.
  Pubblicazione: (2025)
• Complexity of Weighted First-Order Model Counting in the Two-Variable Fragment with Counting Quantifiers: A Bound to Beat
  di: Tóth, Jan, et al.
  Pubblicazione: (2024)
• On Knowledge Compilation For Two-Variable First-Order Logic
  di: Meng, Qiaolan, et al.
  Pubblicazione: (2026)
• A General Automata Model for First-Order Temporal Logics (Extended Version)
  di: Geatti, Luca, et al.
  Pubblicazione: (2024)
• Tableaux for Automated Reasoning in Dependently-Typed Higher-Order Logic (Extended Version)
  di: Niederhauser, Johannes, et al.
  Pubblicazione: (2024)