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