International Joint Conference on Artificial Intelligence
Twenty-Second International Joint Conference on Artificial Intelligence
Reading Tools
A Dynamic Logic of...
Herzig, Lorini, Moisan, Troquard
Search conference