The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "François Schwarzentruber" ( http://dblp.L3S.de/Authors/François_Schwarzentruber )

URL (Homepage):  https://orcid.org/0000-0002-1228-4333  Author page on DBLP  Author page in RDF  Community of François Schwarzentruber in ASPL-2

Publication years (Num. hits)
2008-2011 (15) 2012-2014 (19) 2015-2016 (15) 2017-2018 (17) 2019 (9)
Publication types (Num. hits)
article(23) book(1) incollection(1) inproceedings(48) phdthesis(1) proceedings(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 76 publication records. Showing 75 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Sophia Knight, Bastien Maubert, François Schwarzentruber Reasoning about knowledge and messages in asynchronous multi-agent systems. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Tristan Charrier, Arthur Queffelec, Ocan Sankur, François Schwarzentruber Reachability and Coverage Planning for Connected Agents: Extended Version. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1François Schwarzentruber The Complexity of Tiling Problems. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Abdallah Saffidine, Sébastien Lê Cong, Sophie Pinchinat, François Schwarzentruber The Packed Interval Covering Problem is NP-complete. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Bastien Maubert, Sophie Pinchinat, François Schwarzentruber Reachability Games in Dynamic Epistemic Logic. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Tristan Charrier, Sébastien Gamblin, Alexandre Niveau, François Schwarzentruber Hintikka's World: Scalable Higher-order Knowledge. Search on Bibsonomy IJCAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Bastien Maubert, Sophie Pinchinat, François Schwarzentruber Reachability Games in Dynamic Epistemic Logic. Search on Bibsonomy IJCAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Tristan Charrier, Arthur Queffelec, Ocan Sankur, François Schwarzentruber Reachability and Coverage Planning for Connected Agents. Search on Bibsonomy IJCAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Tristan Charrier, Arthur Queffelec, Ocan Sankur, François Schwarzentruber Reachability and Coverage Planning for Connected Agents. Search on Bibsonomy AAMAS The full citation details ... 2019 DBLP  BibTeX  RDF
1Tristan Charrier, François Schwarzentruber, Eva Soulier Dynamic Connected Cooperative Coverage Problem. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Jérôme Euzenat, François Schwarzentruber (eds.) Actes de la Conférence Nationale d'Intelligence Artificielle et Rencontres des Jeunes Chercheurs en Intelligence Artificielle (CNIA+RJCIA 2018), Nancy, France, 4-6 Juillet 2018. Search on Bibsonomy CNIA+RJCIA The full citation details ... 2018 DBLP  BibTeX  RDF
1Abdallah Saffidine, François Schwarzentruber, Bruno Zanuttini Knowledge-Based Policies for Qualitative Decentralized POMDPs. Search on Bibsonomy AAAI The full citation details ... 2018 DBLP  BibTeX  RDF
1Tristan Charrier, François Schwarzentruber Complexity of Dynamic Epistemic Logic with Common Knowledge. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2018 DBLP  BibTeX  RDF
1Gaëtan Douéneau-Tabot, Sophie Pinchinat, François Schwarzentruber Chain-Monadic Second Order Logic over Regular Automatic Trees and Epistemic Planning Synthesis. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2018 DBLP  BibTeX  RDF
1Maxime Audinot, Sophie Pinchinat, François Schwarzentruber, Florence Wacheux Deciding the Non-emptiness of Attack Trees. Search on Bibsonomy GraMSec@FLoC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sébastien Lê Cong, Sophie Pinchinat, François Schwarzentruber Small Undecidable Problems in Epistemic Planning. Search on Bibsonomy IJCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1François Schwarzentruber Hintikka's World: Agents with Higher-order Knowledge. Search on Bibsonomy IJCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1François Bodin, Tristan Charrier, Arthur Queffelec, François Schwarzentruber Generating Plans for Cooperative Connected UAVs. Search on Bibsonomy IJCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sophie Pinchinat, François Schwarzentruber Preface. Search on Bibsonomy FLAP The full citation details ... 2017 DBLP  BibTeX  RDF
1Hans van Ditmarsch, Jan van Eijck, Pere Pardo, Rahim Ramezanian, François Schwarzentruber Epistemic protocols for dynamic gossip. Search on Bibsonomy J. Applied Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Carlos Areces, Hans van Ditmarsch, Raul Fervari, François Schwarzentruber The modal logic of copy and remove. Search on Bibsonomy Inf. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Tristan Charrier, Sophie Pinchinat, François Schwarzentruber Model Checking Against Arbitrary Public Announcement Logic: A First-Order-Logic Prover Approach for the Existential Fragment. Search on Bibsonomy DALI@TABLEAUX The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Davide Grossi, Emiliano Lorini, François Schwarzentruber The Ceteris Paribus Structure of Logics of Game Forms (Extended Abstract). Search on Bibsonomy IJCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Aaron Hunter, François Schwarzentruber, Eric Tsang Belief Manipulation Through Propositional Announcements. Search on Bibsonomy IJCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Emiliano Lorini, François Schwarzentruber A Path in the Jungle of Logics for Multi-agent System: On the Relation between General Game-playing Logics and Seeing-to-it-that Logics. Search on Bibsonomy AAMAS The full citation details ... 2017 DBLP  BibTeX  RDF
1Tristan Charrier, François Schwarzentruber A Succinct Language for Dynamic Epistemic Logic. Search on Bibsonomy AAMAS The full citation details ... 2017 DBLP  BibTeX  RDF
1Olivier Gasquet, Valentin Goranko, François Schwarzentruber Big Brother Logic: visual-epistemic reasoning in stationary multi-agent systems. Search on Bibsonomy Autonomous Agents and Multi-Agent Systems The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Thomas Bolander, Hans van Ditmarsch, Andreas Herzig, Emiliano Lorini, Pere Pardo, François Schwarzentruber Announcements to Attentive Agents. Search on Bibsonomy Journal of Logic, Language and Information The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Tristan Charrier, Andreas Herzig, Emiliano Lorini, Faustine Maffre, François Schwarzentruber Building Epistemic Logic from Observations and Public Announcements. Search on Bibsonomy KR The full citation details ... 2016 DBLP  BibTeX  RDF
1Tristan Charrier, Bastien Maubert, François Schwarzentruber On the Impact of Modal Depth in Epistemic Planning. Search on Bibsonomy IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Andreas Herzig, Emiliano Lorini, Faustine Maffre, François Schwarzentruber Epistemic Boolean Games Based on a Logic of Visibility and Control. Search on Bibsonomy IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1François Schwarzentruber A Tool for Generating Interactive Euler Diagrams. Search on Bibsonomy IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Davide Grossi, Emiliano Lorini, François Schwarzentruber The Ceteris Paribus Structure of Logics of Game Forms. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Hans van Ditmarsch, Jan van Eijck, Pere Pardo, Rahim Ramezanian, François Schwarzentruber Dynamic Gossip. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1François Schwarzentruber Drawing Interactive Euler Diagrams from Region Connection Calculus Specifications. Search on Bibsonomy Journal of Logic, Language and Information The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Minghui Ma, Katsuhiko Sano, François Schwarzentruber, Fernando R. Velázquez-Quesada Tableaux for Non-normal Public Announcement Logic. Search on Bibsonomy ICLA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Sophia Knight, Bastien Maubert, François Schwarzentruber Asynchronous Announcements in a Public Channel. Search on Bibsonomy ICTAC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Guillaume Aucher, Bastien Maubert, Sophie Pinchinat, François Schwarzentruber Games with Communication: From Belief to Preference Change. Search on Bibsonomy PRIMA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Thomas Bolander, Martin Holm Jensen, François Schwarzentruber Complexity Results in Epistemic Planning. Search on Bibsonomy IJCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Aaron Hunter, François Schwarzentruber Arbitrary Announcements in Propositional Belief Revision. Search on Bibsonomy DARe@IJCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Tristan Charrier, François Schwarzentruber Arbitrary Public Announcement Logic with Mental Programs. Search on Bibsonomy AAMAS The full citation details ... 2015 DBLP  BibTeX  RDF
1Philippe Balbiani, Andreas Herzig, François Schwarzentruber, Nicolas Troquard DL-PA and DCL-PC: model checking and satisfiability problem are indeed in PSPACE. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Olivier Gasquet, Andreas Herzig, Bilal Said, François Schwarzentruber Kripke's Worlds - An Introduction to Modal Logics via Tableaux. Search on Bibsonomy 2014   DOI  RDF
1Carlos Areces, Hans van Ditmarsch, Raul Fervari, François Schwarzentruber Logics with Copy and Remove. Search on Bibsonomy WoLLIC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1François Schwarzentruber, Caroline Semmling STIT is dangerously undecidable. Search on Bibsonomy ECAI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Jan van Eijck, François Schwarzentruber Epistemic Probability Logic Simplified. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2014 DBLP  BibTeX  RDF
1François Schwarzentruber, Jin-Kao Hao Drawing Euler Diagrams from Region Connection Calculus Specifications with Local Search. Search on Bibsonomy JELIA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Andreas Herzig, Pilar Pozos Parra, François Schwarzentruber Belief Merging in Dynamic Logic of Propositional Assignments. Search on Bibsonomy FoIKS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Tristan Charrier, Florent Ouchet, François Schwarzentruber Big brother logic: reasoning about agents equipped with surveillance cameras in the plane (demonstration). Search on Bibsonomy AAMAS The full citation details ... 2014 DBLP  BibTeX  RDF
1Olivier Gasquet, Valentin Goranko, François Schwarzentruber Big brother logic: logical modeling and reasoning about agents equipped with surveillance cameras in the plane. Search on Bibsonomy AAMAS The full citation details ... 2014 DBLP  BibTeX  RDF
1Guillaume Aucher, François Schwarzentruber On the Complexity of Dynamic Epistemic Logic. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Davide Grossi, Emiliano Lorini, François Schwarzentruber Ceteris Paribus Structure in Logics of Game Forms. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Philippe Balbiani, Olivier Gasquet, François Schwarzentruber Agents that look at one another. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Hans van Ditmarsch, Andreas Herzig, Emiliano Lorini, François Schwarzentruber Listen to Me! Public Announcements to Agents That Pay Attention - or Not. Search on Bibsonomy LORI The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Jan M. Broersen, Stephen Cranefield, Yehia Elrakaiby, Dov M. Gabbay, Davide Grossi, Emiliano Lorini, Xavier Parent, Leendert W. N. van der Torre, Luca Tummolini, Paolo Turrini, François Schwarzentruber Normative Reasoning and Consequence. Search on Bibsonomy Normative Multi-Agent Systems The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Guillaume Aucher, François Schwarzentruber On the Complexity of Dynamic Epistemic Logic. Search on Bibsonomy TARK The full citation details ... 2013 DBLP  BibTeX  RDF
1Davide Grossi, Emiliano Lorini, François Schwarzentruber Ceteris Paribus Structure in Logics of Game Forms. Search on Bibsonomy TARK The full citation details ... 2013 DBLP  BibTeX  RDF
1François Schwarzentruber Complexity Results of STIT Fragments. Search on Bibsonomy Studia Logica The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1François Schwarzentruber, Srdjan Vesic, Tjitze Rienstra Building an Epistemic Logic for Argumentation. Search on Bibsonomy JELIA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Guillaume Aucher, Bastien Maubert, François Schwarzentruber Generalized DEL-Sequents. Search on Bibsonomy JELIA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1François Schwarzentruber LotrecScheme. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Guillaume Aucher, Bastien Maubert, François Schwarzentruber Tableau Method and NEXPTIME-Completeness of DEL-Sequents. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Emiliano Lorini, François Schwarzentruber A logic for reasoning about counterfactual emotions. Search on Bibsonomy Artif. Intell. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1François Schwarzentruber Seeing, Knowledge and Common Knowledge. Search on Bibsonomy LORI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Olivier Gasquet, François Schwarzentruber, Martin Strecker Satoulouse: The Computational Power of Propositional Logic Shown to Beginners. Search on Bibsonomy TICTTL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Olivier Gasquet, François Schwarzentruber, Martin Strecker Panda: A Proof Assistant in Natural Deduction for All. A Gentzen Style Proof Assistant for Undergraduate Students. Search on Bibsonomy TICTTL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Olivier Gasquet, François Schwarzentruber Concrete Epistemic Modal Logic: Flatland. Search on Bibsonomy TICTTL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Emiliano Lorini, François Schwarzentruber A Modal Logic of Epistemic Games. Search on Bibsonomy Games The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Olivier Gasquet, François Schwarzentruber Knowledge in lineland. Search on Bibsonomy AAMAS The full citation details ... 2010 DBLP  BibTeX  RDF
1François Schwarzentruber Voir, savoir, faire : une étude de cas en logique modale. (Seeing, knowing, doing: case studies in modal logic). Search on Bibsonomy 2010   RDF
1Emiliano Lorini, François Schwarzentruber, Andreas Herzig Epistemic Games in Modal Logic: Joint Actions, Knowledge and Preferences All Together. Search on Bibsonomy LORI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Emiliano Lorini, François Schwarzentruber, Andreas Herzig Epistemic Games in Modal Logic: Joint Actions, Knowledge and Preferences all together. Search on Bibsonomy Information processing, rational belief change and social interaction The full citation details ... 2009 DBLP  BibTeX  RDF
1Emiliano Lorini, François Schwarzentruber A Logic for Reasoning about Counterfactual Emotions. Search on Bibsonomy IJCAI The full citation details ... 2009 DBLP  BibTeX  RDF
1François Schwarzentruber Knowledge about Lights along a Line. Search on Bibsonomy MALLOW The full citation details ... 2009 DBLP  BibTeX  RDF
1Andreas Herzig, François Schwarzentruber Properties of logics of individual and group agency. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2008 DBLP  BibTeX  RDF
Displaying result #1 - #75 of 75 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license