NTHRYS › PhD Assistance › Formal Methods

Formal Methods

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Epistemic Logic for Knowledge Reasoning

Application of epistemic and dynamic epistemic logics to verify information flow and knowledge evolution in multi-agent systems.