François Schwarzentruber
Présentation
Domaines de recherche
Publications
Publications
|
|
A Computationally Grounded Framework for Cognitive AttitudesThirty-Ninth AAAI Conference on Artificial Intelligence and Thirty-Seventh (AAAI-25), Feb 2025, Philadelphia, United States. pp.14858-14866, ⟨10.1609/aaai.v39i14.33629⟩ |
|
|
An Efficient Modular Algorithm for Connected Multi-Agent Path FindingECAI 2024 - 27th European Conference on Artificial Intelligence, Oct 2024, Santiago de Compostela, Spain. pp.1-11 |
|
|
Improved Complexity Results and an Efficient Solution for Connected Multi-Agent Path FindingAAMAS 2023 - 22nd International Conference on Autonomous Agents and Multiagent Systems, May 2023, London, United Kingdom. pp.1-9 |
|
|
Base-Based Model Checking for Multi-agent only Believing18th European Conference on Logics in Artificial Intelligence (JELIA 2023), Sep 2023, Dresden, Germany. pp.437-445, ⟨10.1007/978-3-031-43619-2_30⟩ |
|
|
Epistemic Actions: Comparing Multi-agent Belief Bases with Action Models19th International Conference on Principles of Knowledge Representation and Reasoning (KR 2022), Jul 2022, Haifa, Israel. pp.236-246, ⟨10.24963/kr.2022/24⟩ |
|
|
Dependency Matrices for Multiplayer Strategic Dependencies42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2022), Dec 2022, Madras, India. ⟨10.4230/LIPIcs.FSTTCS.2022.31⟩ |
|
|
Multi-Agent Belief Base RevisionThirtieth International Joint Conference on Artificial Intelligence (IJCAI 2021), International Joint Conferences on Artificial Intelligence Organization, Aug 2021, Montreal, Canada. pp.1959-1965, ⟨10.24963/ijcai.2021/270⟩ |
|
|
A Computationally Grounded Logic of Graded Belief17th European Conference on Logics in Artificial Intelligence (JELIA 2021), May 2021, virtual event, France. pp.245-261, ⟨10.1007/978-3-030-75775-5_17⟩ |
|
|
A Logic of Explicit and Implicit Distributed Belief24th European Conference on Artificial Intelligence (ECAI 2020), Intelligent Systems Group (GSI); Research Center on Intelligent Technologies of the University of Santiago de Compostela (CiTIUS), Aug 2020, Santiago de Compostela, Spain. pp.753-760 |
Reachability Games in Dynamic Epistemic Logicthe Twenty-Eighth International Joint Conference on Artificial Intelligence, Aug 2019, Macao, China |
|
|
|
Reachability and Coverage Planning for Connected AgentsIJCAI 2019 - 28th International Joint Conference on Artificial Intelligence, Aug 2019, Macao, China. pp.1-7 |
|
|
Reachability and Coverage Planning for Connected AgentsAAMAS 2019 - 18th International Conference on Autonomous Agents and MultiAgent Systems, May 2019, Montreal, Canada. pp.1874-1876 |
Small undecidable problems in epistemic planningSmall undecidable problems in epistemic planning, Jul 2018, Stockholm, Sweden |
|
|
|
Knowledge-Based Policies for Qualitative Decentralized POMDPs32nd AAAI Conference on Artificial Intelligence, Feb 2018, New Orleans, United States |
Deciding the Non-emptiness of Attack Trees5th International Workshop on Graphical Models for Security, Jul 2018, Oxford, United Kingdom |
|
Chain-Monadic Second Order Logic over Regular Automatic Trees and Epistemic Planning SynthesisAdvances in Modal Logic 12, Aug 2018, Bern, Switzerland |
|
|
|
Premiers pas vers une résolution du problème de satisfaisabilité pour la logique monadique du premier ordre par une reformulation en logique des connaissances subjective mono-agentActes des 12es journées d'intelligence artificielle fondamentale (JIAF 2018), Jun 2018, Amiens, France |
|
|
The Ceteris Paribus Structure of Logics of Game Forms (Extended Abstract)26th International Joint Conference on Artificial Intelligence (IJCAI 2017), Aug 2017, Melbourne, Australia. pp.5000-5004, ⟨10.24963/ijcai.2017/710⟩ |
|
|
Model checking against arbitrary public announcement logic: A first-order-logic prover approach for the existential fragmentDALI@TABLEAUX, 2017, Brasília, Brazil |
|
|
Epistemic boolean games based on a logic of visibility and control25th International Joint Conference on Artificial Intelligence (IJCAI 2016), Jul 2016, New York, United States. pp.1116-1122 |
|
|
Building epistemic logic from observations and public announcements15th International Conference on Principles of Knowledge Representation and Reasoning (KR 2016), co-located with DL 2016 and NMR 2016, Apr 2016, Le Cap, South Africa. pp.268-277 |
|
|
Tableaux for non-normal public announcement logicIndian Conference on Logic and Its Applications, 2015, Mumbai, India |
|
|
Arbitrary Announcements in Propositional Belief RevisionDARe@IJCAI, 2015, Buenos Aires, Argentina |
|
|
Games with Communication: from Belief to Preference ChangePrinciples and Practice of Multi-Agent Systems (PRIMA 2015), Oct 2015, Bertinoro, Italy |
Asynchronous Announcements in a Public ChannelTheoretical Aspects of Computing - ICTAC 2015 - 12th International Colloquium Cali, Colombia, October 29-31, 2015, Proceedings, 2015, Unknown, Unknown Region. pp.272--289, ⟨10.1007/978-3-319-25150-9_17⟩ |
|
|
|
Epistemic Probability Logic SimplifiedAdvances in Modal Logic, 2014, Groningen, Netherlands |
|
|
STIT is dangerously undecidableECAI, 2014, Prague, Czech Republic. ⟨10.3233/978-1-61499-419-0-1093⟩ |
|
|
Drawing Euler diagrams from region connection calculus specifications with local searchJELIA, 2014, Funchal (Madeira), Portugal |
|
|
Belief merging in Dynamic Logic of Propositional AssignmentsInternational Symposium on Foundations of Information and Knowledge Systems - FolKS 2014, Mar 2014, Bordeaux, France. pp. 981-398 |
|
|
Big Brother Logic: Logical modeling and reasoning about agents equipped with surveillance cameras in the planeInternational Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), May 2014, Paris, France. pp. 325-332 |
Big Brother Logic: Logical modeling and reasoning about agents equipped with surveillance cameras in the plane (IDAS 2014)Information Dynamics in Artificial Societies Workshop (IDAS 2014), SINTELNET, the European network for social intelligence, Aug 2014, Tübingen, Allemagne |
|
Logics with Copy and RemoveLogic, Language, Information, and Computation - 21st International Workshop, WoLLIC 2014, Valpara\'ıso, Chile, September 1-4, 2014. Proceedings, 2014, Unknown, Unknown Region. pp.51--65, ⟨10.1007/978-3-662-44145-9_4⟩ |
|
|
|
Listen to me! Public announcements to agents that pay attention - or not4th International Workshop on Logic, Rationality and Interaction (LORI IV), Oct 2013, Hangzhou, China. pp.96-109, ⟨10.1007/978-3-642-40948-6_8⟩ |
|
|
Ceteris Paribus Structure in Logics of Game Forms (2013)Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2013), Jan 2013, Chennai, India. pp.1-11 |
|
|
On the Complexity of Dynamic Epistemic LogicTARK - Theoretical Aspects of Rationality and Knowledge - 2013, Jan 2013, Chennai, India |
|
|
Generalized DEL-sequentsJELIA - Logics in Artificial Intelligence - 2012, Sep 2013, Toulouse, France |
|
|
Tableau method and NEXPTIME-Completeness of DEL-SequentsMethods for Modalities (M4M), Nov 2011, Sevilla, Spain |
|
|
A logic for reasoning about counterfactual emotions (IJCAI 2009)21st International Joint Conference on Artificial Intelligence (IJCAI 2009), The International Joint Conferences on Artificial Intelligence (IJCAI); The Association for the Advancement of Artificial Intelligence (AAAI), Jul 2009, Pasaden, California, France. pp.867-872 |
|
|
Epistemic Games in Modal Logic: Joint Actions, Knowledge and Preferences all togetherSecond International Workshop on Logic, Rationality and Interaction (LORI 2009), Oct 2009, Chongqing, China. pp.212-226, ⟨10.1007/978-3-642-04893-7_17⟩ |
Properties of logics of individual and group agency7th Conference on Advances in Modal Logic (AIML 2008), Sep 2008, Nancy, France. pp.133-149 |
|
|
Conférence Nationale d’Intelligence Artificielle Année 2024Association Française pour l'Intelligence Artificielle, 2024 |
|
|
Conférence Nationale d’Intelligence Artificielle Année 2023Association Française pour l'Intelligence Artificielle, 2023 |
|
|
Conférence Nationale d'Intelligence Artificielle Année 2022Association Française pour l’Intelligence Artificielle, pp.1-239, 2022 |
|
|
Conférence Nationale d'Intelligence Artificielle Année 2018Association Française pour l’Intelligence Artificielle, 2018 |
Kripke's Worlds: An introduction to modal logics via tableauxSpringer-Verlag, pp.XV, 198, 2014, Studies in Universal Logic - Series ISSN: 2297-0282, 978-3-7643-8503-3. ⟨10.1007/978-3-7643-8504-0⟩ |
Coalition games over Kripke semanticsDégremont, Cédric; Keiff, Laurent; Rückert, Helge. Dialogues, Logics and Other Strange Things. Essays in Honour of Shahid Rahman, College Publications, pp.11-32, 2008, 978-1904987130 |
|
|
Hintikka's World: Scalable Higher-order Knowledge2019, pp.6494-6496 |
|
|
Dynamic Epistemic Logic Games with Epistemic Temporal Goals2020 |
|
|
A Succinct Language for Dynamic Epistemic Logic (long version)[Research Report] Irisa; Ens Rennes. 2017 |
|
|
On the Impact of Modal Depth in Epistemic Planning (Extended Version)[Research Report] IRISA, équipe LogicA. 2016 |
Big Brother Logic: Logical modeling and reasoning about agents equipped with surveillance cameras in the plane (Long Version)[Rapport de recherche] IRIT. 2014 |
|
|
|
Generalized DEL-sequents[Research Report] RR-8012, INRIA. 2012, pp.23 |
|
|
On the Complexity of Dynamic Epistemic Logic (Extended Version)[Research Report] RR-8164, INRIA. 2012 |
|
|
Voir, savoir, faire : une étude de cas en logique modaleModélisation et simulation. Université Paul Sabatier - Toulouse III, 2010. Français. ⟨NNT : ⟩ |
|
|
Lecture Notes on Database TheoryMaster. ENS de Lyon, France. 2025 |
|
|
Je ne comprenais rien aux probabilités et aux statistiques mais maintenant ça va mieux !Licence. ENS Rennes, France. 2024 |
|
|
Théorie de la Complexité et ApplicationsMaster. ENS Rennes, France. 2023 |
|
|
Kit de survie - LogiqueMaster. France. 2019, pp.1-72 |
|
|
Kit de survie - CalculabilitéMaster. France. 2018 |