Publications of Andreas HERZIG
Antonio Yuste-Ginel, Andreas Herzig
Qualitative uncertainty and dynamics of argumentation through dynamic logic
Journal of Logic and Computation, 2023, ⟨10.1093/logcom/exac098⟩
Preface (Special issue FolKS 2020)
Annals of Mathematics and Artificial Intelligence, 2022, 90 (2-3), pp.145-147. ⟨10.1007/s10472-021-09782-y⟩
Joseph Boudou, Andreas Herzig, Nicolas Troquard
Resource separation in dynamic logic of propositional assignments (In Press, Journal Pre-proof)
Journal of Logical and Algebraic Methods in Programming, 2021, pp.100683. ⟨10.1016/j.jlamp.2021.100683⟩
Andreas Herzig, Elise Perrotin
True Belief and Mere Belief About a Proposition and the Classification of Epistemic-Doxastic Situations
Filosofiska Notiser, 2021, Årgång 8 (1- Special issue on modal logic), pp.103-117
Martin Cooper, Andreas Herzig, Faustine Maffre, Frédéric Maris, Elise Perrotin, Régnier Pierre
A Lightweight Epistemic Logic and its Application to Planning
Artificial Intelligence, 2021, Special issue: SI: Ethics for Autonomous Systems, 298, pp.103437. ⟨10.1016/j.artint.2020.103437⟩
Philippe Balbiani, David Fernández Duque, Andreas Herzig, Petar Iliev
Frame-validity games and lower bounds on the complexity of modal axioms
Logic Journal of the IGPL, 2020, 30 (1), ⟨10.1093/jigpal/jzaa068⟩
Solving Gossip Problems using Answer Set Programming: An Epistemic Planning Approach
Electronic Proceedings in Theoretical Computer Science, 2020, Proceedings 36th International Conference on Logic Programming (Technical Communications), 325, pp.52-58. ⟨10.4204/EPTCS.325.11⟩
Ezgi Iraz Su, Luis Fariñas del Cerro, Andreas Herzig
Autoepistemic equilibrium logic and epistemic specifications
Artificial Intelligence, 2020, 282, pp.103249. ⟨10.1016/j.artint.2020.103249⟩
Guillaume Feuillade, Andreas Herzig, Christos Rantsoudis
A Dynamic Logic Account of Active Integrity Constraints
Fundamenta Informaticae, 2019, 169 (3), pp.179-210. ⟨10.3233/FI-2019-1843⟩
Martin Cooper, Andreas Herzig, Faustine Maffre, Frédéric Maris, Pierre Régnier
The epistemic gossip problem
Discrete Mathematics, 2019, 342 (3), pp.654-663. ⟨10.1016/j.disc.2018.10.041⟩
Dynamic epistemic logics: promises, problems, shortcomings, and perspectives
Journal of Applied Non-Classical Logics, 2018, 27 (3-4), pp.328-341. ⟨10.1080/11663081.2017.1416036⟩
Arianna Novaro, Umberto Grandi, Andreas Herzig
Judgment aggregation in dynamic logic of propositional assignments
Journal of Logic and Computation, 2018, 28 (7), pp.1471-1498. ⟨10.1093/logcom/exy024⟩
Francesco Belardinelli, Umberto Grandi, Andreas Herzig, Dominique Longin, Emiliano Lorini, Arianna Novaro, Laurent Perrussel
Relaxing Exclusive Control in Boolean Games
Electronic 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⟩
Andreas Herzig, Faustine Maffre
Planifier grâce au bavardage
Interstices, 2017
Andreas Herzig, Emiliano Lorini, Laurent Perrussel, Zhanhao Xiao
BDI logics for BDI architectures: old problems, new perspectives
KI – Künstliche Intelligenz, 2017, vol. 31 (n° 1), pp. 73-83. ⟨10.1007/s13218-016-0457-5⟩
Andreas Herzig, Faustine Maffre
How to share knowledge by gossiping
AI Communications, 2017, 30 (1), pp.1-17. ⟨10.3233/AIC-170723⟩
Pedro Cabalar, Martin Dieguez, Andreas Herzig, David Pearce
A short biography of Luis Fariñas del Cerro
Journal of Applied Non-Classical Logics, 2017
Thomas Bolander, Hans van Ditmarsch, Andreas Herzig, Emiliano Lorini, Pere Pardo, François Schwarzentruber
Announcements to Attentive Agents
Journal of Logic, Language and Information, 2015, vol. 25 (n° 1), pp. 1-35. ⟨10.1007/s10849-015-9234-3⟩
Logics of knowledge and action: critical analysis and challenges
Autonomous Agents and Multi-Agent Systems, 2015, 29 (5), pp.719-753. ⟨10.1007/s10458-014-9267-z⟩
Luis Fariñas del Cerro, Andreas Herzig, Ezgi Iraz Su
Capturing equilibrium models in modal logic
Journal of Applied Logic, 2014, vol. 12 (n° 2), pp. 192-207. ⟨10.1016/j.jal.2013.12.003⟩
Chiaki Sakama, Martin Caminada, Andreas Herzig
A formal account of dishonesty
Logic Journal of the IGPL, 2014, 23 (2), pp.259-294. ⟨10.1093/jigpal/jzu043⟩
Luis Fariñas del Cerro, Andreas Herzig, Ezgi Iraz Su
Capturing Equilibrium Models in Modal Logic
In : Journal of Applied Logic, Elsevier, Vol. 12, pp. 192-207, March 2013.
Abstract URL : http://www.sciencedirect.com/science/article/pii/S1570868314000172 – https://oatao.univ-toulouse.fr/12614/
BibTeXAndreas Herzig, Jérôme Lang, Pierre Marquis
Propositional update operators based on formula/literal dependence
In : ACM Transactions on Computational Logic (TOCL), ACM Digital Library, Vol. 14 N. 3, pp. 24, August 2013.
Abstract URL : http://dblp.uni-trier.de/db/journals/tocl/tocl14.html#HerzigLM13 – https://oatao.univ-toulouse.fr/12416/
BibTeXEmiliano Lorini, Nicolas Troquard, Andreas Herzig, Jan Broersen
Grounding power on actions and mental attitudes
In : Logic Journal of the IGPL, Oxford University Press, Vol. 21(3), pp. 311-331, 2013.
URL : http://jigpal.oxfordjournals.org/content/21/3/311.full.pdf – https://oatao.univ-toulouse.fr/12311/
BibTeXHans Van Ditmarsch, Andreas Herzig, Tiago de Lima
Public announcements, public assignments and the complexity of their logic
In : Journal of Applied Non-Classical Logics (JANCL), Taylor & Francis Group, Vol. 22 N. 3, pp. 249-273, 2012.
URL : http://www.irit.fr/~Andreas.Herzig/P/Jancl12.html
BibTeXLuis Fariñas del Cerro, Andreas Herzig
La logique modale des modèles déquilibre
In : Revue d’Intelligence Artificielle (RIA), Hermès Science, Special issue Raisonnement non monotone, QBF et programmation par ensembles réponses, Hommage à Pascal Nicolas (ed. J. Lang et P. Marquis), Vol. 26, N. 1-2, pp. 1-15, March 2012.
URL : http://www.irit.fr/~Andreas.Herzig/P/Frocos11.html
BibTeXHans Van Ditmarsch, Andreas Herzig, Tiago de Lima
From Situation Calculus to Dynamic Logic
In : Journal of Logic and Computation, Oxford University Press, Vol. 21 N. 2, pp. 179-204, April 2011.
Andreas Herzig, Emiliano Lorini
A dynamic logic of agency I: STIT, abilities and powers
In : Journal of Logic, Language and Information, Springer, Vol. 19 N. 1, pp. 89-121, 2010.
Abstract URL : http://www.irit.fr/~Andreas.Herzig/P/Jolli10.html
BibTeXJonathan Ben-Naim, Jean-François Bonnefon, Andreas Herzig, Sylvie Leblois, Emiliano Lorini
Computer-mediated trust in self-interested expert recommendations
In : AI & Society, Springer, Vol. 25 N. 4, pp. 413-422, October 2010.
Abstract URL : http://www.springerlink.com/content/m3v2564127113434
BibTeXAndreas Herzig, Emiliano Lorini, Jomi F. Hübner, Laurent Vercouter
A logic of trust and reputation
In : Logic Journal of the IGPL, Oxford University Press, Special issue Normative Multiagent Systems, Vol. 18 N. 1, pp. 214-244, February 2010.
Abstract URL : http://www.irit.fr/~Andreas.Herzig/P/Igpl09.html
BibTeXPhilippe Balbiani, Hans Van Ditmarsch, Andreas Herzig, Tiago de Lima
Tableaux for public announcement logics
In : Journal of Logic and Computation, Oxford University Press, Special issue Special Issue on Tableaux and Analytic Proof Methods, Vol. 20 N. 1, pp. 55-76, 2010.
Abstract URL : http://www.irit.fr/~Andreas.Herzig/P/Jlc09.html
BibTeXJan Broersen, Andreas Herzig, Nicolas Troquard
What groups do, can do, and know they can do: an analysis in normal modal logics
In : Journal of Applied Non-Classical Logics (JANCL), Taylor & Francis Group, Vol. 19 N. 3, pp. 261-289, November 2009.
Abstract URL : http://www.irit.fr/~Andreas.Herzig/P/Jancl09.html
BibTeXAndreas Herzig, Tiago de Lima, Emiliano Lorini
On the dynamics of institutional agreements
In : Synthese, Springer, Vol. 171 N. 2, pp. 321-355, November 2009.
Abstract URL : http://www.irit.fr/~Andreas.Herzig/P/Synthese09_instAgree.html
BibTeXHans Van Ditmarsch, Andreas Herzig, Jérôme Lang, Pierre Marquis
Introspective forgetting
In : Synthese, Springer, Vol. 169 N. 2, pp. 405-423, July 2009.
Abstract URL : http://www.irit.fr/~Andreas.Herzig/P/Synthese09_forget.html
BibTeXCarole Adam, Andreas Herzig, Dominique Longin
A logical formalization of the OCC theory of emotions
In : Synthese, Springer, Vol. 168 N. 2, pp. 201-248, 2009.
Abstract URL : http://www.irit.fr/publis/LILAC/Journaux_internationaux/2009_Adam_et_al_Synthese.pdf
BibTeXGuillaume Aucher, Philippe Balbiani, Luis Fariñas del Cerro, Andreas Herzig
Global and local graph modifiers
In : Electronic Notes in Theoretical Computer Science (ENTCS), Elsevier, Vol. 231, pp. 293-307, March 2009.
Abstract URL : http://www.irit.fr/~Andreas.Herzig/P/Entcs09.html
BibTeXEmiliano Lorini, Dominique Longin, Benoit Gaudou, Andreas Herzig
The logic of acceptance: grounding institutions on agents’ attitudes
In : Journal of Logic and Computation, Oxford University Press, Vol. 19 N. 6, pp. 901-940, December 2009.
Abstract URL : http://www.irit.fr/publis/LILAC/Journaux_internationaux/2009_Lorini_et_al_JLC.pdf
BibTeXPhilippe Balbiani, Alexandru Baltag, Hans Van Ditmarsch, Andreas Herzig, Tomohiro Hoshi
Arbitrary announcement logic
In : Bulletin of Symbolic Logic, Association for Symbolic Logic (ASL), Vol. 14, pp. 438-439, 2008.
Review of “Dynamic Epistemic Logic” by Hans van Ditmarsch, Wiebe van der Hoek, and Barteld Kooi (Springer Verlag, Synthese Library No. 337, 2007)
In : Studia Logica, Springer, Vol. 89, pp. 439-443, October 2008.
URL : http://www.irit.fr/~Andreas.Herzig/P/Sl09Revw.pdf
BibTeXPhilippe Balbiani, Alexandru Baltag, Hans Van Ditmarsch, Andreas Herzig, Tomohiro Hoshi, Tiago de Lima
`Knowable’ as `known after an announcement’
In : Review of Symbolic Logic, Cambridge University Press, Vol. 1 N. 3, pp. 305-334, 2008.
Abstract URL : http://www.irit.fr/~Andreas.Herzig/P/Tark07ArbAnn.html
BibTeXEmiliano Lorini, Andreas Herzig
A logic of intention and attempt
In : Synthese, Springer, Vol. 163 N. 1, pp. 45-77, 2008.
Abstract URL : http://www.irit.fr/~Andreas.Herzig/P/Synthese08.html
BibTeXPhilippe Balbiani, Andreas Herzig, Nicolas Troquard
Alternative axiomatics and complexity of deliberative STIT theories
In : Journal of Philosophical Logic, Springer-Verlag, Heidelberg, Allemagne, Vol. 37 N. 4, pp. 387-406, August 2008.
URL : http://www.irit.fr/~Andreas.Herzig/P/Jpl08.html
BibTeXAndreas Herzig, Ivan José Varzinczak
Metatheory of actions: beyond consistency
In : Artificial Intelligence, Elsevier, Vol. 171, pp. 951-984, 2007.
Abstract URL : http://www.irit.fr/~Andreas.Herzig/P/Aij07.html
BibTeXCarole Adam, Andreas Herzig, Dominique Longin
PLEIAD, un agent émotionnel pour évaluer la typologie OCC
In : Revue d’Intelligence Artificielle (RIA), Hermès Science, Special issue Modèles multi-agents pour des environnements complexes, Vol. 21, N. 5-6, pp. 781-811, 2007.
Abstract URL : http://www.irit.fr/publis/LILAC/2007_Adam_et_al_RIA.pdf
BibTeXBenoit Gaudou, Andreas Herzig, Dominique Longin
A Logical Framework for Grounding-based Dialogue Analysis
In : Electronic Notes in Theoretical Computer Science (ENTCS), Elsevier, Vol. 157 N. 4, pp. 117-137, 2006.
Abstract URL : http://www.irit.fr/publis/LILAC/Journaux_internationaux/2006_Gaudou_et_al_LCMAS_Elsevier.pdf
BibTeXJan Broersen, Andreas Herzig, Nicolas Troquard
Embedding Alternating-time Temporal Logic in Strategic STIT Logic of Agency
In : Journal of Logic and Computation, Oxford University Press, Vol. 16 N. 5, pp. 559-578, October 2006.
Abstract URL : http://www.irit.fr/LILaC/Pers/Troquard/PUBLICATIONS/PAPERS/BrHeTr06atl2stit.pdf
BibTeXModal probability, belief, and actions
In : Fundamenta Informaticae, IOS Press, Vol. 57 N. 2-4, pp. 323-344, 2003.
Robert Demolombe, Andreas Herzig, Ivan José Varzinczak
Regression in Modal Logic
In : Journal of Applied Non-Classical Logics (JANCL), Taylor & Francis Group, Vol. 13 N. 2, pp. 165-185, 2003.
Abstract URL : http://www.irit.fr/~Andreas.Herzig/P/Jancl03.html
BibTeXMaud Champagne, Andreas Herzig, Dominique Longin, Jean-Luc Nespoulous, Jacques Virbel
Formalisation pluridisciplinaire de l’inférence d’actes de langage non littéraux
In : Information – Interaction – Intelligence (I3), Cépaduès Editions, Special issue Modèles Formels de l’Interaction, Vol. Special edition, pp. 197-225, 2002.
Abstract URL : http://www.irit.fr/publis/LILAC/Journaux_nationaux/2002_Champagne_et_al_I3.pdf
BibTeXAndreas Herzig, Dominique Longin
Belief dynamics in cooperative dialogues
In : Journal of Semantics, Oxford University Press, Vol. 17 N. 2, pp. 91-118, May 2000.
Abstract URL : http://www.irit.fr/publis/LILAC/Journaux_internationaux/2000_Herzig_Longin_Journal_of_semantics.pdf
BibTeXPropositional belief base update and minimal change
In : Artificial Intelligence Journal, Vol. 115 N. 1, pp. 107-138, 1999.
Marcos Alexandre Castilho, Olivier Gasquet, Andreas Herzig
Formalizing action and change in modal logic I: the frame problem
In : Journal of Logic and Computation, Vol. 9 N. 5, pp. 701-735, 1999.
Marcos Alexandre Castilho, Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig
Modal Tableaux with Propagation Rules and Structural Rules
In : Fundamenta Informaticae, Vol. 32 N. 3/4, pp. 281-297, 1997.
Philippe Balbiani, Andreas Herzig
A translation from the modal logic of provability into K4
In : Journal of Applied Non-Classical Logics, Vol. 4, pp. 73-77, 1994.
Carlos Aguilera-Ventura, Andreas Herzig, Xinghan Liu, Emiliano Lorini
Counterfactual Reasoning via Grounded Distance
20th 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⟩
Andreas Herzig, Emiliano Lorini, Elise Perrotin-Boithias
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⟩
Guillaume Feuillade, Andreas Herzig, Christos Rantsoudis
Database Repair via Event-Condition-Action Rules in Dynamic Logic
12th International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2022), Jun 2022, Helsinki, Finland. pp.75-92, ⟨10.1007/978-3-031-11321-5_5⟩
Andreas Herzig, Antonio Yuste Ginel
Multi-Agent Abstract Argumentation Frameworks With Incomplete Knowledge of Attacks
Thirtieth International Joint Conference on Artificial Intelligence (IJCAI 2021), Aug 2021, Montreal, Canada. pp.1922-1928, ⟨10.24963/ijcai.2021/265⟩
Andreas Herzig, Frédéric Maris, Elise Perrotin
A Dynamic Epistemic Logic with Finite Iteration and Parallel Composition
18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021), Nov 2020, virtual, Vietnam. pp.676-680, ⟨10.24963/kr.2021/68⟩
Andreas Herzig, Antonio Yuste-Ginel
On the Epistemic Logic of Incomplete Argumentation Frameworks
18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021), Nov 2020, virtual, Vietnam. pp.681-685, ⟨10.24963/kr.2021/69⟩
Guillaume Feuillade, Andreas Herzig, Christos Rantsoudis
Knowledge Base Repair: From Active Integrity Constraints to Active TBoxes
33rd International Workshop on Description Logics (DL 2020) co-located with KR 2020), Sep 2020, Rhodes, Online event, Greece. pp.1-10
Martin Cooper, Andreas Herzig, Frédéric Maris, Elise Perrotin, Julien Vianey
Lightweight Parallel Multi-Agent Epistemic Planning
17th International Conference on Principles of Knowledge Representation and Reasoning – KR 2020, Sep 2020, Rhodes, Greece
Andreas Herzig, Emiliano Lorini, Elise Perrotin, Benito Fabian Romero Jimenez, François Schwarzentruber
A Logic of Explicit and Implicit Distributed Belief
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
Zhanhao Xiao, Hai Wan, Hankui Hankz Zhuo, Andreas Herzig, Laurent Perrussel, Peilin Chen
Refining HTN Methods via Task Insertion with Preferences
Thirty-Fourth AAAI Conference on Artificial Intelligence (AAAi 2020), Feb 2020, New York, United States. pp.10009-10016, ⟨10.1609/aaai.v34i06.6557⟩
Jorge H. Fernandez, Olivier Gasquet, Andreas Herzig, Dominique Longin, Emiliano Lorini, Frédéric Maris, Pierre Régnier
TouIST: a Friendly Language for Propositional Logic and More
29th International Joint Conference on Artificial Intelligence (IJCAI 2020), Jan 2020, Yokohama, Japan. pp.5240-5242, ⟨10.24963/ijcai.2020/756⟩
Joseph Boudou, Andreas Herzig, Nicolas Troquard
Resource separation in dynamic logic of propositional assignments
International Workshop on Dynamic Logic, in World Congress on Formal Methods (DALI 2019), Oct 2019, Porto, Portugal. pp.155-170, ⟨10.1007/978-3-030-38808-9_10⟩
Andreas Herzig, Frédéric Maris, Julien Vianey
Dynamic logic of parallel propositional assignments and its applications to planning
Twenty-Eighth International Joint Conference on Artificial Intelligence {IJCAI-19}, Aug 2019, Macao, China. pp.5576-5582, ⟨10.24963/ijcai.2019/774⟩
Philippe Balbiani, David Fernández-Duque, Andreas Herzig, Emiliano Lorini
Stratified evidence logics
28th International Joint Conference on Artificial Intelligence (IJCAI 2019), Aug 2019, Macao, China. pp.1523-1529, ⟨10.24963/ijcai.2019/211⟩
Martin Cooper, Andreas Herzig, Faustine Maffre, F Maris, Elise Perrotin, Pierre Régnier
When ‘knowing whether’ is better than ‘knowing that
13èmes Journées d’Intelligence Artificielle Fondamentale (JIAF 2019), Jul 2019, Toulouse, France
Thomas Bolander, Thorsten Engesser, Andreas Herzig, Robert Mattmüller, Bernhard Nebel
The dynamic logic of policies and contingent planning
European Conference on Logics in Artificial Intelligence (JELIA 2019), May 2019, Rende, Italy. pp.659-674, ⟨10.1007/978-3-030-19570-0_43⟩
Martin Cooper, Andreas Herzig, Frédéric Maris, Julien Vianey
Temporal Epistemic Gossip Problems
16th European Conference on Multi-Agent Systems (EUMAS 2018), Dec 2018, Bergen, Norway. pp.1-14
Guillaume Feuillade, Andreas Herzig, Christos Rantsoudis
A Dynamic Extension of ALCO for Repairing via Preferred Updates
International Workshop on Description Logics (DL workshop 2018), Oct 2018, Tempe, United States. pp.1-13
Philippe Balbiani, David Fernández-Duque, Andreas Herzig, Petar Iliev
Frame-validity games and absolute minimality of modal axioms
12th International Conference on Advances in Modal Logic (AiML 2018), Aug 2018, Berne, Switzerland. pp.83-102
Sylvie Doutre, Andreas Herzig, Laurent Perrussel
Abstract Argumentation in Dynamic Logic: Representation, Reasoning and Change
2nd Chinese Conference on Logic and Argumentation (CLAR 2018), Jun 2018, Hangzhou, China. pp.153-185, ⟨10.1007/978-981-13-7791-4_8⟩
Zhanhao Xiao, Andreas Herzig, Laurent Perrussel, Dongmo Zhang
Deciding Refinement Relation in Belief-Intention Databases
International Conference of the Italian Association for Artificial Intelligence (AI*IA 2017), Nov 2017, Bari, Italy. pp.186-199
Raul Fervari, Andreas Herzig, Yanjun Li, Yanjing Wang
Strategically knowing how
26th International Joint Conference on Artificial Intelligence (IJCAI 2017), International Joint Conferences on Artificial Intelligence Organization, Aug 2017, Melbourne, Australia. pp.1031-1038, ⟨10.24963/ijcai.2017/143⟩
Zhanhao Xiao, Andreas Herzig, Laurent Perrussel, Hai Wan, Xiaoheng Su
Hierarchical Task Network Planning with Task Insertion and State Constraints
26th International Joint Conference on Artificial Intelligence (IJCAI 2017), Aug 2017, Melbourne, Australia. pp.4463-4469
Davide Grossi, Andreas Herzig, Wiebe van Der Hoek, Christos Moyzes
Non-Determinism and the Dynamics of Knowledge
26th International Joint Conference on Artificial Intelligence (IJCAI 2017), Aug 2017, Melbourne, Australia. pp.1053-1059
Francesco Belardinelli, Andreas Herzig
Dynamic Logic for Data-aware Systems: Decidability Results
26th International Joint Conference on Artificial Intelligence (IJCAI 2017), Aug 2017, Melbourne, Australia. pp.821-827, ⟨10.24963/ijcai.2017/114⟩
Francesco Belardinelli, Umberto Grandi, Andreas Herzig, Dominique Longin, Emiliano Lorini, Arianna Novaro, Laurent Perrussel
Relaxing Exclusive Control in Boolean Games
16th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2017), Jul 2017, Liverpool, United Kingdom. pp.43-56, ⟨10.48550/arXiv.1707.08736⟩
Christos Rantsoudis, Guillaume Feuillade, Andreas Herzig
Repairing ABoxes through Active Integrity Constraints
30th International Workshop on Description Logics (DL 2017), Jul 2017, Montpellier, France. pp.1-13
Olivier Gasquet, Andreas Herzig, Dominique Longin, Frédéric Maris, Maël Valais
TouIST again… Formalisez et résolvez facilement des problèmes avec des solveurs SAT, SMT et QBF
Journées d’Intelligence Artificielle Fondamentale (JIAF 2017), Jul 2017, Caen, France
Andreas Herzig, Laurent Perrussel, Zhanhao Xiao
On hierarchical task networks
15th European Conference On Logics In Artificial Intelligence (JELIA 2016), Nov 2016, Larnaca, Cyprus. pp. 551-557
Andreas Herzig, Laurent Perrussel, Zhanhao Xiao, Dongmo Zhang
Refinement of intentions
15th European Conference On Logics In Artificial Intelligence (JELIA 2016), Nov 2016, Larnaca, Cyprus. pp. 558-563
Philippe Balbiani, Hans van Ditmarsch, Andreas Herzig
Before announcement
11th conference on Advances in Modal logic (AiML 2016), Aug 2016, Budapest, Hungary. pp.58-77
Martin Cooper, Andreas Herzig, Faustine Maffre, Frédéric Maris, Pierre Régnier
Simple epistemic planning: generalised gossiping
22nd European Conference on Artificial Intelligence (ECAI 2016), Aug 2016, The Hague, Netherlands. pp. 1563-1564
Martin Cooper, Andreas Herzig, Faustine Maffre, Frédéric Maris, Pierre Régnier
A simple account of multi-agent epistemic planning
22nd European Conference on Artificial Intelligence (ECAI 2016), Aug 2016, The Hague, Netherlands. pp. 193-201
Hans Van Ditmarsch, Davide Grossi, Andreas Herzig, Wiebe van Der Hoek, Louwe B. Kuijer
Parameters for Epistemic Gossip Problems
LOFT 2016 – 12th Conference on Logic and the Foundations of Game and Decision Theory, Jul 2016, Maastricht, Netherlands
Francesco Belardinelli, Andreas Herzig
On logics of strategic ability based on propositional control
25th International Joint Conference on Artificial Intelligence (IJCAI 2016), Jul 2016, New York, United States. pp.95–101
Andreas Herzig, Emiliano Lorini, Faustine Maffre, François Schwarzentruber
Epistemic boolean games based on a logic of visibility and control
25th International Joint Conference on Artificial Intelligence (IJCAI 2016), Jul 2016, New York, United States. pp.1116-1122
Sylvie Doutre, Andreas Herzig, Laurent Perrussel
A Dynamic Logic Framework for Abstract Argumentation (CAF 2016)
Cardiff Argumentation Forum (CAF 2016), Federico Cerutti (School of Computer Science & Informatis at Cardiff University); Francesca Toni (Department of Computing at Imperial College London), Jul 2016, Cardiff, United States
Tristan Charrier, Andreas Herzig, Emiliano Lorini, Faustine Maffre, François Schwarzentruber
Building epistemic logic from observations and public announcements
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
Andreas Herzig, Faustine Maffre
How to share knowledge by gossiping
13th International Conference on Agreement Technologies in European Conference on Multi-Agent Systems (EUMAS/AT 2015), Dec 2015, Athens, Greece. pp. 249-263
Andreas Herzig, Emiliano Lorini, Faustine Maffre
A poor man’s epistemic logic based on propositional assignment and higher-order observation
5th International Conference on Logic, Rationality and Interaction (LORI 2015), Oct 2015, Taipei, Taiwan. pp. 156-168
Knowledge and action: how should we combine their logics?
FroCoS’15 : 10th International Symposium on Frontiers of Combining Systems, Sep 2015, Wroclaw, Poland
Andreas Herzig, Emiliano Lorini, Faustine Maffre
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
Luis Fariñas del Cerro, Andreas Herzig, Ezgi Iraz Su
Epistemic Equilibrium Logic (IJCAI 2015)
24th International Joint Conference on Artificial Intelligence (IJCAI 2015), International Joint Conference on Artificial Intelligence (IJCAI); Argentinean Association of Artificial Intelligence (AAIA-SADIO division), Jul 2015, Buenos Aires, Argentina. pp.2964-2970
Martin Cooper, Andreas Herzig, Faustine Maffre, Frédéric Maris, Pierre Régnier
A simple account of multiagent epistemic planning
10èmes Journées Francophones sur la Planification, la Décision et l’Apprentissage (JFPDA 2015), May 2015, Rennes, France. pp. 23-29
Guillaume Feuillade, Andreas Herzig
A dynamic view of active integrity constraints
14th European Conference on Logics in Artificial Intelligence (JELIA), Sep 2014, Madeira, Portugal. pp. 486-499
Andreas Herzig, Viviane Menezes, Leliane Nunes de Barros, Renata Wassermann
On the revision of planning tasks
21st European Conference on Artificial Intelligence (ECAI 2014), Aug 2014, Prague, Czech Republic. pp. 435-440
Belief change operations: a short history of nearly everything, told in dynamic logic of propositional assignments
International Conference on Principles of Knowledge Representation and Reasoning (KR 2014), Jul 2014, Vienne, Austria. pp.141-150
Sylvie Doutre, Andreas Herzig, Laurent Perrussel
A Dynamic Logic Framework for Abstract Argumentation
14th International Conference on Principles of Knowledge Representation and Reasoning (KR 2014), Jul 2014, Vienne, Austria. pp.62-71
Philippe Besnard, Sylvie Doutre, Andreas Herzig
Encoding argument graphs in logic
International Conference on Information Processing and Management of Uncertainty in Knowledge-based Systems – IPMU 2014, Jul 2014, Montpellier, France. pp. 345-354
Andreas Herzig, Emiliano Lorini, Faustine Maffre, Dirk Walther
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
Guillaume Feuillade, Andreas Herzig, Kramdi Seifeddine
Trust-based personal information management in SOA
International Conference on Agents and Artificial Intelligence – ICAART 2014, Mar 2014, Angers, France. pp. 667-672
Andreas Herzig, Pilar Pozos Parra, François Schwarzentruber
Belief merging in Dynamic Logic of Propositional Assignments
International Symposium on Foundations of Information and Knowledge Systems – FolKS 2014, Mar 2014, Bordeaux, France. pp. 981-398
Andreas Herzig, Emiliano Lorini, Dirk Walther
Reasoning about actions meets strategic logics (Quand le raisonnement sur les actions rencontre les logiques stratégiques)
In : Modèles Formels de l’Interaction (MFI 2013), Lille, 01/07/13-02/07/13.
Logiques pour le changement de croyances : une histoire de tout, ou presque
In : Journées IAF, Aix-en-Provence, 12/06/13-14/06/13.
Hans Van Ditmarsch, Andreas Herzig, Emiliano Lorini, François Schwarzentruber
Listen to me! Public announcements to agents that pay attention – or not (regular paper)
In : International Workshop on Logic, Rationality and Interaction (LORI 2013), Hangzhou, 09/10/13-12/10/13, Davide Grossi, Olivier Roy, Huaxin Huang (Eds.), Springer-Verlag, LNCS 8196, pp. 96-109, 2013.
Andreas Herzig, Emiliano Lorini, Dirk Walther
Reasoning about actions meets strategic logics (regular paper)
In : International Workshop on Logic, Rationality and Interaction (LORI 2013), Hangzhou, 09/10/13-12/10/13, Davide Grossi, Olivier Roy, Huaxin Huang (Eds.), Springer-Verlag, LNCS 8196, pp. 162-175, October 2013.
URL : http://www.irit.fr/~Andreas.Herzig/P/Lamas14.html – https://oatao.univ-toulouse.fr/12650/
BibTeXA Simple Separation Logic (regular paper)
In : International Workshop Logic, Language, Information, and Computation (WoLLIC 2013), Darmstadt, 20/08/13-23/08/13, Leonid Libkin, Ulrich Kohlenbach, Ruy J. G. B. de Queiroz (Eds.), Springer-Verlag, LNCS 8071, pp. 168-178, August 2013.
URL : www.irit.fr/~Andreas.Herzig/P/Wollic13.pdf – https://oatao.univ-toulouse.fr/12649/
BibTeXLogics for multi-agent systems: a critical overview (education paper)
In : International Joint Conference on Artificial Intelligence (IJCAI 2013), Beijing, 03/08/13-09/08/13 (invited speaker), AAAI Press, (electronic medium), August 2013.
Abstract URL : http://ijcai13.org/files/summary/AndreasHerzig.pdf – https://oatao.univ-toulouse.fr/12648/
BibTeXLuis Fariñas del Cerro, Andreas Herzig, Ezgi Iraz Su
Combining equilibrium logic and dynamic logic (regular paper)
In : Logic Programming and Nonmonotonic Reasoning (LPNMR 2013), Corunna, 15/09/13-19/09/13, Pedro Cabalar, Tran Cao Son (Eds.), Springer, LNAI 8148, pp. 304-316, September 2013.
Philippe Balbiani, Andreas Herzig, Nicolas Troquard
Dynamic logic of propositional assignments: a well-behaved variant of PDL (regular paper)
In : Logic in Computer Science (LICS 2013), New Orleans, 25/06/13-28/06/13, Orna Kupferman (Eds.), IEEE : Institute of Electrical and Electronics Engineers, pp. 143-152, June 2013.
URL : http://ieeexplore.ieee.org/xpl/articleDetails.jsp?reload=true&arnumber=6571546 – https://oatao.univ-toulouse.fr/12432/
BibTeXAndreas Herzig, Tiago de Lima, Emiliano Lorini, Nicolas Troquard
Trois traditions en logiques d’action: vers une unification
In : Sixièmes Journées de l’Intelligence Artificielle Fondamentale (JIAF 2012), Toulouse, 22/05/12-24/05/12.
Trois traditions en logiques d’action: vers une unification
In : Sixièmes Journées de l’Intelligence Artificielle Fondamentale (JIAF 2012), Toulouse, 22/05/12-24/05/12.
Uniform Strategies in the Dynamic Epistemic Logic of Propositional Control
In : Dynamics in Logic II, Lille, 01/03/12 (invited speaker), Tiago de Lima, Sébastien Magnier (Eds.).
Abstract URL : http://www.cril.univ-artois.fr/~delima/dil2/index.html
BibTeXPhilippe Balbiani, Hans Van Ditmarsch, Andreas Herzig, Tiago de Lima
Some truths are best left unsaid (regular paper)
In : Advances in Modal Logic (AiML 2012), Copenhagen, 22/08/12-25/08/12, Vol. 9, Thomas Bolander, Torben Braüner, Silvio Ghilardi, Larry Moss (Eds.), College Publications, pp. 36-54, August 2012.
URL : http://www.irit.fr/~Andreas.Herzig/P/Aiml12.html
BibTeXAndreas Herzig, Tiago de Lima, Emiliano Lorini, Nicolas Troquard
A computationally grounded dynamic logic of agency, with an application to legal actions (regular paper)
In : International Conference on Deontic Logic in Computer Science (DEON 2012), Bergen, Norway, 16/07/12-18/07/12, Thomas Ågotnes, Jan Broersen, Dag Elgesem (Eds.), Springer, LNCS 7393, pp. 170-183, July 2012.
URL : http://www.irit.fr/~Andreas.Herzig/P/Deon12.html
BibTeXLuis Fariñas del Cerro, Andreas Herzig
Logics of Contingency
In : AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning, Stanford, California, USA, 21/03/11-23/03/11.
Benoit Gaudou, Andreas Herzig, Emiliano Lorini, Christophe Sibertin-Blanc
Comment faire des simulations sociales en logique : formalisation du modèle de ségrégation dans une logique dynamique des affectations
In : Modèles Formels de l’Interaction (MFI), Rouen, France, 22/06/11-24/06/11.
Logics of propositional control
In : Dynamics in Logic First Workshop, Brussels, 03/05/11 (invited speaker), Jean-Paul Van Bendegem, Francesca Poggiolesi, Sonja Smets (Eds.).
Abstract URL : http://sites.google.com/site/dynamicsinlogic1/home
BibTeXOn the relation between STIT theory and the logic of programs
In : Semantics & Philosophy in Europe (SPE4), Bochum (Germany), 26/09/11-01/10/11 (invited speaker), Markus Werning, Heinrich Wansing (Eds.).
URL : http://www.ruhr-uni-bochum.de/phil-lang/spe4/index.html
BibTeXPropositional assignments, announcements, and their applications to logics of action and agency
In : 7th Methods for Modalities workshop (M4M7, http://personal.us.es/hvd/m4m) and 4th workshop Logical Aspects of Multi-Agent Systems (LAMAS 2011, http://icr.uni.lu/lamas2011), Osuna, 10/11/11-12/11/11 (invited speaker), Hans van Ditmarsch (Eds.).
Benoit Gaudou, Andreas Herzig, Emiliano Lorini, Christophe Sibertin-Blanc
How to do social simulation in logic: modelling the segregation game in a dynamic logic of assignments (regular paper)
In : Multi-Agent-Based Simulation, Taipei, Taiwan, 02/05/11-06/05/11, Jordi Sabater-Mir, Daniel Villatoro, Jaime Sichman (Eds.), Springer-Verlag, LNAI 7124, pp. 1-12, 2011.
Abstract URL : http://www.irit.fr/~Andreas.Herzig/P/Mabs11.html
BibTeXBenoit Gaudou, Andreas Herzig, Emiliano Lorini, Christophe Sibertin-Blanc
How to do social simulation in logic: modelling the segregation game in a dynamic logic of assignments
In : 12th International Workshop on Multi-Agent-Based Simulation (MABS’11), Taipei, Taiwan, 02/05/11-06/05/11, Jordi Sabater-Mir, Jaime Sichman, Daniel Villatoro (Eds.).
Abstract URL : http://www.irit.fr/~Andreas.Herzig/P/Mabs11.html
BibTeXLuis Fariñas del Cerro, Andreas Herzig
The modal logic of equilibrium models (regular paper)
In : Frontiers of Combining Systems (FroCoS 2011), Saarbrucken, 05/10/11-07/10/11, Springer, LNCS 6989, pp. 135-146, 2011.
URL : http://www.irit.fr/~Andreas.Herzig/P/Frocos11.html
BibTeXAndreas Herzig, Emiliano Lorini, Nicolas Troquard
A dynamic logic of institutional actions (regular paper)
In : Computational Logic in Multi-Agent Systems (CLIMA 2011), Barcelona, 17/07/11-18/07/11, Vol. 6814, João Leite, Paolo Torroni (Eds.), Springer, LNCS/LNAI, pp. 295-311, July 2011.
Abstract URL : http://www.springerlink.com/content/kt2wu301vl67m254/fulltext.pdf
BibTeXAndreas Herzig, Emiliano Lorini, Frédéric Moisan, Nicolas Troquard
A dynamic logic of normative systems (regular paper)
In : International Joint Conference on Artificial Intelligence (IJCAI 2011), Barcelona, 18/07/11-22/07/11, Toby Walsh (Eds.), International Joint Conference on Artificial Intelligence (IJCAI), pp. 228-233, July 2011.
Abstract URL : http://www.irit.fr/~Andreas.Herzig/P/Ijcai11.html
BibTeXLuis Fariñas del Cerro, Andreas Herzig
Contingency-based equilibrium logic (regular paper)
In : Logic Programming and Nonmonotonic Reasoning (LPNMR 2011), Vancouver, 16/05/11-19/05/11, Jim Delgrande, Wolfgang Faber (Eds.), Springer-Verlag, LNCS 6645, pp. 223-228, May 2011.
Philippe Balbiani, Nadine Guiraud, Andreas Herzig, Emiliano Lorini
Agents that speak: modelling communicative plans and information sources in a logic of announcements (short paper)
In : International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), Taipei, Taiwan, 02/05/11-06/05/11, ACM Press, pp. 1207-1208, 2011.
URL : http://www.ifaamas.org/Proceedings/aamas2011/papers/B33.pdf
BibTeXTableau systems for MAS logics: implementing your prover in LoTREC
In : Workshop “Logics for Resource-Bounded Agents” at MALLOW 2010, Lyon, 31/08/10-01/09/10 (invited speaker), Thomas Ågotnes, Natasha Alechina, Brian Logan (Eds.).
Logics of propositional control: a Swiss knife for MAS
In : Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW 2010), Lyon, 30/08/10-02/09/10 (invited speaker), Olivier Boissier, Amal El Fallah, Salima Hassas, Nicolas Maudet (Eds.).
Chiaki Sakama, Martin Caminada, Andreas Herzig
A Logical Account of Lying (regular paper)
In : European Conference on Logics in Artificial Intelligence (JELIA 2010), Helsinki, 13/09/10-15/09/10, Tomi Janhunen, Ilkka Niemelä (Eds.), Springer-Verlag, LNCS 6341, pp. 286-299, September 2010.
Abstract URL : http://www.irit.fr/~Andreas.Herzig/P/Igpl15.html
BibTeXPhilippe Balbiani, Rachid Echahed, Andreas Herzig
A Dynamic Logic for Termgraph Rewriting (regular paper)
In : International Conference on Graph Transformation (ICGT 2010), Twente, 27/09/10-02/10/10, Hartmut Ehrig, Arend Rensink, Grzegorz Rozenberg, Andy Schürf (Eds.), Springer-Verlag, LNCS 6372, pp. 59-74, September 2010.
Abstract URL : http://www.irit.fr/~Andreas.Herzig/P/Entcs09.html
BibTeXJulien Bourdon, Guillaume Feuillade, Andreas Herzig, Emiliano Lorini
Trust in complex actions (poster)
In : European Conference on Artificial Intelligence (ECAI 2010), Lisbon, 16/08/10-20/08/10, IOS Press, pp. 1037-1038, August 2010.
Julien Bourdon, Guillaume Feuillade, Andreas Herzig, Emiliano Lorini
Trust in complex actions
In : Workshop ‘Logics in Security’ at ESSLLI 2010, Copenhagen, 09/08/10-13/08/10, Dov Gabbay, Leendert van der Torre (Eds.).
Abstract URL : http://www.irit.fr/PERSONNEL/LILaC/Herzig/P/Lis10_trust.html
BibTeXAndreas Herzig, Nicolas Troquard
Dynamic languages of propositional control for protocol specification
In : Workshop “Logics in Security” at ESSLLI 2010, Copenhague, 09/08/10-13/08/10, Dov Gabbay, Leendert van der Torre (Eds.).
Mathijs De Boer, Andreas Herzig, Tiago de Lima, Emiliano Lorini
Tableaux for Acceptance Logic (regular paper)
In : International Workshop on Declarative Agent Languages and Technologies (DALT 2009), Budapest, Hungary, 11/05/09-12/05/09, M. Baldoni, J. Bentahar, J. Lloyd, M. B. van Riemsdijk (Eds.), Springer-Verlag, LNAI 5948, pp. 85-100, April 2010.
Guillaume Aucher, Davide Grossi, Andreas Herzig
Dynamic context logic and its application to norm change
In : Dagstuhl Seminar on Normative Multi-Agent Systems (NorMAS 2009), Dagstuhl, Germany, 15/03/09-20/03/09, Guido Boella, Pablo Noriega, Gabriella Pigozzi, Harko Verhagen (Eds.).
Nadine Guiraud, Andreas Herzig, Emiliano Lorini
Speech acts as announcements
In : Dagstuhl Seminar on Information processing, rational belief change and social interaction, Dagstuhl, Germany, 23/08/09-27/08/09, Giacomo Bonanno, James Delgrande, Hans Rott (Eds.).
URL : http://drops.dagstuhl.de/opus/volltexte/2009/2293/pdf/09351.HerzigAndreas.Paper.2293.pdf
BibTeXCarole Adam, Andreas Herzig, Dominique Longin, Vincent Louis
Unifying the intentional and institutional semantics of speech acts
In : Pre-proceedings of International Workshop on Declarative Agent Languages and Technologies (DALT 2009), Budapest, Hungary, 10/05/09-15/05/09, Matteo Baldoni, Jamal Bentahar, John Lloyd (Eds.).
URL : http://www.irit.fr/publis/LILAC/Conf_sans_actes/2009_Adam_et_al_DALT.pdf
BibTeXGuillaume Aucher, Davide Grossi, Andreas Herzig, Emiliano Lorini
Dynamic Context Logic (regular paper)
In : LORI-II Workshop on Logic, Rationality and Interaction, Chongqing (China), 08/10/09-11/10/09, Springer-Verlag, pp. 15-26, 2009.
Emiliano Lorini, Mehdi Dastani, Hans Van Ditmarsch, Andreas Herzig, John-Jules Meyer
Intentions and assignments (regular paper)
In : LORI-II Workshop on Logic, Rationality and Interaction, Chongqing, 08/10/09-11/10/09, Springer-Verlag, pp. 198-211, 2009.
Emiliano Lorini, François Schwarzentruber, Andreas Herzig
Epistemic Games in Modal Logic: Joint Actions, Knowledge and Preferences all together (regular paper)
In : LORI-II Workshop on Logic, Rationality and Interaction, Chongqing, China, 08/10/09-11/10/09, Springer-Verlag, pp. 212-226, 2009.
Yann Krupa, Laurent Vercouter, Jomi F. Hübner, Andreas Herzig
Trust Based Evaluation of Wikipedia’s Contributors (regular paper)
In : International Workshop on Engineering Societies in the Agents World (ESAW 2009), Utrecht, 18/11/09-20/11/09, Springer-Verlag, LNCS 5881, pp. 148-161, November 2009.
Laszlo Aszalos, Andreas Herzig
A protocol for execution of distributed logic programs (regular paper)
In : International Symposium on Intelligent Distributed Computing (IDC 2009), Ayia Napa, Cyprus, 12/10/09-14/10/09, George A. Papadopoulos, Costin Badica (Eds.), Springer-Verlag, Studies in Computational Intelligence 237, pp. 21-30, October 2009.
Nadine Guiraud, Andreas Herzig, Emiliano Lorini
Speech acts as announcements
In : Proceedings of the second international workshop on Logic and the Simulation of Interaction and Reasoning (LSIR2), Pasadena (USA), 12/07/09-12/07/09.
URL : http://www.irit.fr/~Andreas.Herzig/P/WsIjcai09_Lsir09.pdf
BibTeXBenoit Gaudou, Andreas Herzig, Dominique Longin
Logical formalization of social commitments: Application to Agent Communication Languages (poster)
In : International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, 10/05/09-15/05/09, Vol. 2, Keith Decker, Jaime Sichman (Eds.), IFAAMAS, pp. 1293-1294, 2009.
Abstract URL : http://www.irit.fr/publis/LILAC/Conf_internationales/2009_AAMAS_Gaudou_et_al.pdf
BibTeXJomi F. Hübner, Emiliano Lorini, Laurent Vercouter, Andreas Herzig
From cognitive trust theories to computational trust
In : Proceedings of the 12th International Workshop on Trust in Agent Societies, Budapest, Hungary, 10/05/09-11/05/09.
Andreas Herzig, Tiago de Lima, Emiliano Lorini
On the Dynamics of Institutional Agreements (regular paper)
In : International Workshop on Knowledge Representation for Agents and Multi-agent Systems (KRAMAS 2008), Sydney, 17/09/08-17/09/08, John-Jules Meyer, Jan Broersen (Eds.), Springer-Verlag, LNAI 5605, pp. 66-80, October 2009.
Abstract URL : http://www.irit.fr/~Andreas.Herzig/P/Synthese09_instAgree.html
BibTeXAndreas Herzig, Emiliano Lorini, Jomi F. Hübner, Jonathan Ben-Naim, Olivier Boissier, Cristiano Castelfranchi, Robert Demolombe, Dominique Longin, Laurent Perrussel, Laurent Vercouter
Prolegomena for a Logic of Trust and Reputation (regular paper)
In : International Workshop on Normative Multiagent Systems (NorMAS 2008), Luxembourg, 15/07/08-16/07/08, Guido Boella, Gabriella Pigozzi, Munindar Singh, Harko Verhagen (Eds.), University of Luxembourg Press, pp. 143-157, 2008.
URL : http://www.irit.fr/publis/LILAC/Conf_internationales/2008_Herzig_et_al_NORMAS.pdf
BibTeXMeghyn Bienvenu, Andreas Herzig, Guilin Qi
Prime implicate-based belief revision operators
In : European Conference on Artificial Intelligence (ECAI 2008), Patras, Greece, 21/07/08-25/07/08, Malik Ghallab, Constantine D. Spyropoulos, Nikos Fakotakis, Nikos Avouris (Eds.), IOS Press, pp. 741-742, July 2008.
URL : http://www.irit.fr/recherches/LILAC/Pers/Bienvenu/papers/BieHerQi_ECAI08.pdf
BibTeXHans Van Ditmarsch, Andreas Herzig, Jérôme Lang, Pierre Marquis
Introspective forgetting
In : Advances in Artificial Intelligence (AI 2008), Auckland, 01/12/08-05/12/08, Wayne R. Wobcke , Mengjie Zhang (Eds.), Springer, LNAI 5360, pp. 18-29, 2008.
Andreas Herzig, Emiliano Lorini
Static and dynamic aspects of knowledge about powers
In : Logic of change, change of logic (LoCCoL) — Prague International Colloquium, Prague, 10/09/08-14/09/08, Brian Hill, Ondrej Majer, Michal Peli (Eds.).
Andreas Herzig, Tiago de Lima, Emiliano Lorini
What do we accept after an announcement?
In : Logic of change, change of logic (LoCCoL) — Prague International Colloquium, Prague, 10/09/08-14/09/08, Brian Hill, Ondrej Majer, Michal Peli (Eds.).
Andreas Herzig, Tiago de Lima, Emiliano Lorini
What Do We Accept After an Announcement?
In : Proceedings of the International Workshop on Knowledge Representation for Agents and Multi-Agent Systems (KRAMAS 2008), Sydney, 17/09/08-17/09/08, J.J. Meyer, J. Broersen (Eds.).
Uniform interpolation by resolution in modal logic
In : European Conference on Logics in Artificial Intelligence (JELIA 2008), Dresden, 29/09/08-01/10/08, Vol. 5293, Steffen Hölldobler, Carsten Lutz, Heinrich Wansing (Eds.), Springer-Verlag, Lecture Notes in Computer Science, pp. 219-231, September 2008.
Andreas Herzig, Emiliano Lorini
Logics of Context for Multi-Agent Systems
In : Contexts and Ontologies (C&O-2008), Patras, Greece, 21/07/08 (invited speaker), Jérôme Euzenat, Chiara Ghidini, Deborah McGuinness, Guilin Qi (Eds.).
Abstract URL : http://www.irit.fr/~Andreas.Herzig/P/WsEcai08_Ctxt0nto.html
BibTeXAndreas Herzig, François Schwarzentruber
Properties of logics of individual and group agency (regular paper)
In : Advances in Modal Logic (AiML 2008), Nancy, 09/09/08-12/09/08, Carlos Areces, Robert Goldblatt (Eds.), College Publications, pp. 133-149, September 2008.
Abstract URL : http://www.irit.fr/~Andreas.Herzig/P/Aiml08.html
BibTeXEmiliano Lorini, Andreas Herzig, Jan Broersen, Nicolas Troquard
Grounding power on actions and mental attitudes
In : Workshop on Formal Approaches to Multi-Agent Systems Formal Approaches to Multi-Agent Systems (FAMAS 2007), Durham (UK), 06/09/07-07/09/07, Durham University Press, pp. 371-390, 2007.
Guillaume Aucher, Andreas Herzig
De DEL à EDL ou comment illustrer la puissance des événements inverses
In : Journées Francophones MODÈLES FORMELS de l’INTERACTION (MFI 2007), Paris, 30/05/07-01/06/07, Annales du LAMSADE, pp. 253-260, 2007.
Guillaume Aucher, Philippe Balbiani, Luis Fariñas del Cerro, Andreas Herzig
Global and local graph modifiers
In : Methods for Modalities (MAM 2007), Cachan, France, 29/11/07-30/11/07, Elsevier, ENTCS , (on line), 2007.
Abstract URL : http://www.irit.fr/publis/LILAC/M4M.pdf
BibTeXGuillaume Aucher, Andreas Herzig
From DEL to EDL: exploring the power of converse events
In : European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2007), Hammamet, 31/10/07-02/11/07, Vol. 4724, Springer, LNCS, pp. 199-209, 2007.
Abstract URL : http://www.irit.fr/publis/LILAC/Ecsqaru_2007.pdf
BibTeXHans Van Ditmarsch, Andreas Herzig, Tiago de Lima
Raisonnement sur les actions : de Toronto à Amstermdam
In : Journées Francophones MODÈLES FORMELS de l’INTERACTION (MFI 2007), Paris, 30/05/07-01/06/07, Jérôme Lang, Yves Lespérance, David Sadek, Nicolas Maudet (Eds.), Université Paris Dauphine, Annales du Lamsade 8, pp. 127-138, 2007.
Philippe Balbiani, Alexandru Baltag, Hans Van Ditmarsch, Andreas Herzig, Tomohiro Hoshi, Tiago de Lima
What can we achieve by arbitrary announcements? A dynamic take on Fitch’s knowability
In : Theoretical Aspects of Rationality and Knowledge (TARK 2007), Bruxelles, Belgique, 25/06/07-27/06/07, Dov Samet (Eds.), Presses universitaires de Louvain, pp. 42-51, June 2007.
Abstract URL : http://www.irit.fr/~Andreas.Herzig/P/Tark07ncl.html
BibTeXPhilippe Balbiani, Andreas Herzig
Talkin’bout Kripke models
In : International Workshop on Hybrid Logic 2007 (HyLo 2007), Dublin, 06/08/07-10/08/07, Torben Braüner, Jørgen Villadsen (Eds.).
Abstract URL : http://www.irit.fr/~Andreas.Herzig/P/HyLo07.html
BibTeXJan Broersen, Andreas Herzig, Nicolas Troquard
Normal Coalition Logic and its conformant extension
In : Theoretical Aspects of Rationality and Knowledge (TARK 2007), Brussels, 25/06/07-27/06/07, Dov Samet (Eds.), Presses universitaires de Louvain, pp. 91-101, 2007.
Abstract URL : http://www.irit.fr/~Andreas.Herzig/P/Tark07ncl.html
BibTeXPhilippe Balbiani, Hans Van Ditmarsch, Andreas Herzig, Tiago de Lima
A tableau method for public announcement logics
In : International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2007), Aix-en-Provence, 03/07/07-06/07/07, Vol. 4548, Nicola Olivetti (Eds.), Springer-Verlag, LNAI, pp. 43-59, 2007.
Abstract URL : http://www.irit.fr/~Andreas.Herzig/P/Tableaux07.html
BibTeXHans Van Ditmarsch, Andreas Herzig, Tiago de Lima
Optimal Regression for Reasoning about Knowledge and Actions
In : Conference on Artificial Intelligence (AAAI 2007), Vancouver, 22/07/07-26/07/07, Robert C. Holte, Adele Howe (Eds.), AAAI Press, pp. 1-6, 2007.
Emiliano Lorini, Nicolas Troquard, Andreas Herzig, Cristiano Castelfranchi
Delegation and mental states (regular paper)
In : International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), Honolulu, Hawaii, USA, 14/05/07-18/05/07, Edmund H. Durfee, Makoto Yokoo (Eds.), ACM Press, pp. 610-612, May 2007.
Abstract URL : http://www.irit.fr/~Andreas.Herzig/aamas07.pdf
BibTeXCarole Adam, Benoit Gaudou, Andreas Herzig, Dominique Longin
A logical framework for an emotionally aware intelligent environment
In : workshop on Artificial Intelligence Techniques for Ambient Intelligence, European Conference on Artificial Intelligence (AITAmI@ECAI’2006), Riva de Garda, Italy, 29/08/06-29/08/06, Juan Carlos Augusto, Daniel Shapiro (Eds.).
Abstract URL : http://www.irit.fr/publis/LILAC/Conf_sans_actes/2006_Adam_et_al_AITAmI.pdf
BibTeXOlivier Gasquet, Andreas Herzig, Mohamad Sahade
Terminating modal tableaux with simple completenness proof
In : Advances in Modal Logic (AiML 2006), Noosa, Sunshine Coast, Queensland, Australia, 25/09/06-28/09/06, Vol. 6, Renate Schmidt, Ian Pratt-Hartmann, Mark Reynolds, Heinrich Wansing (Eds.), College Publications, pp. 167-186, September 2006.
Abstract URL : http://www.aiml.net/volumes/volume6/Gasquet-Herzig-Sahade.ps
BibTeXLuis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig, Mohamad Sahade
LoTREC: An environment for experiencing Kripke Semantics
In : International Congress on Tools for Teaching Logic (ICTTL 2006), Salamanca, Spain, 26/09/06-30/09/06, Maria Manzano, Belén Pérez Lancho, Ana Gil (Eds.), University of Salamanca, pp. 41-44, September 2006.
Jan Broersen, Andreas Herzig, Nicolas Troquard
A STIT-extension of ATL (regular paper)
In : European Conference on Logics in Artificial Intelligence (JELIA 2006), Liverpool, England, UK, 13/09/06-15/09/06, Vol. 4160, Springer, Lecture Notes in Artificial Intelligence, pp. 69-81, September 2006.
Abstract URL : http://www.irit.fr/~Andreas.Herzig/P/Jelia06_Jan.pdf
BibTeXOlivier Gasquet, Andreas Herzig, Mohamad Sahade
Une plateforme de raisonnement par tableaux
In : Congrès Francophone de Reconnaissance des Formes et Intelligence Artificielle (RFIA 2006), Tours, France, 25/01/06-27/01/06, Association Française pour la Reconnaissance et l’Interprétation des Formes (AFRIF), (on line), 2006.
Emiliano Lorini, Andreas Herzig, Cristiano Castelfranchi
Introducing attempt in a modal logic of intentional action
In : European Conference on Logics in Artificial Intelligence (JELIA 2006), Liverpool (UK), 13/09/06-15/09/06, Michael Fisher, Wiebe van der Hoek (Eds.), Springer-Verlag, LNAI 4160, pp. 280-292, September 2006.
Abstract URL : http://www.irit.fr/~Andreas.Herzig/P/Jelia06_Emiliano.pdf
BibTeXCarole Adam, Fabrice Evrard, Benoit Gaudou, Andreas Herzig, Dominique Longin
Modélisation logique d’agents rationnels pour l’intelligence ambiante (regular paper)
In : Journées Francophones sur les Systèmes Multi-Agents (JFSMA 2006), Annecy, France, 18/10/06-20/10/06, Vincent Chevrier, Marc-Philippe Huget (Eds.), Hermès Science, pp. 81-94, 2006 (Premier prix de la meilleure contribution).
Abstract URL : http://www.irit.fr/publis/LILAC/Conf_nationales/2006_Adam_et_al_JFSMA.pdf
BibTeXCarole Adam, Benoit Gaudou, Andreas Herzig, Dominique Longin
OCC’s emotions: a formalization in a BDI logic (regular paper)
In : International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA 2006), Varna, Bulgaria, 13/09/06-15/09/06, Jérôme Euzenat, John Domingue (Eds.), Springer, LNAI 4183, pp. 24-32, 2006.
Abstract URL : http://www.irit.fr/publis/LILAC/Conf_internationales/2006_Adam_et_al_AIMSA.pdf
BibTeXAndreas Herzig, Emiliano Lorini, Nicolas Troquard, Robert Trypuz
The hidden faces of Intention: using STIT to discover them
In : Studia Logica International Conference, Towards Mathematical Philosophy, Trends in Logic IV, Toruñ, Poland, 01/09/06-04/09/06.
Jan Broersen, Andreas Herzig, Nicolas Troquard
From Coalition Logic to STIT
In : International Workshop on Logic and Communication in Multi-Agent Systems (LCMAS 2005), Edinburgh, Scotland, UK, 01/08/05-01/08/05, Vol. 157, Wiebe van der Hoek, Alessio Lomuscio, Erik de Vink, Mike Wooldridge (Eds.), Elsevier, Electronic Notes in Theoretical Computer Science 4, pp. 23-35, May 2006.
Abstract URL : http://dx.doi.org/10.1016/j.entcs.2006.02.011
BibTeXAndreas Herzig, Laurent Perrussel, Ivan José Varzinczak
Elaborating domain descriptions
In : Eleventh International Workshop on Nonmonotonic Reasoning (NMR¿2006), Lake District, .
Epistemic Actions and Ontic Actions: a Unified Logical Framework
In : International Joint Conference: IBERAMIA-SBIA (IBERAMIA/SBIA 2006), Ribeirão Preto, Brazil, 23/10/06-27/10/06, Jaime Simão Sichman, Helder Coelho, Solange Oliveira Rezende (Eds.), Springer-Verlag, Lecture Notes in Artificial Intelligence 4140, pp. 409-418, October 2006.
Andreas Herzig, Ivan José Varzinczak
A modularity approach for a fragment of ALC
In : European Conference on Logics in Artificial Intelligence (JELIA 2006), Liverpool, 13/09/06-15/09/06, Springer-Verlag, LNCS/LNAI 4160, pp. 216-228, September 2006.
Andreas Herzig, Laurent Perrussel, Ivan José Varzinczak
Elaborating domain descriptions
In : European Conference on Artificial Intelligence (ECAI 2006), Riva del Garda, 26/08/06-01/09/06, Gerhard Brewka, Silvia Coradeschi, Anna Perini, Paolo Traverso (Eds.), IOS Press, pp. 397-401, August 2006.
Benoit Gaudou, Andreas Herzig, Dominique Longin, Matthias Nickles
A New Semantics for the FIPA Agent Communication Language based on Social Attitudes (regular paper)
In : European Conference on Artificial Intelligence (ECAI 2006), Trento, Italy, 29/08/06-01/09/06, Gerhard Brewka, Silvia Coradeschi, Anna Perini, Paolo Traverso (Eds.), IOS Press, pp. 245-249, 2006.
Abstract URL : http://www.irit.fr/publis/LILAC/Conf_internationales/2006_Gaudou_et_al_ECAI.pdf
BibTeXBenoit Gaudou, Andreas Herzig, Dominique Longin
Grounding and the expression of belief (regular paper)
In : International Conference on Principles of Knowledge Representation and Reasoning (KR 2006), Windermere, UK, 02/06/06-05/06/06, Patrick Doherty, John Mylopoulos, Christopher A. Welty (Eds.), AAAI Press, pp. 211-229, 2006.
Abstract URL : http://www.irit.fr/publis/LILAC/Conf_internationales/2006_Gaudou_et_al_KR.pdf
BibTeXAndreas Herzig, Nicolas Troquard
Knowing How to Play: Uniform Choices in Logics of Agency (regular paper)
In : International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), Hakodate, Japan, 08/05/06-12/05/06, Gerhard Weiss, Peter Stone (Eds.), ACM Press, pp. 209-216, May 2006.
Abstract URL : http://www.irit.fr/~Andreas.Herzig/P/Aamas06.html
BibTeXEmiliano Lorini, Luca Tummolini, Andreas Herzig
Establishing Mutual Beliefs by Joint Attention: towards a Formal Model of Public Events
In : Annual Conference of the Cognitive Science Society (CogSci 2005), Stresa (Italy), 21/07/05-23/07/05, Lawrence Erlbaum Associates, pp. 1325-1330, 2005.
Andreas Herzig, Ivan José Varzinczak
Cohesion, coupling and the meta-theory of actions
In : 19th Int. Joint Conf. on Artificial Intelligence (IJCAI’2005), Edinburgh, L. Kaelbling, A. Saffiotti (Eds.), Morgan Kaufmann Publishers, pp. 442-447, August 2005.
On updates with integrity constraints
In : Belief Change in Rational Agents: Perspectives from Artificial Intelligence, Philosophy, and Economics, Dagstuhl (Germany), 07/08/05-12/08/05, Jim Delgrande, Jérôme Lang, Hans Rott, Jean-Marc Tallon (Eds.).
URL : http://www.irit.fr/~Andreas.Herzig/P/Dagstuhl05.html
BibTeXMehdi Dastani, Andreas Herzig, Joris Hulstijn, Leendert W. N. Van Der Torre
Inferring trust (regular paper)
In : Computational Logic in Multi-Agent Systems (CLIMA 2005), Lisbon, Portugal, 29/09/05-30/09/05, João Leite, Paolo Torroni (Eds.), Springer-Verlag, pp. 144-160, September 2005.
URL : http://www.irit.fr/~Andreas.Herzig/P/Clima05.html
BibTeXSebastian Schaffert, Francois Bry, Philippe Besnard, Hendrik Decker, Stephan Decker, Carlos Enguix, Andreas Herzig
Paraconsistent reasoning for the semantic web (position paper)
In : ISWC Workshop on Uncertainty Reasoning for the Semantic Web (URSW), Galway, Ireland, 07/11/05, Ken Laskey (Eds.).
Olivier Gasquet, Andreas Herzig, Dominique Longin, Mohamad Sahade
LoTREC: Logical Tableaux Research Engineering Companion (regular paper)
In : International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2005), Koblenz, Germany, 14/09/05-17/09/05, Vol. 3702, Bernhard Beckert (Eds.), Springer-Verlag, LNCS, pp. 318-322, September 2005.
Abstract URL : http://www.irit.fr/publis/LILAC/Conf_internationales/2005_Gasquet_et_al_TABLEAUX.pdf – https://doi.org/10.1007/11554554_25
BibTeXAndreas Herzig, Jérôme Lang, Pierre Marquis
Action progression and revision in multiagent belief structures
In : The Sixth Workshop on Nonmonotonic Reasoning, Action, and Change (NRAC 2005), Edinburgh, 01/08/05.
URL : http://www.irit.fr/~Andreas.Herzig/P/Nrac05.html
BibTeXBenoit Gaudou, Andreas Herzig, Dominique Longin
A logical framework for grounding-based dialogue analysis
In : 3rd Int. Workshop on Logic and Communication in Multiagent Systems (LCMAS 2005), Edinburgh, 01/08/05, Wiebe van der Hoek, Alessio Lomuscio, Erik de Vink, Mike Wooldridge (Eds.).
URL : http://www.irit.fr/publis/LILAC/Conf_sans_actes/2005_Gaudou_et_al_LCMAS.pdf
BibTeXAndreas Herzig, Ivan José Varzinczak
Domain descriptions should be modular
In : Sixteenth European Conference on Artificial Intelligence (ECAI¿2004), Valencia, Ramón López de Mántara, Lorenza Saitta (Eds.), IOS Press, pp. 348-352, August 2004.
Mehdi Dastani, Andreas Herzig, Joris Hulstijn, Leendert W. N. Van Der Torre
Inferring trust
In : CLIMA V, Lisbon, Portugal, 29/09/04-30/09/04, João Leite, Paolo Torroni (Eds.).
URL : http://www.irit.fr/~Andreas.Herzig/P/clima04.html
BibTeXAndreas Herzig, Jérôme Lang, Pierre Marquis
Revision and update in multiagent belief structures
In : 5th Conf. on Logic and the Foundations of Game and Decision Theory (LOFT6), Leipzig (Germany), 16/07/04-18/07/04.
URL : http://www.irit.fr/~Andreas.Herzig/P/Loft04.html
BibTeXAndreas Herzig, Ivan José Varzinczak
On modularity of theories
In : Proc. Int. Workshop on Advances in Modal Logic (AiML 2004), Manchester, 09/09/04-11/09/04.
URL : http://www.irit.fr/~Andreas.Herzig/P/AiML04.html
BibTeXRobert Demolombe, Andreas Herzig
Obligation change in dependence logic and situation calculus (regular paper)
In : International Workshop on Deontic Logic in Computer Science (DEON 2004), Madeira, Portugal, 26/05/04-28/05/04, Alessio Lomuscio, Donald Nute (Eds.), Springer-Verlag, pp. 57-73, May 2004.
URL : http://www.irit.fr/~Andreas.Herzig/P/Deon04.html
BibTeXAndreas Herzig, Ivan José Varzinczak
Domain descriptions should be modular
In : Proc. 10th Int. Workshop on Non-Monotonic Reasoning (NMR’2004), Whistler, Canada, 06/06/04-08/06/04.
URL : http://www.irit.fr/~Andreas.Herzig/P/Ecai04.html
BibTeXAndreas Herzig, Dominique Longin
C&L intention revisited (regular paper)
In : International Conference on Principles of Knowledge Representation and Reasoning (KR 2004), Whistler, Canada, 02/06/04-05/06/04, Didier Dubois, Chris Welty, Mary-Anne Williams (Eds.), AAAI Press, pp. 527-535, June 2004.
URL : http://www.irit.fr/publis/LILAC/Conf_internationales/2004_Herzig-Longin_KR.pdf
BibTeXAndreas Herzig, Ivan José Varzinczak
Domain descriptions should be modular (preliminary draft)
In : Electronic Festschrift for the 60th Anniversary of Norman Foo, Sydney, 29/11/03, Abhaya Nayak, Maurice Pagnucco (Eds.).
URL : http://www.irit.fr/~Andreas.Herzig/P/Ecai04.html
BibTeXLeila Amgoud, David Mercier, Andreas Herzig
Calcul des intentions d’agent à partir de ses désirs
In : 2ème journées Francophones sur les Modèles Formels de l’Interaction, MFI, Lille, ., pp. 3-9, May 2003.
Andreas Herzig, Sébastien Konieczny, Laurent Perrussel
On iterated revision in the AGM framework
In : Seventh European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU-2003), Aalborg, Denmark, 02/07/03-05/05/03, Springer Verlag, LNAI 2711, pp. 477-488, July 2003.
Abstract URL : http://www.irit.fr/~Andreas.Herzig/P/Ecsqaru03Rev.html
BibTeXModal probability and belief
In : 1st Int. Workshop on Knowledge Representation and Approximate Reasoning, Olsztyn, Poland, 16/05/03-18/05/03.
Robert Demolombe, Andreas Herzig, Ivan José Varzinczak
Regression in modal logic
In : Methods for Modalities (M4M-3), Nancy, 22/09/03-23/09/03.
Abstract URL : http://www.irit.fr/~Andreas.Herzig/P/Jancl03.html
BibTeXAndreas Herzig, Jérôme Lang, Pierre Marquis
Action representation and partially observable planning using epistemic logic
In : Proc. Int. Joint Conf. on Artificial Intelligence (IJCAI-03), Acapulco, 12/08/03-15/08/03, Morgan Kaufman, pp. 1067-1072, August 2003.
Abstract URL : http://www.irit.fr/~Andreas.Herzig/P/ijcai03.html
BibTeXAndreas Herzig, Dominique Longin
Beliefs, intentions, actions and speech acts
In : Seventh Workshop on the Semantics and Pragmatics of Dialogue (DiaBruck 2003), I. Kruijff-Korbayovà and C. Kosny (editors), Wallerfangen (Germany), 04/09/03-06/09/03.
Andreas Herzig, Dominique Longin
On modal probability and belief (regular paper)
In : European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2003), Aalborg, Denmark, 02/07/03-05/07/03, Springer, LNAI 2711, pp. 62-73, July 2003.
Abstract URL : http://www.irit.fr/publis/LILAC/Conf_internationales/2003_Herzig-Longin_ECSQARU.pdf
BibTeXAndreas Herzig, Dominique Longin
Intention et principes de cooperation pour le traitement des requetes et des questions fermees au travers des assertifs
In : Congrès Francophone AFRIF-AFIA de Reconnaissance des Formes et Intelligence Artificielle (RFIA 2002), Angers, France, 08/01/02-10/01/02.
Abstract URL : https://www.irit.fr/publis/LILAC/Conf_sans_actes/2002_Herzig-Longin_RFIA.pdf
BibTeXMarcos Alexandre Castilho, Andreas Herzig, Ivan José Varzinczak
It depends on the context! A decidable logic of actions and plans based on a ternary dependence relation
In : Proc. Nineth International Workshop on Non-Monotonic Reasoning (NMR’2002), Toulouse, 19/04/02-21/04/02.
URL : http://www.irit.fr/~Andreas.Herzig/P/Nmr02.html
BibTeXAndreas Herzig, Dominique Longin
A logic of intention with cooperation principles and with assertive speech acts as communication primitives (regular paper)
In : International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2002), Bologna, 15/07/02-19/07/02, Cristiano Castelfranchi, W. Lewis Johnson (Eds.), ACM Press, pp. 920-927, 2002.
Abstract URL : http://www.irit.fr/publis/LILAC/Conf_internationales/2002_Herzig-Longin_AAMAS.pdf
BibTeXAndreas Herzig, Jérôme Lang, Dominique Longin
I thought you didn’t know! — On belief revision in dynamic doxastic logic
In : 5th Conf. on Logic and the Foundations of Game and Decision Theory (LOFT5), Torino, 28/06/02-30/06/02.
URL : http://www.irit.fr/publis/LILAC/Conf_sans_actes/2002_Herzig_et_al_LOFT.pdf
BibTeXAndreas Herzig, Dominique Longin
Sensing and revision in a modal logic of belief and action (regular paper)
In : European Conference on Artificial Intelligence (ECAI 2002), Lyon, 23/07/02-26/07/02, Frank van Harmelen (Eds.), IOS Press, pp. 307-311, July 2002.
Abstract URL : http://www.irit.fr/publis/LILAC/Conf_internationales/2002_Herzig-Longin_ECAI.pdf
BibTeXOlivier Gasquet, Andreas Herzig, Dominique Longin
Actions perceptives et non-perceptives dans une logique de croyances et intentions
In : Premières Journées Francophones des Modeles formels de l’interaction (MFI’01), Toulouse, 21/05/01-23/05/01, B. Chaib-draa, P. Enjalbert (Eds.).
URL : https://www.irit.fr/publis/LILAC/Conf_sans_actes/2001_Gasquet_et_al_MFI.pdf
BibTeXLaszlo Aszalos, Andreas Herzig
Reasoning about Failure (regular paper)
In : Engineering Societies in the Agents’ World (ESAW 2001), Prague, 07/07/01, Springer-Verlag, pp. 74-86, July 2001.
URL : http://www.irit.fr/~Andreas.Herzig/P/esaw01.html
BibTeXMaud Champagne, Rémi Faure, Andreas Herzig, Dominique Longin, Jean-Luc Nespoulous, Jacques Virbel
Formalisation logique de la communication non-littérale à la lumière d’aperçus pragmatiques et neuropsycholinguistiques
In : Premières Journées Francophones des Modèles Formels de l’Interaction (MFI’01), Toulouse, 21/05/01-23/05/01, B. Chaib-draa, P. Enjalbert (Eds.).
URL : https://www.irit.fr/publis/LILAC/Conf_sans_actes/2001_Champagne_et_al_MFI.pdf
BibTeXAndreas Herzig, Jérôme Lang, Pierre Marquis
Planning as abduction
In : IJCAI’01 Workshop on Planning under Uncertainty, Seattle, 01/01/01-05/01/01.
URL : http://www.irit.fr/~Andreas.Herzig/P/WsIjcai01.html
BibTeXAndreas Herzig, Jérôme Lang, Pierre Marquis, Thomas Polacsek
Updates, actions, and planning (regular paper)
In : International Joint Conference on Artificial Intelligence (IJCAI ), Seattle, Morgan Kaufmann Publishers, pp. 119-124, August 2001.
URL : http://www.irit.fr/~Andreas.Herzig/P/ijcai01.html
BibTeXLuis Fariñas del Cerro, David Fauthoux, Olivier Gasquet, Andreas Herzig, Dominique Longin, Fabio Massacci
Lotrec: a generic tableau prover for modal and description logics (regular paper)
In : International Joint Conference on Automated Reasoning (IJCAR 2001), Siena, Italy, 18/06/01-23/06/01, Vol. 2083, R. Goré, A. Leitsch, T. Nipkow (Eds.), Springer-Verlag, LNCS, pp. 453-458, 2001.
URL : http://www.irit.fr/publis/LILAC/Conf_internationales/2001_Farinas_et_al_IJCAR.pdf
BibTeXAndreas Herzig, Jérôme Lang, Dominique Longin, Thomas Polacsek
A logic for planning under partial observability (regular paper)
In : National Conference on Artificial Intelligence (AAAI 2000), Austin, Texas (USA), 30/07/00-03/08/00, Henry Kautz, Bruce Porter (Eds.), AAAI Press, pp. 768-773, 2000.
Abstract URL : http://www.irit.fr/publis/LILAC/Conf_internationales/2000_Herzig_et_al_AAAI.pdf
BibTeXAndreas Herzig, Jérôme Lang, Dominique Longin, Thomas Polacsek
A logic for planning under partial observability
In : The Fifth International Conference on Artificial Intelligence Planning \& Scheduling (AIPS2000), Breckenridge, CO, USA, 11/04/00-15/04/00.
URL : http://www.irit.fr/publis/LILAC/Conf_sans_actes/2000_Herzig_et_al_AIPS.pdf
BibTeXAndreas Herzig, Dominique Longin
A Topic-Based Framework for Rational Interaction
In : Proc. 7e Conf. annuelle sur le Traitement Automatique des Langues Naturelles (TALN-2000), Lausanne, 16/10/00-18/10/00.
Abstract URL : http://www.irit.fr/publis/LILAC/Conf_sans_actes/2000_Herzig-Longin_TALN.pdf
BibTeXAndreas Herzig, Jérôme Lang, Thomas Polacsek
A modal logic for epistemic tests
In : Proceedings of the 14th European Conference on Artificial Intelligence ECAI 2000, Berlin, Germany, 20/08/00-25/08/00, Werner Horn, pp. 553-557, August 2000.
Rémi Faure, Andreas Herzig, Dominique Longin, Jacques Virbel
Actes de langage non-littéraux et approche intentionnelle du dialogue
In : Etats Généraux de la Recherche en Sciences Cognitives de Toulouse, Toulouse, 18/10/00-20/10/00.
Andreas Herzig, Dominique Longin, Jacques Virbel
Towards an Analysis of Dialogue Acts and Indirect Speech Acts in a BDI Framawork
In : Proceedings of the 4h International Workshop on the Semantics and Pragmatics of Dialogue (Götalog’2000), Goteborg, Sweden, 01/02/00-02/02/00.
URL : http://www.irit.fr/publis/LILAC/Conf_sans_actes/2000_Herzig_et_al_Gotalog.pdf
BibTeXAndreas Herzig, Dominique Longin
Belief dynamics in cooperative dialogues
In : 3rd International Workshop on the Semantics and Pragmatics of dialogue (Amstelogue’99), Amsterdam, Holland, 07/05/99-09/05/99, Jan van Kuppevelt, Noor van Leusen, Robert van Rooy, Henk Zeevat (Eds.).
Abstract URL : http://www.irit.fr/publis/LILAC/Conf_sans_actes/1999_Herzig-Longin_Amstelogue.pdf
BibTeXAndreas Herzig, Jérôme Lang, Thomas Polacsek
Connaissances, actions et tests
In : Journées Nationales sur les Modèles du Raisonnement, Paris, .
Andreas Herzig, Thomas Polacsek, Jérôme Lang
Knowledge, actions, and tests
In : IJCAI’99 Workshop on Practical Reasoning and Rationality, Stockholm, 31/07/99-31/07/99.
URL : http://www.irit.fr/~Andreas.Herzig/P/WSijcai99.html
BibTeXLuis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig, Marcos Alexandre Castilho
Reasoning about actions in modal logic
In : Working Notes of the Symposium on Reasoning about Actions: Foundations and Applications at ESSLLI’98, Saarbrücken, Germany, .
Marcos Alexandre Castilho, Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig
Modal Tableaux with Propagation Rules and Structural Rules (position paper)
In : Tableaux’98, Netherlands, .
Luis Fariñas del Cerro, Andreas Herzig, Dominique Longin, Omar Rifi
Belief Reconstruction in Cooperative Dialogues (regular paper)
In : Int. Conf. on Artificial Intelligence: Methodology, Systems, and Applications (AIMSA 1998), Sozopol, Bulgaria, 21/09/98-23/09/98, Fausto Giunchiglia (Eds.), Springer-Verlag, LNAI 1480, pp. 254-266, September 1998.
URL : http://www.irit.fr/publis/LILAC/Conf_internationales/1998_Farinas_et_al_AIMSA.pdf
BibTeXUpdate operations: a review (regular paper)
In : European Conference on Artificial Intelligence (ECAI ), Brighton, Wiley, pp. 13-17, August 1998.
URL : http://www.irit.fr/~Andreas.Herzig/P/aij99.html
BibTeXMarcos Alexandre Castilho, Olivier Gasquet, Andreas Herzig
Solving the frame and ramification problem with modal logic plus dependence
In : International Joint Conference on Artificial Intelligence (IJCAI’97), Nagoya, Japan, 01/01/97.
URL : http://www.irit.fr/~Andreas.Herzig/P/jlc99.html
BibTeXMarcos Alexandre Castilho, Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig
A customized tableau method for reasoning about actions and plans in modal logic
In : Working notes of the Symposium on Logical Approaches to Agent Modeling and Desing – ESSLLI’97, Aix-en-Provence, France, 01/01/97.
URL : http://www.irit.fr/~Andreas.Herzig/P/ecp97.html
BibTeXSalem Benferhat, Philippe Besnard, Laurence Cholvy, Robert Demolombe, Didier Dubois, Olivier Gasquet, Jean-Louis Golmard, Andreas Herzig, Pierre Marquis, Yves Moinard, Henri Prade, Camilla Schwind
Lois, structures et dépendances
In : Actes des 6èmes Journées Nationales du PRC-GDR Intelligence Artificielle (S. Pesty, P. Siegel, eds.), Grenoble, Hermès, Paris, pp. 145-160, March 1997.
Rachid Alami, R. Chatila, Marie-Odile Cordier, Célia Da Costa Pereira, Didier Dubois, Hélène Fargier, Frédérick Garcia, Malik Ghallab, Michel Grabisch, Andreas Herzig, J.Y. Jaffray, S. Lacroix, B. Lamare, Jérôme Lang, Roger Martin-Clouaire, François Modave, S. Ndiaye, Patrice Perny, F. Philippe, J.C. Pomerol, Henri Prade, Régis Sabbadin, Thomas Schiex, I. Tchoumatchenko, Sylvie Thiébaux, A. Tsoukias
Décision et représentation des connaissances
In : Actes des 6èmes Journées Nationales du PRC-GDR Intelligence Artificielle (S. Pesty, P. Siegel, eds.), Grenoble, Hermès, Paris, pp. 211-242, March 1997.
How to change factual beliefs using laws and independence information (regular paper)
In : International joint conference on Qualitative and Quantitative Practical Reasoning (ESQARU 2018), Bonn, 01/01/18, Dov M. Gabbay, Rudolf Kruse, Andreas Nonnengart, Hans Juergen Ohlbach (Eds.), Springer, LNCS 1244, pp. 311-321, June 1997.
URL : http://www.irit.fr/~Andreas.Herzig/P/ecsqaru97.html
BibTeXDidier Dubois, Luis Fariñas del Cerro, Andreas Herzig, Henri Prade
Qualitative relevance and independence: a roadmap (regular paper)
In : International Joint Conference on Artificial Intelligence (IJCAI 1997), Nagoya, Japon, 01/01/97, Morgan Kaufmann Publishers, pp. 62-67, January 1997.
URL : http://www.irit.fr/~Andreas.Herzig/ijcai97.html
BibTeXGabriella Crocco, Andreas Herzig
The Ramsey Test as an inference rule (regular paper)
In : The role of pragmatics in contemporary philosophy: Contributions of the Austrian Ludwig Wittgenstein Society, Kirchberg, Austrian Ludwig Wittgenstein Society (ALWS), January 1997.
URL : http://www.irit.fr/~Andreas.Herzig/P/witt97.html
BibTeXMarcos Alexandre Castilho, Olivier Gasquet, Andreas Herzig
Modal tableaux for reasoning about actions and plans (regular paper)
In : European Conference on Planning (ECP ), –, Springer, pp. 104-116, January 1997.
URL : http://www.irit.fr/~Andreas.Herzig/P/ecp97.html
BibTeXPossibilistic independence and belief change (Dubois, Didier and Klement, Erich P. and Prade, Henri eds.)
In : Abstracts of the Workshop on Fuzzy Sets, Logics and Artificial Intelligence (Linz’96), Linz, Austria, .
The PMA revisited (regular paper)
In : International Conference on Principles of Knowledge Representation and Reasoning (KR ), –, Luigia Carlucci Aiello, Stuart Shapiro (Eds.), Morgan Kaufmann Publishers, pp. 40-50, November 1996.
Luis Fariñas del Cerro, Andreas Herzig
Combining classical and intuitionistic logic, or: intuitionistic implication as a conditional (regular paper)
In : Frontiers of Combining Systems (FroCoS 2018), –, 01/01/18, Franz Baader, Klaus U. Schulz (Eds.), Kluwer, Logic Series 3, pp. 93-102, January 1996.
URL : http://www.irit.fr/~Andreas.Herzig/P/frocos96.html
BibTeXLuis Fariñas del Cerro, Andreas Herzig
Belief change and dependence (regular paper)
In : Conf. on Theoretical Aspects of Rationality and Knowledge (TARK 2018), De Zeuwse Stromen, 01/01/18, Morgan Kaufmann Publishers, pp. 147-162, January 1996.
URL : http://www.irit.fr/~Andreas.Herzig/P/tark96.html
BibTeXLuis Fariñas del Cerro, Antonio Frias Delgado, Andreas Herzig
Talkin’bout consistency, or: when logically possible becomes possible (regular paper)
In : Int. Conf. on Formal and Applied Practical Reasoning (FAPR ), –, Springer-Verlag, pp. 141-150, June 1996.
URL : http://www.irit.fr/~Andreas.Herzig/P/fapr96.ps.gz
BibTeXRevision and independence (Rott, Hans eds.)
In : Working Notes of the Workshop on Formal Epistemology at the Seventh Eur. Summer School in Logic, Language and Information, Barcelona, Spain, .
Didier Dubois, Luis Fariñas del Cerro, Andreas Herzig, Henri Prade
Qualitative possibilistic independence, plausible reasoning and belief revision
In : Proc. of the IJCAI’95 Workshop on Nonmonotonic Reasoning Action and Change, Montréal, Canada, 20/08/95-25/08/95.
Nicole Bidoit, S. Cerrito, Laurence Cholvy, Marie-Odile Cordier, Philippe Dague, Didier Dubois, Florence Dupin De Saint Cyr – Bannay, D. Fontaine, Christine Froidevaux, Malik Ghallab, Jean-Louis Golmard, Andreas Herzig, Jérôme Lang, François Lévy, Yves Moinard, Odile Papini, Henri Prade, C. Sayettat, Camilla Schwind, Louise Travé-Massuyès
Gestion de l’évolutif et de l’incertain dans une base de connaissances
In : Actes des 5èmes Journées Nationales du PRC-GDR Intelligence Artificielle, Nancy, 01/02/95-03/02/95, Teknea, Marseille, pp. 77-121, February 1995.
Didier Dubois, Luis Fariñas del Cerro, Andreas Herzig, Henri Prade
An ordinal view of independence, plausible reasoning and belief revision
In : Proc. of the 10th Conference on Uncertainty in Artificial Intelligence (UIA-94), Seattle, USA, 29/07/94-31/07/94, Ramon Lopez de Mantaras, David Poole (Eds.), Morgan Kaufmann Publishers, pp. 195-203, 1994.
Abstract URL : http://uai.sis.pitt.edu/displayArticles.jsp?mmnu=1&smnu=1&proceeding_id=10
BibTeXPhilippe Balbiani, Andreas Herzig, Mamede Lima Marques
TIM: the Toulouse inference machine for non-classical logic programming
In : Processing Declarative Knowledge (PDK 1991), Kaiserslautern, H. Boley, M. Richter (Eds.), Springer-Verlag, pp. 366-382, January 1991.
A new decidable fragment of first order logic
In : Abstracts of the 3rd Logical Biennial, Summer School & Conference in honour of S.C. Kleene, Varna, Bulgaria, 01/06/90-05/06/90.
URL : http://www.irit.fr/~Andreas.Herzig/P/Kleene90_Varna.pdf
BibTeXPhilippe Balbiani, Luis Fariñas del Cerro, Andreas Herzig
Declarative semantics for modal logic programs
In : Proceedings of the International Conference on Fifth Generation Computer Systems 1988 (FGCS 1988), Japon, 01/01/88-31/12/88, Institute for New Generation Computer Technology, pp. 507-514, January 1988.
Andreas Herzig, Antonio Yuste-Ginel
Abstract Argumentation with Qualitative Uncertainty: An Analysis in Dynamic Logic
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⟩
Munyque Mittelmann, Andreas Herzig, Laurent Perrussel
Epistemic Reasoning About Rationality and Bids in Auctions
Logics in Artificial Intelligence: 17th European Conference, JELIA 2021, Virtual Event, May 17–20, 2021, Proceedings ;, 12678, Springer International Publishing, pp.116-130, 2021, Lecture Notes in Computer Science book series, 978-3-030-75774-8. ⟨10.1007/978-3-030-75775-5_9⟩
Florence Dupin de Saint-Cyr, Andreas Herzig, Jérôme Lang, Pierre Marquis
Reasoning About Action and Change
Marquis, Pierre; Papini, Odile; Prade, Henri. A Guided Tour of Artificial Intelligence Research, 1 / 3, Springer International Publishing, pp.487-518, 2020, Knowledge Representation, Reasoning and Learning, 978-3-030-06163-0. ⟨10.1007/978-3-030-06164-7_15⟩
Andreas Herzig, Philippe Besnard
Knowledge Representation: Modalities, Conditionals, and Nonmonotonic Reasoning
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⟩
Andreas Herzig, Emiliano Lorini, Faustine Maffre
Possible worlds semantics based on observation and communication
van 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)
Andreas Herzig, Emiliano Lorini, Nicolas Troquard
Action theories
Hansson, 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
Jonathan Ben-Naim, Jean-François Bonnefon, Andreas Herzig, Sylvie Leblois, Emiliano Lorini
Computer-Mediated Trust in Self-interested Expert Recommendations
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⟩
Using STIT theory to talk about strategies
van Benthem, Johan; Ghosh, Sujata; Verbrugge, Rineke. Models of Strategic Reasoning: Logics, Games, and Communities, 8972, Springer, pp.137–173, 2015, Lecture Notes in Computer Science book series (LNCS), 978-3-662-48539-2. ⟨10.1007/978-3-662-48540-8_5⟩
Benoit Gaudou, Andreas Herzig, Dominique Longin, Emiliano Lorini
On Modal Logics of Group Belief
Herzig; 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
John-Jules Meyer, Jan Broersen, Andreas Herzig
BDI logics
van Ditmarsch, Hans; Halpern, Joseph Y; van der Hoek, Wiebe; Kooi, Barteld. Handbook of Logics for Knowledge and Belief, Chapter10, College Publications, pp.453-493, 2015, 978-1-84890-158-2
Emiliano Lorini, Andreas Herzig
Direct and indirect common belief
Konzelmann 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⟩
Andreas Herzig, Emiliano Lorini
A modal logic of perceptual belief
Lihoreau, 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⟩
Florence Dupin de Saint-Cyr, Andreas Herzig, Jérôme Lang, Pierre Marquis
Raisonnement sur l’action et le changement
Marquis, Pierre; Papini, Odile; Prade, Henri. Panorama de l’intelligence artificielle. Ses bases méthodologiques, ses développements, Vol. 1, 1 (Chapitre 12), Cépaduès, Toulouse, pp.255–282, 2014, Représentation des connaissances et formalisation des raisonnements, 978-2364930414
Florence Dupin de Saint-Cyr, Andreas Herzig, Jérôme Lang, Pierre Marquis
Raisonnement sur l’action et le changement
Panorama de l’intelligence artificielle, Volume 1 : représentation des connaissances et formalisation des raisonnements, pp.363-392, 2014
Jonathan Ben-Naim, Jean-François Bonnefon, Andreas Herzig, Sylvie Leblois, Emiliano Lorini
Computer-mediated trust in self-interested expert recommendations
In : Cognition beyond the brain – Interactivity and human thinking. Stephen J. Cowley, Frédéric Vallée-Tourangeau (Eds.) , Springer, pp. 53-70, August 2013.
Andreas Herzig, Tiago de Lima, Emiliano Lorini, Nicolas Troquard
Three traditions in the logic of action: bringing them together
In : Krister Segerberg on Logic of Action. Robert Trypuz (Eds.) , Springer, pp. 61-84, Vol. XXIX, Studia Logica book series `Trends in Logic’, subseries `Outstanding contributions’, 2013.
Jan Broersen, Dov Gabbay, Andreas Herzig, Emiliano Lorini, John-Jules Meyer, Xavier Parent, Leendert W. N. Van Der Torre
Deontic logic
In : Handbook on Agreement Technologies. Sascha Ossowski (Eds.) , Springer, pp. 171-180, 2012.
Andreas Herzig, Emiliano Lorini, Frédéric Moisan
A simple logic of trust based on propositional assignments
In : The Goals of Cognition. Essays in Honor of Cristiano Castelfranchi. Fabio Paglieri, Luca Tummolini, Rino Falcone, Maria Miceli (Eds.) , College Publications, pp. 407-419, December 2012.
Abstract URL : http://www.irit.fr/~Andreas.Herzig/P/Igpl09.html
BibTeXGuillaume Aucher, Andreas Herzig
Exploring the power of converse events
In : Dynamic Formal Epistemology. Patrick Girard, Olivier Roy, Mathieu Marion (Eds.) , Springer, pp. 51-74, Vol. 351, Synthese Library, January 2011.
Benoit Gaudou, Andreas Herzig, Dominique Longin
Group belief and grounding in conversation
In : Logical Properties of Dialogue. Alain Trognon, Martine Batt, Jean Caelen, Denis Vernant (Eds.) , Presses Universitaires de Nancy, pp. 59-96, March 2011.
URL : http://www.irit.fr/publis/LILAC/Ouvrages/2011_Gaudou_et_al_pun06.pdf
BibTeXCarole Adam, Andreas Herzig, Dominique Longin, Vincent Louis
Unifying the intentional and institutional semantics of speech acts
In : Declarative Agent Languages and Technologies VII (Revised, Selected and Invited papers from DALT 2009). Matteo Baldoni, Jamal Bentahar, M. Birna van Riemsdi, John Lloyd (Eds.) , Springer, pp. 68-84, Vol. 5948, LNAI, 2010.
URL : http://www.irit.fr/publis/LILAC/Ouvrages/2010_Adam_et_al_Postproceedings-DALT2009.pdf
BibTeXPhilippe Balbiani, Olivier Gasquet, Andreas Herzig, François Schwarzentruber, Nicolas Troquard
Coalition games over Kripke semantics
In : Dialogues, Logics and Other Strange Things — Essays in Honour of Shahid Rahman. Cédric Dégremont, Laurent Keiff, Helge Rückert (Eds.) , College Publications, pp. 11-32, October 2008.
Andreas Herzig, Ivan José Varzinczak
On the modularity of theories
In : Advances in Modal Logic, Volume 5. Renate Schmidt, Ian Pratt-Hartmann, Mark Reynolds, Heinrich Wansing (Eds.) , King’s College Publications, pp. 93-109, 2005.
URL : http://www.irit.fr/~Andreas.Herzig/P/AiML04.html
BibTeXLuis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig, Mohamad Sahade
Modal Tableaux: Completeness vs. Termination
In : We Will Show Them: Essays in Honour of Dov Gabbay. Sergei Artemov, Howard Barringer, Luis Lamb, John Woods (Eds.) , College Publications (ISBN 1904987117), London, pp. 587-614, Vol. 1, 2005.
Gabriella Crocco, Andreas Herzig
Les operations de changement basees sur le test de Ramsey
In : Révision des croyances. Pierre Livet (Eds.) , Hermès, pp. 21-41, July 2002.
URL : http://www.irit.fr/~Andreas.Herzig/P/BookLivet02.html
BibTeXDidier Dubois, Luis Fariñas del Cerro, Andreas Herzig, Henri Prade
A roadmap of qualitative independence
In : Fuzzy Sets, Logics and Reasoning about Knowledge. D. Dubois, H. Prade, E.P. Klement (Eds.) , Kluwer Academic Publishers, Dordrecht, Pays-Bas, pp. 325-350, Vol. 15, Applied Logic series, 1999.
Logics for belief base updating
In : Handbook of defeasible reasoning and uncertainty management. Didier Dubois, Dov Gabbay, Henri Prade, Philippe Smets (Eds.) , Kluwer Academic Publishers, pp. 189-231, Vol. 3 (Belief Change), 1998.
Olivier Gasquet, Andreas Herzig
From Classical to Normal Logics
In : Proof Theory of Modal Logics. Heinrich Wansing (Eds.) , Kluwer, pp. 293-311, Vol. Num. 2, Applied Logic Series, 1996.
URL : http://www.irit.fr/~Andreas.Herzig/P/ptml96.html
BibTeXGabriella Crocco, Luis Fariñas del Cerro, Andreas Herzig
Introduction
In : Conditionals From Philosophy to Computer Science. G. Crocco, L. Fariñas del Cerro, A. Herzig (Eds.) , Oxford University Press, pp. 1-13, 1995.
Olivier Gasquet, Andreas Herzig
Translation-Based Deduction Methods for Modal Logics
In : Advances in Intelligent Computing – IPMU’94, Selected Papers. B. Bouchon-Meunier, R.R. Yager, L. Zadeh (Eds.) , Springer, pp. 399-408, LNCS 945, 1995.
Luis Fariñas del Cerro, Andreas Herzig
Changements minimaux constructifs
In : Méthodes logiques pour les sciences cognitives. Jacques Dubucs, François Lepage (Eds.) , Hermes, pp. 195-204, 1995.
Luis Fariñas del Cerro, Andreas Herzig
Revisions, Updates, and Interference
In : Logic and Information. André Fuhrmann, Hans Rott (Eds.) , DeGruyter Publishers, Berlin, pp. 189-207, 1995.
Luis Fariñas del Cerro, Andreas Herzig
Modal deduction with applications in epistemic and temporal logic
In : Handbook of Logic and Artificial Intelligence. Dov Gabbay, J. Chris, J. A. Robinson (Eds.) , Oxford, pp. 499-594, Vol. 4, 1995.
Luis Fariñas del Cerro, Andreas Herzig
Possibility theory and independence
In : Advances in Intelligent Computing – IPMU’94, Selected Papers. Bernadette Bouchon-Meunier, Ronald R. Yager, Lotfi A. Zadeh (Eds.) , Springer, pp. 292-301, 1995.
La dynamiques des croyances
HDR, Université Paul Sabatier, January 1999.
URL : http://www.irit.fr/~Andreas.Herzig/P/habil.html
BibTeX
Frédéric Alexandre, Leila Amgoud, Christian Bessiere, Jean-François Bonnefon, Tristan Cazenave, Raja Chatila, Antoine Cornuejols, Frédéric Cuppens, Sébastien Destercke, Béatrice Daille, Didier Dubois, Jérôme Euzenat, Jean-Gabriel Ganascia, Malik Ghallab, Matthieu Geist, Andreas Herzig, Sébastien Konieczny, Frédéric Koriche, Jérôme Lang, Frédéric Maris, Pierre Marquis, Nicolas Maudet, Engelbert Mephu-Nguifo, Jacques Nicolas, Catherine Pelachaud, Vianney Perchet, Henri Prade, Marie-Christine Rousset, Patrick Saint-Dizier, Frédéric Saubion, Christine Solnon, Karim Tabia, Tim van de Cruys, Christel Vrain, Christian Wolf
L’intelligence Artificielle: De quoi s’agit-il vraiment ?
Sébastien Konieczny; Henri Prade. Cepadues, 2020, 9782364938502
Andreas Herzig, Emiliano Lorini, David Pearce
Social Intelligence
Herzig; Andreas and Lorini; Emiliano and Pearce; David. Springer, 34, pp.689, 2019, AI & Society, ⟨10.1007/s00146-017-0782-8⟩
Pedro Cabalar, Martin Dieguez, Andreas Herzig, David Pearce
Logic, Leadership and Enthusiasm: A Festschrift in Honour of Luis Fariñas del Cerro
Cabalar, Pedro; Dieguez, Martin; Herzig, Andreas; Pearce, David. Taylor & Francis Group, 27 (3-4), 2017, Journal of Applied Non-Classical Logics, ISSN 1166-3081. ⟨10.1080/11663081.2018.1439360⟩
Andreas Herzig, Emiliano Lorini
The Cognitive Foundations of Group Attitudes and Social Interaction
Herzig, Andreas; Lorini, Emiliano. Springer, 5, 2015, Studies in the Philosophy of Sociality, 978-3319217314. ⟨10.1007/978-3-319-21732-1⟩
Olivier Gasquet, Andreas Herzig, Bilal Said, François Schwarzentruber
Kripke’s Worlds: An introduction to modal logics via tableaux
Springer-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⟩
Andreas Herzig, Emiliano Lorini
ECSI 2014: European Conference on Social Intelligence, Proceedings of the European Conference on Social Intelligence (ECSI-2014) Barcelona, Spain, November 3-5, 2014
Herzig, Andreas; Lorini, Emiliano. CEUR Workshop Proceedings, 1283, pp.1-358, 2014, ISSN 1613-0073
Gabriella Crocco, Luis Fariñas del Cerro, Andreas Herzig
Conditionals: From Philosophy to Computer Science
, Oxford University Press, Studies in Logic and Computation, 1995.
Olivier Gasquet, Andreas Herzig, Dominique Longin, Frédéric Maris, Maël Valais
Poster sur “La logique facile avec TouIST
Journées Francophones sur la Planification, la Décision et l’Apprentissage pour la conduite de systèmes (JFPDA 2017), Jul 2017, Caen, France. , 2017
Julien Bourdon, Guillaume Feuillade, Andreas Herzig, Emiliano Lorini
Trust in complex actions (poster)
In : European Conference on Artificial Intelligence (ECAI 2010), Lisbon, 16/08/10-20/08/10, IOS Press, pp. 1037-1038, August 2010.
Benoit Gaudou, Andreas Herzig, Dominique Longin
Logical formalization of social commitments: Application to Agent Communication Languages (poster)
In : International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, 10/05/09-15/05/09, Vol. 2, Keith Decker, Jaime Sichman (Eds.), IFAAMAS, pp. 1293-1294, 2009.
Abstract URL : http://www.irit.fr/publis/LILAC/Conf_internationales/2009_AAMAS_Gaudou_et_al.pdf
BibTeX
Dossier “Raisonnement et Décision”
Vulgarisation. June 2011. Paul Sabatier Magazine scientifique, no. 22
URL : http://www.univ-tlse3.fr/25647182/0/fiche___pagelibre/&RH=ACCUEIL&RF=rubrech03
BibTeXAndreas Herzig, Emiliano Lorini
Logical methods for social concepts
Diffusion scientifique. September 2009. The Reasoner, vol. 3, no. 9
URL : http://www.kent.ac.uk/secl/philosophy/jw/TheReasoner/vol3/TheReasoner-3(9).pdf
BibTeX