Volume: Vol-3799 ICLP-WS 2024 | Year: 2024

Paper: « paper2ASPOCP | paper3ASPOCP | short4ASPOCP »

Adapting Approximation Fixpoint Theory to Nondeterministic Hybrid Reasoning

• Spencer Killen dblp
• Jia-Huai You ORCID dblp

PDF