Search - IRIT - Institut de Recherche en Informatique de Toulouse Access content directly

Filter your results

295 Results
authFullName_s : Andreas Herzig

Qualitative uncertainty and dynamics of argumentation through dynamic logic

Antonio Yuste-Ginel , Andreas Herzig
Journal of Logic and Computation, 2023, ⟨10.1093/logcom/exac098⟩
Journal articles hal-03992651v1
Image document

Lightweight Parallel Multi-Agent Epistemic Planning

Martin Cooper , Andreas Herzig , Frédéric Maris , Elise Perrotin , Julien Vianey
17th International Conference on Principles of Knowledge Representation and Reasoning - KR 2020, Sep 2020, Rhodes, Greece
Conference papers hal-03015803v1

Knowledge Representation: Modalities, Conditionals, and Nonmonotonic Reasoning

Andreas Herzig , Philippe Besnard
Marquis, Pierre; Papini, Odile; Prade, Henri. A Guided Tour of Artificial Intelligence Research, 1 / 3, Springer International Publishing, pp.45-68, 2020, Knowledge Representation, Reasoning and Learning, 978-3030061630. ⟨10.1007/978-3-030-06164-7_2⟩
Book sections hal-03015825v1
Image document

Judgment aggregation in dynamic logic of propositional assignments

Arianna Novaro , Umberto Grandi , Andreas Herzig
Journal of Logic and Computation, 2018, 28 (7), pp.1471-1498. ⟨10.1093/logcom/exy024⟩
Journal articles hal-02089335v2
Image document

De DEL à EDL ou comment illustrer la puissance des événements inverses

Guillaume Aucher , Andreas Herzig
Preprints, Working Papers, ... hal-00192061v1

A short biography of Luis Fariñas del Cerro

Pedro Cabalar , Martin Dieguez , Andreas Herzig , David Pearce
Journal of Applied Non-Classical Logics, 2017
Journal articles hal-01892914v1
Image document

Refinement of intentions

Andreas Herzig , Laurent Perrussel , Zhanhao Xiao , Dongmo Zhang
15th European Conference On Logics In Artificial Intelligence (JELIA 2016), Nov 2016, Larnaca, Cyprus. pp. 558-563
Conference papers hal-01692703v1
Image document

Announcements to Attentive Agents

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

Simple epistemic planning: generalised gossiping

Martin Cooper , Andreas Herzig , Faustine Maffre , Frédéric Maris , Pierre Régnier
22nd European Conference on Artificial Intelligence (ECAI 2016), Aug 2016, The Hague, Netherlands. pp. 1563-1564
Conference papers hal-01500520v1
Image document

Lotrec: a generic tableau prover for modal and description logics

Luis Fariñas del Cerro , David Fauthoux , Olivier Gasquet , Andreas Herzig , Dominique Longin , et al.
International Joint Conference on Automated Reasoning (IJCAR 2001), Jun 2001, Siena, Italy. pp.453-458
Conference papers hal-03523405v1
Image document

Abstract Argumentation with Qualitative Uncertainty: An Analysis in Dynamic Logic

Andreas Herzig , Antonio Yuste-Ginel
Logic and Argumentation: 4th International Conference, CLAR 2021, Hangzhou, China, October 20–22, 2021, Proceedings, 13040, Springer International Publishing, pp.190-208, 2021, Lecture Notes in Computer Science book series (LNCS), 978-3-030-89390-3. ⟨10.1007/978-3-030-89391-0_11⟩
Book sections hal-03573580v1
Image document

A logical framework for an emotionally aware intelligent environment

Carole Adam , Benoit Gaudou , Andreas Herzig , Dominique Longin
Workshop on Artificial Intelligence Techniques for Ambient Intelligence (AITAmI 2006), Aug 2006, Riva de Garda, Italy
Conference papers hal-03519756v1
Image document

Establishing Mutual Beliefs by Joint Attention: towards a Formal Model of Public Events

Emiliano Lorini , Luca Tummolini , Andreas Herzig
XXVII Annual Conference of the Cognitive Science Society 2005, Cognitive Science Society, Jul 2005, Stresa, Italy. pp.1325-1330
Conference papers hal-03519770v1
Image document

Elaborating domain descriptions (ECAI 2006)

Andreas Herzig , Laurent Perrussel , Ivan José Varzinczak
17th European Conference on Artificial Intelligence (ECAI 2006), Aug 2006, Riva del Garda, Italy. pp.397-401
Conference papers hal-03537160v1

Logics in Artificial Intelligence: 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings

Luis Fariñas del Cerro , Andreas Herzig , Jérôme Mengin
Fariñas del Cerro, Luis; Herzig, Andrea; Mengin, Jérôme. Springer-Verlag, 7519, 2012, Lecture Notes in Computer Science book series, 978-3-642-33352-1
Books hal-03464945v1
Image document

Computer-Mediated Trust in Self-interested Expert Recommendations

Jonathan Ben-Naim , Jean-François Bonnefon , Andreas Herzig , Sylvie Leblois , Emiliano Lorini
Stephen 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⟩
Book sections hal-03092766v1
Image document

On the modularity of theories

Andreas Herzig , Ivan José Varzinczak
5th Conference on Advances in Modal logic (AiML 2004), Sep 2004, Manchester, United Kingdom. pp.93-109
Conference papers hal-03519763v1
Image document

PLEIAD, un agent émotionnel pour évaluer la typologie OCC

Carole Adam , Andreas Herzig , Dominique Longin
Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, 2007, 21 (5-6), pp.781-811
Journal articles hal-03516643v1

A dynamic logic of institutional actions

Andreas Herzig , Emiliano Lorini , Nicolas Troquard
12th 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⟩
Conference papers hal-03470289v1

Journal of Applied Non-Classical Logics (2010) : Special Issue 20th Anniversary - Part 2

Philippe Balbiani , Andreas Herzig , Luis Fariñas del Cerro
Balbiani, Philippe; Fariñas del Cerro, Luis; Herzig, Andreas. Hermès, 20 (4), pp.312-477, 2011, Journal of Applied Non-Classical Logics
Books hal-03470292v1

Logical Aspects of Game Theory (LOFT 2010)

Giacomo Bonanno , Andreas Herzig , Jérôme Lang , Wiebe van Der Hoek
Bonanno, Giacomo; Herzig, Andreas; Lang, Jérôme; Van Der Hoek, Wiebe. Hermès, 21 (3-4), 2011, Journal of Applied Non-Classical Logics, ISSN: 1166-3081 (Print) 1958-5780 (Online)
Books hal-03470299v1

Tableaux for public announcement logics

Philippe Balbiani , Hans Van Ditmarsch , Andreas Herzig , Tiago De Lima
Journal of Logic and Computation, 2010, Special Issue on Tableaux and Analytic Proof Methods, 20 (1), pp.55--76. ⟨10.1093/logcom/exn060⟩
Journal articles istex hal-03470301v1

Tableaux for Acceptance Logic

Mathijs de Boer , Andreas Herzig , Tiago De Lima , Emiliano Lorini
7th 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⟩
Conference papers hal-03470302v1

A logic of trust and reputation

Andreas Herzig , Emiliano Lorini , Jomi F. Hübner , Laurent Vercouter
Logic Journal of the IGPL, 2010, 18 (1), pp.214-244. ⟨10.1093/jigpal/jzp077⟩
Journal articles istex hal-03470303v1

A dynamic logic of agency I: STIT, abilities and powers

Andreas Herzig , Emiliano Lorini
Journal of Logic, Language and Information, 2010, 19 (Article number: 89), pp.89-121. ⟨10.1007/s10849-009-9105-x⟩
Journal articles istex hal-03470305v1

Logics for multi-agent systems: a critical overview

Andreas Herzig
International Joint Conference on Artificial Intelligence - IJCAI 2013, Aug 2013, Beijing, China. pp. 1-52
Conference papers hal-01143735v1
Image document

Reasoning about actions meets strategic logics (LORI 2013)

Andreas Herzig , Emiliano Lorini , Dirk Walther
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⟩
Conference papers hal-01226475v1
Image document

A Dynamic Logic Framework for Abstract Argumentation

Sylvie Doutre , Andreas Herzig , Laurent Perrussel
14th International Conference on Principles of Knowledge Representation and Reasoning (KR 2014), Jul 2014, Vienne, Austria. pp.62-71
Conference papers hal-04103466v1
Image document

Multi-Agent Abstract Argumentation Frameworks With Incomplete Knowledge of Attacks

Andreas Herzig , Antonio Yuste Ginel
Thirtieth International Joint Conference on Artificial Intelligence (IJCAI 2021), Aug 2021, Montreal, Canada. pp.1922-1928, ⟨10.24963/ijcai.2021/265⟩
Conference papers hal-03450068v1

Représentation des connaissances : modalités, conditionnels et raisonnement non monotone

Andreas Herzig , Philippe Besnard
Pierre Marquis; Odile Papini; Henri Prade. Panorama de l'intelligence artificielle : Ses bases méthodologiques, ses développements, 2 : Algorithmes pour l'intelligence artificielle, Cépaduès, Toulouse, 2013, 978-2364930421
Book sections hal-00770563v1