Accéder directement au contenu

François Schwarzentruber

16
Documents
Identifiants chercheurs

Présentation

Publications

emiliano-lorini
Image document

Announcements to Attentive Agents

Thomas Bolander , Hans van Ditmarsch , Andreas Herzig , Emiliano Lorini , Pere Pardo
Journal of Logic, Language and Information, 2015, vol. 25 (n° 1), pp. 1-35. ⟨10.1007/s10849-015-9234-3⟩
Article dans une revue hal-01585237v1
Image document

The Ceteris Paribus Structure of Logics of Game Forms

Davide Grossi , Emiliano Lorini , François Schwarzentruber
Journal of Artificial Intelligence Research, 2015, vol. 53, pp. 91-126. ⟨10.1613/jair.4666⟩
Article dans une revue hal-01809279v1

A logic for reasoning about counterfactual emotions

Emiliano Lorini , François Schwarzentruber
Artificial Intelligence, 2011, 175 (3-4), pp.814-847. ⟨10.1016/j.artint.2010.11.022⟩
Article dans une revue hal-03671076v1
Image document

A Modal Logic of Epistemic Games

Emiliano Lorini , François Schwarzentruber
Games, 2010, Epistemic Game Theory and Modal Logic, 1 (4), pp.478-526. ⟨10.3390/g1040478⟩
Article dans une revue hal-03672510v1
Image document

Base-Based Model Checking for Multi-agent only Believing

Tiago De Lima , Emiliano Lorini , François Schwarzentruber
18th 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
Image document

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-03873252v1
Image document

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-03453911v1
Image document

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-03453909v1
Image document

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-03008589v1
Image document

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-02319717v1
Image document

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-01530163v1
Image document

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-04109521v1
Image document

Listen to me! Public announcements to agents that pay attention - or not

Hans van Ditmarsch , Andreas Herzig , Emiliano Lorini , François Schwarzentruber
4th 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
Image document

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-01141938v2

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-03474460v1
Image document

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-03671744v1