Andreas Herzig
64
Documents
Publications
- 64
- 9
- 8
- 6
- 6
- 6
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 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
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
|
Relaxing Exclusive Control in Boolean GamesElectronic Proceedings in Theoretical Computer Science, 2017, Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2017), 251, pp.43-56. ⟨10.4204/EPTCS.251.4⟩
Article dans une revue
hal-01625886v1
|
|
BDI logics for BDI architectures: old problems, new perspectivesKI - Künstliche Intelligenz, 2017, vol. 31 (n° 1), pp. 73-83. ⟨10.1007/s13218-016-0457-5⟩
Article dans une revue
hal-01692711v1
|
|
Announcements to Attentive AgentsJournal 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
|
|
Grounding power on actions and mental attitudesLogic Journal of the IGPL, 2013, Special issue of best papers of FAMAS 2007, 21 (3), pp.311-331. ⟨10.1093/jigpal/jzr039⟩
Article dans une revue
hal-01153715v1
|
Editorial Introduction: Logical Methods for Social ConceptsJournal of Philosophical Logic, 2011, Special Issue on Logical Methods for Social Concepts (August 2011), 40 (4), pp.441-443. ⟨10.1007/s10992-011-9186-2⟩
Article dans une revue
hal-03464954v1
|
|
A dynamic logic of agency I: STIT, abilities and powersJournal of Logic, Language and Information, 2010, 19 (Article number: 89), pp.89-121. ⟨10.1007/s10849-009-9105-x⟩
Article dans une revue
hal-03470305v1
|
|
A logic of trust and reputationLogic Journal of the IGPL, 2010, 18 (1), pp.214-244. ⟨10.1093/jigpal/jzp077⟩
Article dans une revue
hal-03470303v1
|
|
|
The logic of acceptance: grounding institutions on agents' attitudesJournal of Logic and Computation, 2009, 19 (6), pp.901-940
Article dans une revue
hal-01060135v1
|
On the dynamics of institutional agreements (2009)Synthese, 2009, 171 (2), pp.321--355. ⟨10.1007/s11229-009-9645-2⟩
Article dans une revue
hal-03474458v1
|
|
|
Computer-Mediated Trust in Self-Interested Expert Recommendations AI & Society: Knowledge, Culture and Communication, 2009, 25 (4), pp.413-422. ⟨10.1007/s00146-010-0268-4⟩
Article dans une revue
hal-03466389v1
|
|
A logic of intention and attemptSynthese, 2008, 163 (1), pp.45-77
Article dans une revue
hal-03526735v1
|
Counterfactual Reasoning via Grounded Distance20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023), Principles of Knowledge Representation and Reasoning, Incorporated (KR, Inc.), Sep 2023, Rhodes, Greece. pp.2-11, ⟨10.24963/KR.2023/1⟩
Communication dans un congrès
hal-04307012v1
|
|
|
A Computationally Grounded Logic of ‘Seeing-to-it-that’31st International Joint Conference on Artificial Intelligence (IJCAI 2022), International Joint Conferences on Artifical Intelligence (IJCAI), Jul 2022, Vienne, Austria. pp.2648-2654, ⟨10.24963/ijcai.2022/367⟩
Communication dans un congrès
hal-03873341v1
|
|
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
|
|
TouIST: a Friendly Language for Propositional Logic and More29th International Joint Conference on Artificial Intelligence (IJCAI 2020), Jan 2020, Yokohama, Japan. pp.5240-5242, ⟨10.24963/ijcai.2020/756⟩
Communication dans un congrès
hal-02925894v1
|
|
Stratified evidence logics28th International Joint Conference on Artificial Intelligence (IJCAI 2019), Aug 2019, Macao, China. pp.1523-1529, ⟨10.24963/ijcai.2019/211⟩
Communication dans un congrès
hal-02411254v1
|
|
Relaxing Exclusive Control in Boolean Games16th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2017), Jul 2017, Liverpool, United Kingdom. pp.43-56, ⟨10.48550/arXiv.1707.08736⟩
Communication dans un congrès
hal-01919061v1
|
|
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
|
|
A poor man's epistemic logic based on propositional assignment and higher-order observation5th International Conference on Logic, Rationality and Interaction (LORI 2015), Oct 2015, Taipei, Taiwan. pp. 156-168
Communication dans un congrès
hal-01592020v1
|
|
Une logique épistémique modeste basée sur les observations d'ordre supérieur (IAF 2015)9es Journées d'Intelligence Artificielle Fondamentale (IAF 2015), INRIA; AFIA, Jul 2015, Rennes, France
Communication dans un congrès
hal-03193119v1
|
|
Alternating-time Temporal Logic with Explicit Programs (LAMAS 2014)Workshop on Logical Aspects of Multi-Agent Systems @ AAMAS 2014 (LAMAS 2014), IFAAMAS, May 2014, Paris, France
Communication dans un congrès
hal-03224137v1
|
|
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
|
|
Reasoning about actions meets strategic logics (LORI 2013)4th International Workshop on Logic, Rationality and Interaction (LORI 2013), Oct 2013, Hangzhou, China. pp.162-175, ⟨10.1007/978-3-642-40948-6_13⟩
Communication dans un congrès
hal-01226475v1
|
|
Quand le raisonnement sur les actions rencontre les logiques stratégiques (MFI 2013)Secondes journées francophones sur les Modèles Formels de l'Interaction (MFI 2013), Jul 2013, Lille, France
Communication dans un congrès
hal-03464938v1
|
Trois traditions en logiques d'action: vers une unification6èmes Journées de l'Intelligence Artificielle Fondamentale (JIAF 2012), May 2012, Toulouse, France
Communication dans un congrès
hal-03464947v1
|
|
A computationally grounded dynamic logic of agency, with application to legal actions11h International Conference on Deontic Logic in Computer Science (DEON 2012), Jun 2012, Bergen, Norway. pp.170-183, ⟨10.1007/978-3-642-31570-1_12⟩
Communication dans un congrès
hal-00866707v1
|
|
A dynamic logic of institutional actions12th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA 2011), Jul 2011, Barcelona, Spain. pp.295-311, ⟨10.1007/978-3-642-22359-4_21⟩
Communication dans un congrès
hal-03470289v1
|
|
|
Agents that speak: modelling communicative plans and information sources in a logic of announcements10th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), International Foundation for Autonomous Agents and Multiagent Systems, May 2011, Taipei, Taiwan. pp.1207-1208
Communication dans un congrès
hal-03464951v1
|
|
Comment faire des simulations sociales en logique : formalisation du modèle de ségrégation dans une logique dynamique des affectations6èmes Journees francophones sur les Modèles Formels de l'Interaction (MFI 2011), Jun 2011, Rouen, France
Communication dans un congrès
hal-03470298v1
|
|
How to do social simulation in logic: modelling the segregation game in a dynamic logic of assignmentsInternational Workshop on Multi-Agent Systems and Agent-Based Simulation (MABS 2011), May 2011, Taipei, Taiwan. pp.59-73, ⟨10.1007/978-3-642-28400-7_5⟩
Communication dans un congrès
hal-03470293v1
|
A dynamic logic of normative systems22rd International Joint Conference on Artificial Intelligence (IJCAI 2011), Jul 2011, Barcelona, Spain. pp.228-233
Communication dans un congrès
hal-03464955v1
|
|
|
Trust in complex actions (ECAI 2010)19th European Conference on Artificial Intelligence (ECAI 2010), Aug 2010, Lisbon, Portugal. pp.1037-1038, ⟨10.3233/978-1-60750-606-5-1037⟩
Communication dans un congrès
hal-03470308v1
|
|
Trust in complex actions (ESSLLI 2010)Workshop Logics in Security @ 22rd European Summer School in Logic, Language and Information (ESSLLI 2010), Aug 2010, Copenhagen, Denmark
Communication dans un congrès
hal-03470307v1
|
Speech acts as announcements (LSIR2)Second international workshop on Logic and the Simulation of Interaction and Reasoning @ IJCAI (LSIR 2009), Jul 2009, Pasadena, United States
Communication dans un congrès
hal-03474456v1
|
|
|
Speech acts as announcements (Dagstuhl Seminar on Information processing, rational belief change and social interaction, Dagstuhl, Germany, 23/08/09-27/08/09)Dagstuhl Seminar on Information processing, rational belief change and social interaction, Aug 2009, Dagstuhl, Germany
Communication dans un congrès
hal-03526731v1
|
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
|
|
Intentions and assignments2nd Workshop on Logic, Rationality and Interaction (LORI-II 2009), Oct 2009, Chongqing, China. pp.198-211, ⟨10.1007/978-3-642-04893-7_16⟩
Communication dans un congrès
hal-03526727v1
|
|
|
Dynamic context logic and its application to norm changeDagstuhl Seminar on Normative Multi-Agent Systems (NorMAS 2009), Mar 2009, Dagstuhl, Germany. pp.259-271
Communication dans un congrès
hal-03526732v1
|
Tableaux for Acceptance Logic7th International Workshop on Declarative Agent Languages and Technologies (DALT 2009), May 2009, Budapest, Hungary. pp.85-100, ⟨10.1007/978-3-642-11355-0_6⟩
Communication dans un congrès
hal-03470302v1
|
|
|
Dynamic context logicSecond International Workshop on Logic, Rationality, and Interaction (LORI 2009), Oct 2009, Chongqing, China. pp.15-26, ⟨10.1007/978-3-642-04893-7_2⟩
Communication dans un congrès
inria-00556156v1
|
|
From cognitive trust theories to computational trust12th International Workshop on Trust in Agent Societies (TRUST 2009 @ AAMAS 2009), May 2009, Budapest, Hungary
Communication dans un congrès
hal-03474453v1
|
|
Logics of Context for Multi-Agent Systems4th ECAI Workshop on Context and ontologies (C&O 2008), Jul 2008, Patras, Greece
Communication dans un congrès
hal-03526737v1
|
On the Dynamics of Institutional Agreements (KRAMAS 2008)1st International Workshop on Knowledge Representation for Agents and Multi-agent Systems (KRAMAS 2008), Sep 2008, Sydney, Australia. pp.66-80, ⟨10.1007/978-3-642-05301-6_5⟩
Communication dans un congrès
hal-03474452v1
|
|
What do we accept after an announcement?Prague International Colloquium "Logic of change, change of logic" (LoCCoL 2008), Sep 2008, Prague, Czech Republic
Communication dans un congrès
hal-03526740v1
|
|
Static and dynamic aspects of knowledge about powersInternational Colloquium "Logic of change, change of logic" (LoCCoL 2008), Sep 2008, Prague, Czech Republic
Communication dans un congrès
hal-03526741v1
|
|
|
Prolegomena for a logic of trust and reputation3rd International Workshop on Normative Multiagent Systems (NorMAS 2008), Jul 2008, Luxembourg, Luxembourg. pp.143-157
Communication dans un congrès
hal-00405595v1
|
What Do We Accept After an Announcement ? (KRAMAS 2008)1st International Workshop on Knowledge Representation for Agents and Multi-Agent Systems (KRAMAS 2008), Sep 2008, Sydney, Australia
Communication dans un congrès
hal-03526739v1
|
|
Delegation and mental states6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), May 2007, Honolulu, Hawaii, United States. pp.610--612, ⟨10.1145/1329125.1329311⟩
Communication dans un congrès
hal-03516642v1
|
|
Introducing attempt in a modal logic of intentional action10th European Conference on Logics in Artificial Intelligence (JELIA 2006), Sep 2006, Liverpool, United Kingdom. pp.280-292, ⟨10.1007/11853886_24⟩
Communication dans un congrès
hal-03537169v1
|
|
The hidden faces of Intention: using STIT to discover themTrends in Logic IV - Studia Logica International Conference: Towards Mathematical Philosophy (Trends in Logic IV 2006), Sep 2006, Toruñ, Poland
Communication dans un congrès
hal-03537166v1
|
|
|
Establishing Mutual Beliefs by Joint Attention: towards a Formal Model of Public EventsXXVII Annual Conference of the Cognitive Science Society 2005, Cognitive Science Society, Jul 2005, Stresa, Italy. pp.1325-1330
Communication dans un congrès
hal-03519770v1
|
Social IntelligenceHerzig; Andreas and Lorini; Emiliano and Pearce; David. Springer, 34, pp.689, 2019, AI & Society, ⟨10.1007/s00146-017-0782-8⟩
Ouvrages
hal-02976598v1
|
|
The Cognitive Foundations of Group Attitudes and Social InteractionHerzig, Andreas; Lorini, Emiliano. Springer, 5, 2015, Studies in the Philosophy of Sociality, 978-3319217314. ⟨10.1007/978-3-319-21732-1⟩
Ouvrages
hal-03213935v1
|
|
ECSI 2014: European Conference on Social Intelligence, Proceedings of the European Conference on Social Intelligence (ECSI-2014) Barcelona, Spain, November 3-5, 2014Herzig, Andreas; Lorini, Emiliano. CEUR Workshop Proceedings, 1283, pp.1-358, 2014, ISSN 1613-0073
Ouvrages
hal-03260614v1
|
Possible worlds semantics based on observation and communicationvan Ditmarsch, Hans; Sandu, Gabriel. Jaakko Hintikka on game-theoretical semantics and epistemic logic, 12, Springer, pp.339--362, 2018, Outstanding Contributions to Logic book series (OCTR)
Chapitre d'ouvrage
hal-03033975v1
|
|
Action theoriesHansson, Sven Ove; Hendricks, Vincent F. Handbook of Formal Philosophy, 33, Springer, pp.591--607, 2018, Springer Undergraduate Texts in Philosophy book series (SUTP), 978-3-319-77433-6
Chapitre d'ouvrage
hal-03033977v1
|
|
|
Computer-Mediated Trust in Self-interested Expert RecommendationsStephen J. Cowley; Frédéric Vallée-Tourangeau. Cognition Beyond the Brain: Computation, Interactivity and Human Artifice, Springer, pp.233-250, 2017, 978-3-319-49115-8. ⟨10.1007/978-3-319-49115-8_12⟩
Chapitre d'ouvrage
hal-03092766v1
|
|
On Modal Logics of Group BeliefHerzig; Andreas and Lorini; Emiliano. The Cognitive Foundations of Group Attitudes and Social Interaction, 5, Springer, pp.75--106, 2015, Studies in the Philosophy of Sociality
Chapitre d'ouvrage
hal-03209308v1
|
Direct and indirect common beliefKonzelmann Ziv, Anita; Schmid, Hans Bernhard. Institutions, Emotions, and Group Agents: Contributions to Social Ontology, 2, Springer, pp.355--372, 2014, Studies in the Philosophy of Sociality book series (SIPS), 978-94-007-6933-5. ⟨10.1007/978-94-007-6934-2_22⟩
Chapitre d'ouvrage
hal-03220749v1
|
|
A modal logic of perceptual beliefLihoreau, Franck; Rebuschi, Manuel. Epistemology, Context, and Formalism, 369, Springer, pp.197--211, 2014, Synthese Library book series (SYLI), 978-3-319-02942-9. ⟨10.1007/978-3-319-02943-6_12⟩
Chapitre d'ouvrage
hal-03220750v1
|
|
Three traditions in the logic of action: bringing them togetherTrypuz, Robert. Krister Segerberg on Logic of Action, 1, Springer, pp.61-84, 2013, Outstanding Contributions to Logic book series (OCTR), 978-94-007-7045-4. ⟨10.1007/978-94-007-7046-1_4⟩
Chapitre d'ouvrage
hal-03464936v1
|
|
|
A simple logic of trust based on propositional assignmentsPaglieri, Fabio; Tummolini, Luca; Falcone, Rino; Miceli, Maria. The Goals of Cognition. Essays in Honor of Cristiano Castelfranchi, Chapter 1, College Publications, pp.407-419, 2012, 978-1848900943
Chapitre d'ouvrage
hal-03464939v1
|
Deontic logicOssowski, Sascha. Agreement Technologies, 8, Springer, pp.171-180, 2012, Law, Governance and Technology Series book series (LGTS), 978-94-007-5582-6. ⟨10.1007/978-94-007-5583-3_10⟩
Chapitre d'ouvrage
hal-03464943v1
|