Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Nicolas Troquard
Map detail
Nicolas Troquard8 visible / 8 total nodes / 7 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipNicolas TroquardANicolas TroquardResearcherIndividual Resource Games and Resource RedistributionsWIndividual Resource Gam...preprint / 2020Reasoning about Social Choice FunctionsWReasoning about Social ...preprint / 2011Non-normal modalities in variants of Linear LogicWNon-normal modalities i...preprint / 2015Rational Verification in Iterated Electric Boolean GamesWRational Verification i...preprint / 2016Alternative axiomatics and complexity of deliberative STIT theoriesWAlternative axiomatics ...preprint / 2007DL-PA and DCL-PC: model checking and satisfiability problem are indeed in PSPACEWDL-PA and DCL-PC: model...preprint / 2014Careful Autonomous Agents in Environments With Multiple Common ResourcesWCareful Autonomous Agen...preprint / 2022
Person7 links

Nicolas Troquard

Researcher