Andreas Herzig CNRS Research Director, IRIT (CNRS-UT3) modal logic knowledge representation artificial intelligence multiagent systems automated reasoning Google Scholar Profile
