Propositional Logics for the Reasoning about Knowledge Integrations.

Sebastian Bab

Browse the full ICAART paper archive.