- 41
- 11
- 7
- 3
- 1
- 1
François Schwarzentruber
64
Documents
Identifiants chercheurs
- francois-schwarzentruber
- 0000-0002-1228-4333
- IdRef : 158488911
Présentation
Publications
- 5
- 5
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 16
- 10
- 8
- 7
- 6
- 5
- 5
- 4
- 4
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 2
- 4
- 6
- 7
- 5
- 4
- 7
- 9
- 5
- 2
- 2
- 2
- 2
- 2
|
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
Communication dans un congrès
hal-04075393v1
|
|
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⟩
Communication dans un congrès
hal-04268823v1
|
|
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⟩
Communication dans un congrès
hal-04380084v1
|
|
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⟩
Communication dans un congrès
hal-03873252v1
|
|
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⟩
Communication dans un congrès
hal-03453911v1
|
|
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⟩
Communication dans un congrès
hal-03453909v1
|
|
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
Communication dans un congrès
hal-03008589v1
|
|
Reachability and Coverage Planning for Connected AgentsIJCAI 2019 - 28th International Joint Conference on Artificial Intelligence, Aug 2019, Macao, China. pp.1-7
Communication dans un congrès
hal-02349475v1
|
Reachability Games in Dynamic Epistemic Logicthe Twenty-Eighth International Joint Conference on Artificial Intelligence, Aug 2019, Macao, China
Communication dans un congrès
hal-02533558v1
|
|
|
Reachability and Coverage Planning for Connected AgentsAAMAS 2019 - 18th International Conference on Autonomous Agents and MultiAgent Systems, May 2019, Montreal, Canada. pp.1874-1876
Communication dans un congrès
hal-02349490v1
|
|
Knowledge-Based Policies for Qualitative Decentralized POMDPs32nd AAAI Conference on Artificial Intelligence, Feb 2018, New Orleans, United States
Communication dans un congrès
hal-01646207v1
|
Small undecidable problems in epistemic planningSmall undecidable problems in epistemic planning, Jul 2018, Stockholm, Sweden
Communication dans un congrès
hal-02533481v1
|
|
Deciding the Non-emptiness of Attack Trees5th International Workshop on Graphical Models for Security, Jul 2018, Oxford, United Kingdom
Communication dans un congrès
hal-02533499v1
|
|
Chain-Monadic Second Order Logic over Regular Automatic Trees and Epistemic Planning SynthesisAdvances in Modal Logic 12, Aug 2018, Bern, Switzerland
Communication dans un congrès
hal-02533508v1
|
|
|
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
Communication dans un congrès
hal-01837924v1
|
|
Model checking against arbitrary public announcement logic: A first-order-logic prover approach for the existential fragmentDALI@TABLEAUX, 2017, Brasília, Brazil
Communication dans un congrès
hal-02534021v1
|
|
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⟩
Communication dans un congrès
hal-02319717v1
|
|
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
Communication dans un congrès
hal-01530163v1
|
|
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
Communication dans un congrès
hal-04109521v1
|
|
Arbitrary Announcements in Propositional Belief RevisionDARe@IJCAI, 2015, Buenos Aires, Argentina
Communication dans un congrès
hal-02534088v1
|
|
Games with Communication: from Belief to Preference ChangePrinciples and Practice of Multi-Agent Systems (PRIMA 2015), Oct 2015, Bertinoro, Italy
Communication dans un congrès
hal-01194398v1
|
|
Tableaux for non-normal public announcement logicIndian Conference on Logic and Its Applications, 2015, Mumbai, India
Communication dans un congrès
hal-02534074v1
|
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⟩
Communication dans un congrès
hal-01273555v1
|
|
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
Communication dans un congrès
hal-03246605v1
|
|
|
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
Communication dans un congrès
hal-01113939v1
|
|
STIT is dangerously undecidableECAI, 2014, Prague, Czech Republic. ⟨10.3233/978-1-61499-419-0-1093⟩
Communication dans un congrès
hal-02534277v1
|
|
Drawing Euler diagrams from region connection calculus specifications with local searchJELIA, 2014, Funchal (Madeira), Portugal
Communication dans un congrès
hal-02534278v1
|
|
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
Communication dans un congrès
hal-01146747v1
|
|
Epistemic Probability Logic SimplifiedAdvances in Modal Logic, 2014, Groningen, Netherlands
Communication dans un congrès
hal-02534272v1
|
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⟩
Communication dans un congrès
hal-01273560v1
|
|
|
Generalized DEL-sequentsJELIA - Logics in Artificial Intelligence - 2012, Sep 2013, Toulouse, France
Communication dans un congrès
hal-00856472v1
|
|
On the Complexity of Dynamic Epistemic LogicTARK - Theoretical Aspects of Rationality and Knowledge - 2013, Jan 2013, Chennai, India
Communication dans un congrès
hal-00856468v1
|
|
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⟩
Communication dans un congrès
hal-01187760v1
|
|
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
Communication dans un congrès
hal-01141938v2
|
|
Tableau method and NEXPTIME-Completeness of DEL-SequentsMethods for Modalities (M4M), Nov 2011, Sevilla, Spain
Communication dans un congrès
inria-00627642v2
|
|
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
Communication dans un congrès
hal-03671744v1
|
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⟩
Communication dans un congrès
hal-03474460v1
|
|
Properties of logics of individual and group agency7th Conference on Advances in Modal Logic (AIML 2008), Sep 2008, Nancy, France. pp.133-149
Communication dans un congrès
hal-03526736v1
|
|
Conférence Nationale d'Intelligence Artificielle Année 2022Association Française d'Intelligence Artificielle, pp.1-239, 2022
Ouvrages
hal-03777860v2
|
|
Conférence Nationale d'Intelligence Artificielle Année 2018Association Française d'Intelligence Artificielle, 2018
Ouvrages
hal-02189744v1
|
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⟩
Ouvrages
hal-03220769v1
|
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
Chapitre d'ouvrage
hal-03526733v1
|
|
Hintikka's World: Scalable Higher-order Knowledge2019, pp.6494-6496
Autre publication scientifique
hal-03664506v1
|
Dynamic Epistemic Logic Games with Epistemic Temporal Goals2020
Pré-publication, Document de travail
hal-02533766v1
|
|
A Succinct Language for Dynamic Epistemic Logic (long version)[Research Report] Irisa; Ens Rennes. 2017
Rapport
hal-01487001v1
|
|
On the Impact of Modal Depth in Epistemic Planning (Extended Version)[Research Report] IRISA, équipe LogicA. 2016
Rapport
hal-01315107v1
|
Big Brother Logic: Logical modeling and reasoning about agents equipped with surveillance cameras in the plane (Long Version)[Rapport de recherche] IRIT. 2014
Rapport
hal-03220765v1
|
|
|
Generalized DEL-sequents[Research Report] RR-8012, INRIA. 2012, pp.23
Rapport
hal-00716074v1
|
|
On the Complexity of Dynamic Epistemic Logic (Extended Version)[Research Report] RR-8164, INRIA. 2012
Rapport
hal-00759544v1
|
|
Voir, savoir, faire : une étude de cas en logique modaleModélisation et simulation. Université Paul Sabatier - Toulouse III, 2010. Français. ⟨NNT : ⟩
Thèse
tel-00609903v1
|
|
Kit de survie - LogiqueMaster. France. 2019, pp.1-72
Cours
cel-01995410v1
|
|
Kit de survie - CalculabilitéMaster. France. 2018
Cours
cel-01947220v1
|