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)

Ähnliche Einträge

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