François Schwarzentruber
François Schwarzentruber
ENS Rennes
Bestätigte E-Mail-Adresse bei ens-rennes.fr - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Normative multi-agent systems
G Andrighetto, G Governatori, P Noriega, LWN van der Torre
Normative Multi-Agent Systems 4, 2013
1192013
A logic for reasoning about counterfactual emotions
E Lorini, F Schwarzentruber
Artificial Intelligence 175 (3-4), 814-847, 2011
862011
Properties of logics of individual and group agency.
A Herzig, F Schwarzentruber
Advances in modal logic 7, 133-149, 2008
682008
Complexity Results in Epistemic Planning.
T Bolander, MH Jensen, F Schwarzentruber
IJCAI, 2791-2797, 2015
472015
On the complexity of dynamic epistemic logic
G Aucher, F Schwarzentruber
arXiv preprint arXiv:1310.6406, 2013
472013
A modal logic of epistemic games
E Lorini, F Schwarzentruber
Games 1 (4), 478-526, 2010
332010
Epistemic protocols for dynamic gossip
H van Ditmarsch, J van Eijck, P Pardo, R Ramezanian, ...
Journal of Applied Logic 20, 1-31, 2017
292017
Arbitrary public announcement logic with mental programs
T Charrier, F Schwarzentruber
Proceedings of the 2015 International Conference on Autonomous Agents and …, 2015
272015
Epistemic probability logic simplified
J Van Eijck, F Schwarzentruber
Advances in modal logic, 2014
262014
Agents that look at one another
P Balbiani, O Gasquet, F Schwarzentruber
Logic Journal of IGPL 21 (3), 438-467, 2013
252013
Building epistemic logic from observations and public announcements
T Charrier, A Herzig, E Lorini, F Maffre, F Schwarzentruber
Fifteenth International Conference on the Principles of Knowledge …, 2016
232016
On the Impact of Modal Depth in Epistemic Planning.
T Charrier, B Maubert, F Schwarzentruber
IJCAI, 1030-1036, 2016
222016
Kripke’s worlds: An introduction to modal logics via tableaux
O Gasquet, A Herzig, B Said, F Schwarzentruber
Springer Science & Business Media, 2013
192013
Complexity Results of STIT Fragments
F Schwarzentruber
Studia logica 100 (5), 1001-1045, 2012
192012
Dynamic gossip
H van Ditmarsch, J van Eijck, P Pardo, R Ramezanian, ...
Bulletin of the Iranian Mathematical Society 45 (3), 701-728, 2019
182019
Announcements to attentive agents
T Bolander, H Van Ditmarsch, A Herzig, E Lorini, P Pardo, ...
Journal of Logic, Language and Information 25 (1), 1-35, 2016
182016
DL-PA and DCL-PC: model checking and satisfiability problem are indeed in PSPACE
P Balbiani, A Herzig, F Schwarzentruber, N Troquard
arXiv preprint arXiv:1411.7825, 2014
172014
Coalition games over Kripke semantics: expressiveness and complexity
P Balbiani, O Gasquet, A Herzig, F Schwarzentruber, N Troquard
Festschrift in Honour of Shahid Rahman. College Publications, 2008
172008
A Succinct Language for Dynamic Epistemic Logic.
T Charrier, F Schwarzentruber
AAMAS, 123-131, 2017
162017
Generalized DEL-sequents
G Aucher, B Maubert, F Schwarzentruber
European Workshop on Logics in Artificial Intelligence, 54-66, 2012
152012
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20