|
An Efficient Modular Algorithm for Connected Multi-Agent Path Finding
Victorien Desbois
,
Ocan Sankur
,
François Schwarzentruber
ECAI 2024 - 27th European Conference on Artificial Intelligence, Oct 2024, Santiago de Compostela, Spain. pp.1-11
Communication dans un congrès
hal-04650916
v2
|
|
Improved Complexity Results and an Efficient Solution for Connected Multi-Agent Path Finding
Isseïnie Calviac
,
Ocan Sankur
,
François Schwarzentruber
AAMAS 2023 - 22nd International Conference on Autonomous Agents and Multiagent Systems, May 2023, London, United Kingdom. pp.1-9
Communication dans un congrès
hal-04075393
v1
|
|
Base-Based Model Checking for Multi-agent only Believing
Tiago de Lima
,
Emiliano Lorini
,
François Schwarzentruber
Communication dans un congrès
hal-04268823
v1
|
|
Epistemic Actions: Comparing Multi-agent Belief Bases with Action Models
Emiliano Lorini
,
Elise Perrotin
,
François Schwarzentruber
19th 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-03873252
v1
|
|
Dependency Matrices for Multiplayer Strategic Dependencies
Dylan Bellier
,
Sophie Pinchinat
,
François Schwarzentruber
42nd 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-04380084
v1
|
|
Multi-Agent Belief Base Revision
Emiliano Lorini
,
Francois Schwarzentruber
Thirtieth 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-03453911
v1
|
|
A Computationally Grounded Logic of Graded Belief
Emiliano Lorini
,
François Schwarzentruber
17th 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-03453909
v1
|
|
A Logic of Explicit and Implicit Distributed Belief
Andreas Herzig
,
Emiliano Lorini
,
Elise Perrotin
,
Benito Fabian Romero Jimenez
,
François Schwarzentruber
24th 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-03008589
v1
|
|
Reachability and Coverage Planning for Connected Agents
Tristan Charrier
,
Arthur Queffelec
,
Ocan Sankur
,
François Schwarzentruber
AAMAS 2019 - 18th International Conference on Autonomous Agents and MultiAgent Systems, May 2019, Montreal, Canada. pp.1874-1876
Communication dans un congrès
hal-02349490
v1
|
|
Reachability Games in Dynamic Epistemic Logic
Bastien Maubert
,
Sophie Pinchinat
,
François Schwarzentruber
the Twenty-Eighth International Joint Conference on Artificial Intelligence, Aug 2019, Macao, China
Communication dans un congrès
hal-02533558
v1
|
|
Reachability and Coverage Planning for Connected Agents
Tristan Charrier
,
Arthur Queffelec
,
Ocan Sankur
,
François Schwarzentruber
IJCAI 2019 - 28th International Joint Conference on Artificial Intelligence, Aug 2019, Macao, China. pp.1-7
Communication dans un congrès
hal-02349475
v1
|
|
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-agent
Alexandre Niveau
,
François Schwarzentruber
,
Bruno Zanuttini
Actes des 12es journées d'intelligence artificielle fondamentale (JIAF 2018), Jun 2018, Amiens, France
Communication dans un congrès
hal-01837924
v1
|
|
Chain-Monadic Second Order Logic over Regular Automatic Trees and Epistemic Planning Synthesis
François Schwarzentruber
,
Gaetan Gaëtan Douéneau-Tabot
Advances in Modal Logic 12, Aug 2018, Bern, Switzerland
Communication dans un congrès
hal-02533508
v1
|
|
Small undecidable problems in epistemic planning
François Schwarzentruber
,
Sebastien Sébastien Le Công
Small undecidable problems in epistemic planning, Jul 2018, Stockholm, Sweden
Communication dans un congrès
hal-02533481
v1
|
|
Knowledge-Based Policies for Qualitative Decentralized POMDPs
Abdallah Saffidine
,
François Schwarzentruber
,
Bruno Zanuttini
32nd AAAI Conference on Artificial Intelligence, Feb 2018, New Orleans, United States
Communication dans un congrès
hal-01646207
v1
|
|
Deciding the Non-emptiness of Attack Trees
Maxime Audinot
,
François Schwarzentruber
,
Florence Florence Wacheux
5th International Workshop on Graphical Models for Security, Jul 2018, Oxford, United Kingdom
Communication dans un congrès
hal-02533499
v1
|
|
Model checking against arbitrary public announcement logic: A first-order-logic prover approach for the existential fragment
Tristan Charrier
,
Sophie Pinchinat
,
François Schwarzentruber
DALI@TABLEAUX, 2017, Brasília, Brazil
Communication dans un congrès
hal-02534021
v1
|
|
The Ceteris Paribus Structure of Logics of Game Forms (Extended Abstract)
Davide Grossi
,
Emiliano Lorini
,
François Schwarzentruber
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-02319717
v1
|
|
Epistemic boolean games based on a logic of visibility and control
Andreas Herzig
,
Emiliano Lorini
,
Faustine Maffre
,
François Schwarzentruber
25th International Joint Conference on Artificial Intelligence (IJCAI 2016), Jul 2016, New York, United States. pp.1116-1122
Communication dans un congrès
hal-01530163
v1
|
|
Building epistemic logic from observations and public announcements
Tristan Charrier
,
Andreas Herzig
,
Emiliano Lorini
,
Faustine Maffre
,
François Schwarzentruber
15th 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-04109521
v1
|
|
Asynchronous Announcements in a Public Channel
Sophia Knight
,
Bastien Maubert
,
François Schwarzentruber
Theoretical 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-01273555
v1
|
|
Tableaux for non-normal public announcement logic
Minghui Ma
,
Katsuhiko Sano
,
François Schwarzentruber
,
Fernando Velázquez-Quesada
Indian Conference on Logic and Its Applications, 2015, Mumbai, India
Communication dans un congrès
hal-02534074
v1
|
|
Arbitrary Announcements in Propositional Belief Revision
Aaron Hunter
,
François Schwarzentruber
DARe@IJCAI, 2015, Buenos Aires, Argentina
Communication dans un congrès
hal-02534088
v1
|
|
Games with Communication: from Belief to Preference Change
Guillaume Aucher
,
Bastien Maubert
,
Sophie Pinchinat
,
François Schwarzentruber
Principles and Practice of Multi-Agent Systems (PRIMA 2015), Oct 2015, Bertinoro, Italy
Communication dans un congrès
hal-01194398
v1
|
|
Logics with Copy and Remove
Carlos Areces
,
Hans van Ditmarsch
,
Raul Fervari
,
François Schwarzentruber
Logic, 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-01273560
v1
|
|
Epistemic Probability Logic Simplified
Jan van Eijck
,
François Schwarzentruber
Advances in Modal Logic, 2014, Groningen, Netherlands
Communication dans un congrès
hal-02534272
v1
|
|
STIT is dangerously undecidable
François Schwarzentruber
,
Caroline Semmling
Communication dans un congrès
hal-02534277
v1
|
|
Belief merging in Dynamic Logic of Propositional Assignments
Andreas Herzig
,
Pilar Pozos Parra
,
François Schwarzentruber
International Symposium on Foundations of Information and Knowledge Systems - FolKS 2014, Mar 2014, Bordeaux, France. pp. 981-398
Communication dans un congrès
hal-01146747
v1
|
|
Drawing Euler diagrams from region connection calculus specifications with local search
François Schwarzentruber
,
Jin-Kao Hao
JELIA, 2014, Funchal (Madeira), Portugal
Communication dans un congrès
hal-02534278
v1
|
|
Big Brother Logic: Logical modeling and reasoning about agents equipped with surveillance cameras in the plane (IDAS 2014)
Olivier Gasquet
,
Valentin Goranko
,
François Schwarzentruber
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-03246605
v1
|
|
Big Brother Logic: Logical modeling and reasoning about agents equipped with surveillance cameras in the plane
Olivier Gasquet
,
Valentin Goranko
,
François Schwarzentruber
International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), May 2014, Paris, France. pp. 325-332
Communication dans un congrès
hal-01113939
v1
|
|
Ceteris Paribus Structure in Logics of Game Forms (2013)
Davide Grossi
,
Emiliano Lorini
,
François Schwarzentruber
Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2013), Jan 2013, Chennai, India. pp.1-11
Communication dans un congrès
hal-01141938
v2
|
|
Listen to me! Public announcements to agents that pay attention - or not
Hans van Ditmarsch
,
Andreas Herzig
,
Emiliano Lorini
,
François Schwarzentruber
Communication dans un congrès
hal-01187760
v1
|
|
On the Complexity of Dynamic Epistemic Logic
Guillaume Aucher
,
François Schwarzentruber
TARK - Theoretical Aspects of Rationality and Knowledge - 2013, Jan 2013, Chennai, India
Communication dans un congrès
hal-00856468
v1
|
|
Generalized DEL-sequents
Guillaume Aucher
,
Bastien Maubert
,
François Schwarzentruber
JELIA - Logics in Artificial Intelligence - 2012, Sep 2013, Toulouse, France
Communication dans un congrès
hal-00856472
v1
|
|
Tableau method and NEXPTIME-Completeness of DEL-Sequents
Guillaume Aucher
,
Bastien Maubert
,
François Schwarzentruber
Methods for Modalities (M4M), Nov 2011, Sevilla, Spain
Communication dans un congrès
inria-00627642
v2
|
|
A logic for reasoning about counterfactual emotions (IJCAI 2009)
Emiliano Lorini
,
François Schwarzentruber
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-03671744
v1
|
|
Epistemic Games in Modal Logic: Joint Actions, Knowledge and Preferences all together
Emiliano Lorini
,
François Schwarzentruber
,
Andreas Herzig
Second 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-03474460
v1
|
|
Properties of logics of individual and group agency
Andreas Herzig
,
François Schwarzentruber
7th Conference on Advances in Modal Logic (AIML 2008), Sep 2008, Nancy, France. pp.133-149
Communication dans un congrès
hal-03526736
v1
|