Publications de 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⟩
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⟩
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⟩
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⟩
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⟩
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⟩
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
Dans : Journal of Logic, Language and Information, Springer, Vol. 25 N. 1, p. 1-35, janvier 2016.
Résumé Accès : http://www.irit.fr/~Andreas.Herzig/P/Jolli16.html – https://oatao.univ-toulouse.fr/16889/
BibTeXChiaki Sakama, Martin Caminada, Andreas Herzig
A formal account of dishonesty
Dans : Logic Journal of the IGPL, Oxford University Press, Vol. 23 N. 2, p. 259-294, mai 2015.
Résumé Accès : http://www.irit.fr/~Andreas.Herzig/P/Igpl15.html – https://oatao.univ-toulouse.fr/15217/
BibTeXLogics of knowledge and action: critical analysis and challenges
Dans : Journal of Autonomous Agents and Multi-Agent Systems, Springer, Vol. 29 N. 5, p. 719-753, 2015.
Résumé Accès : http://link.springer.com/article/10.1007/s10458-014-9267-z – https://oatao.univ-toulouse.fr/15176/
BibTeXLuis Fariñas del Cerro, Andreas Herzig, Ezgi Iraz Su
Capturing Equilibrium Models in Modal Logic
Dans : Journal of Applied Logic, Elsevier, Vol. 12, p. 192-207, mars 2013.
Résumé Accès : 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
Dans : ACM Transactions on Computational Logic (TOCL), ACM Digital Library, Vol. 14 N. 3, p. 24, août 2013.
Résumé Accès : 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
Dans : Logic Journal of the IGPL, Oxford University Press, Vol. 21(3), p. 311-331, 2013.
Accès : 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
Dans : Journal of Applied Non-Classical Logics (JANCL), Taylor & Francis Group, Vol. 22 N. 3, p. 249-273, 2012.
Accès : http://www.irit.fr/~Andreas.Herzig/P/Jancl12.html
BibTeXLuis Fariñas del Cerro, Andreas Herzig
La logique modale des modèles déquilibre
Dans : Revue d’Intelligence Artificielle (RIA), Hermès Science, Numéro spécial Raisonnement non monotone, QBF et programmation par ensembles réponses, Hommage à Pascal Nicolas (ed. J. Lang et P. Marquis), Vol. 26, N. 1-2, p. 1-15, mars 2012.
Accès : http://www.irit.fr/~Andreas.Herzig/P/Frocos11.html
BibTeXHans Van Ditmarsch, Andreas Herzig, Tiago de Lima
From Situation Calculus to Dynamic Logic
Dans : Journal of Logic and Computation, Oxford University Press, Vol. 21 N. 2, p. 179-204, avril 2011.
Andreas Herzig, Emiliano Lorini
A dynamic logic of agency I: STIT, abilities and powers
Dans : Journal of Logic, Language and Information, Springer, Vol. 19 N. 1, p. 89-121, 2010.
Résumé Accès : 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
Dans : AI & Society, Springer, Vol. 25 N. 4, p. 413-422, octobre 2010.
Résumé Accès : http://www.springerlink.com/content/m3v2564127113434
BibTeXAndreas Herzig, Emiliano Lorini, Jomi F. Hübner, Laurent Vercouter
A logic of trust and reputation
Dans : Logic Journal of the IGPL, Oxford University Press, Numéro spécial Normative Multiagent Systems, Vol. 18 N. 1, p. 214-244, février 2010.
Résumé Accès : http://www.irit.fr/~Andreas.Herzig/P/Igpl09.html
BibTeXPhilippe Balbiani, Hans Van Ditmarsch, Andreas Herzig, Tiago de Lima
Tableaux for public announcement logics
Dans : Journal of Logic and Computation, Oxford University Press, Numéro spécial Special Issue on Tableaux and Analytic Proof Methods, Vol. 20 N. 1, p. 55-76, 2010.
Résumé Accès : 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
Dans : Journal of Applied Non-Classical Logics (JANCL), Taylor & Francis Group, Vol. 19 N. 3, p. 261-289, novembre 2009.
Résumé Accès : http://www.irit.fr/~Andreas.Herzig/P/Jancl09.html
BibTeXAndreas Herzig, Tiago de Lima, Emiliano Lorini
On the dynamics of institutional agreements
Dans : Synthese, Springer, Vol. 171 N. 2, p. 321-355, novembre 2009.
Résumé Accès : http://www.irit.fr/~Andreas.Herzig/P/Synthese09_instAgree.html
BibTeXHans Van Ditmarsch, Andreas Herzig, Jérôme Lang, Pierre Marquis
Introspective forgetting
Dans : Synthese, Springer, Vol. 169 N. 2, p. 405-423, juillet 2009.
Résumé Accès : 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
Dans : Synthese, Springer, Vol. 168 N. 2, p. 201-248, 2009.
Résumé Accès : 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
Dans : Electronic Notes in Theoretical Computer Science (ENTCS), Elsevier, Vol. 231, p. 293-307, mars 2009.
Résumé Accès : 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
Dans : Journal of Logic and Computation, Oxford University Press, Vol. 19 N. 6, p. 901-940, décembre 2009.
Résumé Accès : 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
Dans : Bulletin of Symbolic Logic, Association for Symbolic Logic (ASL), Vol. 14, p. 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)
Dans : Studia Logica, Springer, Vol. 89, p. 439-443, octobre 2008.
Accès : 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’
Dans : Review of Symbolic Logic, Cambridge University Press, Vol. 1 N. 3, p. 305-334, 2008.
Résumé Accès : http://www.irit.fr/~Andreas.Herzig/P/Tark07ArbAnn.html
BibTeXEmiliano Lorini, Andreas Herzig
A logic of intention and attempt
Dans : Synthese, Springer, Vol. 163 N. 1, p. 45-77, 2008.
Résumé Accès : http://www.irit.fr/~Andreas.Herzig/P/Synthese08.html
BibTeXPhilippe Balbiani, Andreas Herzig, Nicolas Troquard
Alternative axiomatics and complexity of deliberative STIT theories
Dans : Journal of Philosophical Logic, Springer-Verlag, Heidelberg, Allemagne, Vol. 37 N. 4, p. 387-406, août 2008.
Accès : http://www.irit.fr/~Andreas.Herzig/P/Jpl08.html
BibTeXAndreas Herzig, Ivan José Varzinczak
Metatheory of actions: beyond consistency
Dans : Artificial Intelligence, Elsevier, Vol. 171, p. 951-984, 2007.
Résumé Accès : http://www.irit.fr/~Andreas.Herzig/P/Aij07.html
BibTeXCarole Adam, Andreas Herzig, Dominique Longin
PLEIAD, un agent émotionnel pour évaluer la typologie OCC
Dans : Revue d’Intelligence Artificielle (RIA), Hermès Science, Numéro spécial Modèles multi-agents pour des environnements complexes, Vol. 21, N. 5-6, p. 781-811, 2007.
Résumé Accès : 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
Dans : Electronic Notes in Theoretical Computer Science (ENTCS), Elsevier, Vol. 157 N. 4, p. 117-137, 2006.
Résumé Accès : 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
Dans : Journal of Logic and Computation, Oxford University Press, Vol. 16 N. 5, p. 559-578, octobre 2006.
Résumé Accès : http://www.irit.fr/LILaC/Pers/Troquard/PUBLICATIONS/PAPERS/BrHeTr06atl2stit.pdf
BibTeXModal probability, belief, and actions
Dans : Fundamenta Informaticae, IOS Press, Vol. 57 N. 2-4, p. 323-344, 2003.
Accès : http://www.irit.fr/~Andreas.Herzig/P/Fi03.html
BibTeXRobert Demolombe, Andreas Herzig, Ivan José Varzinczak
Regression in Modal Logic
Dans : Journal of Applied Non-Classical Logics (JANCL), Taylor & Francis Group, Vol. 13 N. 2, p. 165-185, 2003.
Résumé Accès : 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
Dans : Information – Interaction – Intelligence (I3), Cépaduès Editions, Numéro spécial Modèles Formels de l’Interaction, Vol. Hors-série, p. 197-225, 2002.
Résumé Accès : http://www.irit.fr/publis/LILAC/Journaux_nationaux/2002_Champagne_et_al_I3.pdf
BibTeXAndreas Herzig, Dominique Longin
Belief dynamics in cooperative dialogues
Dans : Journal of Semantics, Oxford University Press, Vol. 17 N. 2, p. 91-118, mai 2000.
Résumé Accès : http://www.irit.fr/publis/LILAC/Journaux_internationaux/2000_Herzig_Longin_Journal_of_semantics.pdf
BibTeXPropositional belief base update and minimal change
Dans : Artificial Intelligence Journal, Vol. 115 N. 1, p. 107-138, 1999.
Marcos Alexandre Castilho, Olivier Gasquet, Andreas Herzig
Formalizing action and change in modal logic I: the frame problem
Dans : Journal of Logic and Computation, Vol. 9 N. 5, p. 701-735, 1999.
Marcos Alexandre Castilho, Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig
Modal Tableaux with Propagation Rules and Structural Rules
Dans : Fundamenta Informaticae, Vol. 32 N. 3/4, p. 281-297, 1997.
Accès : http://www.irit.fr/~Andreas.Herzig/P/fi98.pdf
BibTeXPhilippe Balbiani, Andreas Herzig
A translation from the modal logic of provability into K4
Dans : Journal of Applied Non-Classical Logics, Vol. 4, p. 73-77, 1994.
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⟩
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
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
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
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
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
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
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
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
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⟩
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
Philippe Balbiani, Hans Van Ditmarsch, Andreas Herzig
Before announcement (regular paper)
Dans : Advances in Modal Logic (AiML 2016), Budapest (Hungary), 30/08/16-02/09/16, College Publications, p. 58-77, 2016.
Sylvie Doutre, Andreas Herzig, Laurent Perrussel
A Dynamic Logic Framework for Abstract Argumentation
Dans : Cardiff Argumentation Forum (CAF2016, http://www.cs.cf.ac.uk/caf2016), Cardiff, 06/07/16-07/07/16 (conférencier invité).
Résumé Accès : http://www.irit.fr/~Andreas.Herzig/P/Caf16.html
BibTeXAndreas Herzig, Laurent Perrussel, Zhanhao Xiao
On hierarchical task networks (short paper)
Dans : European Conference on Logics in Artificial Intelligence (JELIA 2016), Larnaca, Cyprus, 09/11/16-11/11/16, Loizos Michael, Antonis C. Kakas (Eds.), Springer, LNCS 10021, p. 551-557, 2016.
Accès : http://www.irit.fr/~Andreas.Herzig/P/Jelia16htn.html – https://oatao.univ-toulouse.fr/18803/
BibTeXAndreas Herzig, Laurent Perrussel, Zhanhao Xiao, Dongmo Zhang
Refinement of intentions (short paper)
Dans : European Conference on Logics in Artificial Intelligence (JELIA 2016), Larnaca, Cyprus, 09/11/16-11/11/16, Loizos Michael, Antonis C. Kakas (Eds.), Springer, LNCS 10021, p. 558-563, 2016.
Accès : http://www.irit.fr/~Andreas.Herzig/P/Jelia16db.html – https://oatao.univ-toulouse.fr/18802/
BibTeXHans Van Ditmarsch, Davide Grossi, Andreas Herzig, Wiebe Van Der Hoek, Louwe B. Kuijer
Parameters for Epistemic Gossip Problems
Dans : 12th Conference on Logic and the Foundations of Game and Decision Theory (LOFT12), Maastricht, 20/07/16-22/07/16, Wiebe van der Hoek, Giacomo Bonanno (Eds.).
Résumé Accès : http://www.irit.fr/~Andreas.Herzig/P/Loft16.pdf
BibTeXMartin Cooper, Andreas Herzig, Faustine Maffre, Frédéric Maris, Pierre Régnier
Simple epistemic planning: generalised gossiping (short paper)
Dans : European Conference on Artificial Intelligence (ECAI 2016), The Hague, NL, 29/08/16-02/09/16, IOS Press, p. 1563-1564, 2016.
Résumé Accès : http://www.irit.fr/~Andreas.Herzig/P/Ecai16.html – https://oatao.univ-toulouse.fr/17046/
BibTeXMartin Cooper, Andreas Herzig, Faustine Maffre, Frédéric Maris, Pierre Régnier
A simple account of multi-agent epistemic planning (regular paper)
Dans : European Conference on Artificial Intelligence (ECAI 2016), The Hague, NL, 29/08/16-02/09/16, IOS Press, p. 193-201, août 2016.
Résumé Accès : http://www.irit.fr/~Andreas.Herzig/P/Ecai16.html – https://oatao.univ-toulouse.fr/17045/
BibTeXFrancesco Belardinelli, Andreas Herzig
On Logics of Strategic Ability based on Propositional Control (regular paper)
Dans : International Joint Conference on Artificial Intelligence (IJCAI 2016), New York, 09/07/16-15/07/16, Subbarao Kambhampati (Eds.), AAAI Press, p. 95-101, juillet 2016.
Accès : http://www.irit.fr/~Andreas.Herzig/P/Ijcai16Belardinelli.html – https://oatao.univ-toulouse.fr/16982/
BibTeXAndreas Herzig, Emiliano Lorini, Faustine Maffre, François Schwarzentruber
Epistemic boolean games based on a logic of visibility and control (regular paper)
Dans : International Joint Conference on Artificial Intelligence (IJCAI 2016), New York, 09/07/16-15/07/16, Subbarao Kambhampati (Eds.), AAAI Press, p. 1116-1122, juillet 2016.
Accès : http://www.irit.fr/~Andreas.Herzig/P/Ijcai16.html – https://oatao.univ-toulouse.fr/16978/
BibTeXTristan Charrier, Andreas Herzig, Emiliano Lorini, Faustine Maffre, François Schwarzentruber
Building epistemic logic from observations and public announcements (regular paper)
Dans : International Conference on Principles of Knowledge Representation and Reasoning (KR 2016), Capetown, 25/04/16-29/04/16, AAAI Press, p. 268-277, 2016.
Résumé Accès : http://www.irit.fr/~Andreas.Herzig/P/Kr16.pdf – https://oatao.univ-toulouse.fr/16903/
BibTeXMartin Cooper, Andreas Herzig, Faustine Maffre, Frédéric Maris, Pierre Régnier
A simple account of multiagent epistemic planning (regular paper)
Dans : Journées Francophones sur la Planification, la Décision et l’Apprentissage (JFPDA 2015), Rennes, 01/05/15-03/07/15, Frédéric Maris (Eds.), AFIA : Association Francaise d’Intelligence Artificielle, (en ligne), juillet 2015.
Résumé Accès : http://pfia2015.inria.fr/actes/index.php?procpage=jfpda – https://oatao.univ-toulouse.fr/15451/
BibTeXAndreas Herzig, Faustine Maffre
How to share knowledge by gossiping (regular paper)
Dans : International Conference on Agreement Technologies, Athens, 17/12/15-18/12/15, Vicente J. Julian Inglada, George Vouros (Eds.), Springer-Verlag, LNAI 9571, p. 249-263, décembre 2015.
Accès : http://www.irit.fr/~Andreas.Herzig/P/Ecai16.html – https://oatao.univ-toulouse.fr/16867/
BibTeXKnowledge and action: how should we combine their logics? (short paper)
Dans : Frontiers of Combining Systems (FroCoS 2015), Wroclaw, Poland, 21/09/15-24/09/15 (conférencier invité), Carsten Lutz, Silvio Ranise (Eds.), Springer, LNAI 9322, p. 11-12, septembre 2015.
Accès : http://www.irit.fr/~Andreas.Herzig/P/Frocos15_abstract.pdf – https://oatao.univ-toulouse.fr/15440/
BibTeXAndreas Herzig, Emiliano Lorini, Faustine Maffre
A poor man’s epistemic logic based on propositional assignment and higher-order observation (regular paper)
Dans : International Conference on Logic, Rationality and Interaction (LORI 2015), Taipei, 28/10/15-31/10/15, Springer, LNCS 9394, p. 156-168, octobre 2015.
Accès : http://www.irit.fr/~Andreas.Herzig/P/Lori15.html – https://oatao.univ-toulouse.fr/16855/
BibTeXLuis Fariñas del Cerro, Andreas Herzig, Ezgi Iraz Su
Epistemic Equilibrium Logic (regular paper)
Dans : International Joint Conference on Artificial Intelligence (IJCAI 2015), Buenos Aires, 25/07/15-31/07/15, Qiang Yang, Michael Wooldridge (Eds.), AAAI Press, p. 2964-2970, juillet 2015.
Accès : http://ijcai.org/papers15/Papers/IJCAI15-419.pdf – https://oatao.univ-toulouse.fr/15402/
BibTeXAndreas Herzig, Emiliano Lorini, Faustine Maffre
Une logique épistémique modeste basée sur les observations d’ordre supérieur
Dans : Actes des 9es Journées d’Intelligence Artificielle Fondamentale (IAF 2015), Rennes, 29/07/15-31/07/15.
Accès : http://www.irit.fr/~Andreas.Herzig/P/Iaf15.pdf
BibTeXGuillaume Feuillade, Andreas Herzig
A dynamic view of active integrity constraints (regular paper)
Dans : European Conference on Logics in Artificial Intelligence (JELIA 2014), Madeira, 24/09/14-26/09/14, Eduardo Ferme, Joao Leite (Eds.), Springer, p. 486-499, septembre 2014.
Andreas Herzig, Viviane Menezes, Leliane Nunes De Barros, Renata Wassermann
On the revision of planning tasks (regular paper)
Dans : European Conference on Artificial Intelligence (ECAI 2014), Prag, 18/08/14-22/08/14, Torsten Schaub (Eds.), IOS Press, Frontiers in Artificial Intelligence and Applications 263, p. 435-440, août 2014.
Philippe Besnard, Sylvie Doutre, Andreas Herzig
Encoding Argument Graphs in Logic (regular paper)
Dans : International Conference on Information Processing and Management of Uncertainty in Knowledge-based Systems (IPMU 2014), Montpellier, France, 15/07/14-19/07/14, Vol. 443, Anne Laurent, Olivier Strauss, Bernadette Bouchon-Meunier, Ronald R. Yager (Eds.), Springer, Communications in Computer and Information Science, p. 345-354, 2014.
Résumé Accès : http://dx.doi.org/10.1007/978-3-319-08855-6_35 – https://oatao.univ-toulouse.fr/12983/
BibTeXAndreas Herzig, Emiliano Lorini, Faustine Maffre, Dirk Walther
Alternating-time Temporal Logic with Explicit Programs
Dans : LAMAS 2014, Paris, 05/05/14, Nils Bulling, Wiebe van der Hoek (Eds.).
Résumé Accès : http://www.irit.fr/~Andreas.Herzig/P/Lamas14.html
BibTeXSylvie Doutre, Andreas Herzig, Laurent Perrussel
A Dynamic Logic Framework for Abstract Argumentation (regular paper)
Dans : International Conference on Principles of Knowledge Representation and Reasoning (KR 2014), Vienna, 20/07/14-24/07/14, Chitta Baral, Giuseppe De Giacomo (Eds.), AAAI Press, p. 62-71, juillet 2014.
Belief change operations: a short history of nearly everything, told in dynamic logic of propositional assignments (regular paper)
Dans : International Conference on Principles of Knowledge Representation and Reasoning (KR 2014), Vienna, 20/07/14-24/07/14, Chitta Baral, Giuseppe De Giacomo (Eds.), AAAI Press, p. 141-150, juillet 2014.
Résumé Accès : http://www.irit.fr/~Andreas.Herzig/P/Kr14.html – https://oatao.univ-toulouse.fr/12957/
BibTeXGuillaume Feuillade, Andreas Herzig, Seiffedine Kramdi
Trust-based personal information management in SOA (regular paper)
Dans : International Conference on Agents and Artificial Intelligence (ICAART 2014), Anger, France, 06/03/14-08/03/14, SciTePress, (support électronique), mars 2014.
Andreas Herzig, Pilar Pozos Parra, François Schwarzentruber
Belief merging in Dynamic Logic of Propositional Assignments (regular paper)
Dans : International Symposium on Foundations of Information and Knowledge Systems (FolKS 2014), Bordeaux, 03/03/14-07/03/14, Christoph Beierle, Carlo Meghini (Eds.), Springer, LNCS 8367, p. 381-398, mars 2014.
Andreas Herzig, Emiliano Lorini, Dirk Walther
Reasoning about actions meets strategic logics (Quand le raisonnement sur les actions rencontre les logiques stratégiques)
Dans : 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
Dans : 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)
Dans : 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, p. 96-109, 2013.
Andreas Herzig, Emiliano Lorini, Dirk Walther
Reasoning about actions meets strategic logics (regular paper)
Dans : 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, p. 162-175, octobre 2013.
Accès : http://www.irit.fr/~Andreas.Herzig/P/Lamas14.html – https://oatao.univ-toulouse.fr/12650/
BibTeXA Simple Separation Logic (regular paper)
Dans : 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, p. 168-178, août 2013.
Accès : www.irit.fr/~Andreas.Herzig/P/Wollic13.pdf – https://oatao.univ-toulouse.fr/12649/
BibTeXLogics for multi-agent systems: a critical overview (education paper)
Dans : International Joint Conference on Artificial Intelligence (IJCAI 2013), Beijing, 03/08/13-09/08/13 (conférencier invité), AAAI Press, (support électronique), août 2013.
Résumé Accès : 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)
Dans : Logic Programming and Nonmonotonic Reasoning (LPNMR 2013), Corunna, 15/09/13-19/09/13, Pedro Cabalar, Tran Cao Son (Eds.), Springer, LNAI 8148, p. 304-316, septembre 2013.
Philippe Balbiani, Andreas Herzig, Nicolas Troquard
Dynamic logic of propositional assignments: a well-behaved variant of PDL (regular paper)
Dans : Logic in Computer Science (LICS 2013), New Orleans, 25/06/13-28/06/13, Orna Kupferman (Eds.), IEEE : Institute of Electrical and Electronics Engineers, p. 143-152, juin 2013.
Accès : 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
Dans : 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
Dans : 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
Dans : Dynamics in Logic II, Lille, 01/03/12 (conférencier invité), Tiago de Lima, Sébastien Magnier (Eds.).
Résumé Accès : 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)
Dans : 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, p. 36-54, août 2012.
Accès : 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)
Dans : 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, p. 170-183, juillet 2012.
Accès : http://www.irit.fr/~Andreas.Herzig/P/Deon12.html
BibTeXLuis Fariñas del Cerro, Andreas Herzig
Logics of Contingency
Dans : 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
Dans : Modèles Formels de l’Interaction (MFI), Rouen, France, 22/06/11-24/06/11.
Logics of propositional control
Dans : Dynamics in Logic First Workshop, Brussels, 03/05/11 (conférencier invité), Jean-Paul Van Bendegem, Francesca Poggiolesi, Sonja Smets (Eds.).
Résumé Accès : http://sites.google.com/site/dynamicsinlogic1/home
BibTeXOn the relation between STIT theory and the logic of programs
Dans : Semantics & Philosophy in Europe (SPE4), Bochum (Germany), 26/09/11-01/10/11 (conférencier invité), Markus Werning, Heinrich Wansing (Eds.).
Accès : http://www.ruhr-uni-bochum.de/phil-lang/spe4/index.html
BibTeXPropositional assignments, announcements, and their applications to logics of action and agency
Dans : 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 (conférencier invité), Hans van Ditmarsch (Eds.).
Résumé Accès : http://m4m.loria.fr
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 (regular paper)
Dans : Multi-Agent-Based Simulation, Taipei, Taiwan, 02/05/11-06/05/11, Jordi Sabater-Mir, Daniel Villatoro, Jaime Sichman (Eds.), Springer-Verlag, LNAI 7124, p. 1-12, 2011.
Résumé Accès : 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
Dans : 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.).
Résumé Accès : http://www.irit.fr/~Andreas.Herzig/P/Mabs11.html
BibTeXLuis Fariñas del Cerro, Andreas Herzig
The modal logic of equilibrium models (regular paper)
Dans : Frontiers of Combining Systems (FroCoS 2011), Saarbrucken, 05/10/11-07/10/11, Springer, LNCS 6989, p. 135-146, 2011.
Accès : http://www.irit.fr/~Andreas.Herzig/P/Frocos11.html
BibTeXAndreas Herzig, Emiliano Lorini, Nicolas Troquard
A dynamic logic of institutional actions (regular paper)
Dans : 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, p. 295-311, juillet 2011.
Résumé Accès : 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)
Dans : 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), p. 228-233, juillet 2011.
Résumé Accès : http://www.irit.fr/~Andreas.Herzig/P/Ijcai11.html
BibTeXLuis Fariñas del Cerro, Andreas Herzig
Contingency-based equilibrium logic (regular paper)
Dans : Logic Programming and Nonmonotonic Reasoning (LPNMR 2011), Vancouver, 16/05/11-19/05/11, Jim Delgrande, Wolfgang Faber (Eds.), Springer-Verlag, LNCS 6645, p. 223-228, mai 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)
Dans : International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), Taipei, Taiwan, 02/05/11-06/05/11, ACM Press, p. 1207-1208, 2011.
Accès : http://www.ifaamas.org/Proceedings/aamas2011/papers/B33.pdf
BibTeXTableau systems for MAS logics: implementing your prover in LoTREC
Dans : Workshop “Logics for Resource-Bounded Agents” at MALLOW 2010, Lyon, 31/08/10-01/09/10 (conférencier invité), Thomas Ågotnes, Natasha Alechina, Brian Logan (Eds.).
Accès : http://www.agents.cs.nott.ac.uk/events/lrba10
BibTeXLogics of propositional control: a Swiss knife for MAS
Dans : Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW 2010), Lyon, 30/08/10-02/09/10 (conférencier invité), Olivier Boissier, Amal El Fallah, Salima Hassas, Nicolas Maudet (Eds.).
Accès : http://mallow2010.emse.fr
BibTeXChiaki Sakama, Martin Caminada, Andreas Herzig
A Logical Account of Lying (regular paper)
Dans : 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, p. 286-299, septembre 2010.
Résumé Accès : http://www.irit.fr/~Andreas.Herzig/P/Igpl15.html
BibTeXPhilippe Balbiani, Rachid Echahed, Andreas Herzig
A Dynamic Logic for Termgraph Rewriting (regular paper)
Dans : 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, p. 59-74, septembre 2010.
Résumé Accès : http://www.irit.fr/~Andreas.Herzig/P/Entcs09.html
BibTeXJulien Bourdon, Guillaume Feuillade, Andreas Herzig, Emiliano Lorini
Trust in complex actions (poster)
Dans : European Conference on Artificial Intelligence (ECAI 2010), Lisbon, 16/08/10-20/08/10, IOS Press, p. 1037-1038, août 2010.
Julien Bourdon, Guillaume Feuillade, Andreas Herzig, Emiliano Lorini
Trust in complex actions
Dans : Workshop ‘Logics in Security’ at ESSLLI 2010, Copenhagen, 09/08/10-13/08/10, Dov Gabbay, Leendert van der Torre (Eds.).
Résumé Accès : http://www.irit.fr/PERSONNEL/LILaC/Herzig/P/Lis10_trust.html
BibTeXAndreas Herzig, Nicolas Troquard
Dynamic languages of propositional control for protocol specification
Dans : 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)
Dans : 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, p. 85-100, avril 2010.
Guillaume Aucher, Davide Grossi, Andreas Herzig
Dynamic context logic and its application to norm change
Dans : 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
Dans : 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.).
Accès : 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
Dans : 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.).
Accès : 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)
Dans : LORI-II Workshop on Logic, Rationality and Interaction, Chongqing (China), 08/10/09-11/10/09, Springer-Verlag, p. 15-26, 2009.
Emiliano Lorini, Mehdi Dastani, Hans Van Ditmarsch, Andreas Herzig, John-Jules Meyer
Intentions and assignments (regular paper)
Dans : LORI-II Workshop on Logic, Rationality and Interaction, Chongqing, 08/10/09-11/10/09, Springer-Verlag, p. 198-211, 2009.
Emiliano Lorini, François Schwarzentruber, Andreas Herzig
Epistemic Games in Modal Logic: Joint Actions, Knowledge and Preferences all together (regular paper)
Dans : LORI-II Workshop on Logic, Rationality and Interaction, Chongqing, China, 08/10/09-11/10/09, Springer-Verlag, p. 212-226, 2009.
Yann Krupa, Laurent Vercouter, Jomi F. Hübner, Andreas Herzig
Trust Based Evaluation of Wikipedia’s Contributors (regular paper)
Dans : International Workshop on Engineering Societies in the Agents World (ESAW 2009), Utrecht, 18/11/09-20/11/09, Springer-Verlag, LNCS 5881, p. 148-161, novembre 2009.
Laszlo Aszalos, Andreas Herzig
A protocol for execution of distributed logic programs (regular paper)
Dans : 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, p. 21-30, octobre 2009.
Nadine Guiraud, Andreas Herzig, Emiliano Lorini
Speech acts as announcements
Dans : Proceedings of the second international workshop on Logic and the Simulation of Interaction and Reasoning (LSIR2), Pasadena (USA), 12/07/09-12/07/09.
Accès : 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)
Dans : 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, p. 1293-1294, 2009.
Résumé Accès : 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
Dans : 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)
Dans : 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, p. 66-80, octobre 2009.
Résumé Accès : 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)
Dans : 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, p. 143-157, 2008.
Accès : 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
Dans : 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, p. 741-742, juillet 2008.
Accès : 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
Dans : Advances in Artificial Intelligence (AI 2008), Auckland, 01/12/08-05/12/08, Wayne R. Wobcke , Mengjie Zhang (Eds.), Springer, LNAI 5360, p. 18-29, 2008.
Andreas Herzig, Emiliano Lorini
Static and dynamic aspects of knowledge about powers
Dans : 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?
Dans : 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?
Dans : 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
Dans : 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, p. 219-231, septembre 2008.
Andreas Herzig, Emiliano Lorini
Logics of Context for Multi-Agent Systems
Dans : Contexts and Ontologies (C&O-2008), Patras, Greece, 21/07/08 (conférencier invité), Jérôme Euzenat, Chiara Ghidini, Deborah McGuinness, Guilin Qi (Eds.).
Résumé Accès : 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)
Dans : Advances in Modal Logic (AiML 2008), Nancy, 09/09/08-12/09/08, Carlos Areces, Robert Goldblatt (Eds.), College Publications, p. 133-149, septembre 2008.
Résumé Accès : http://www.irit.fr/~Andreas.Herzig/P/Aiml08.html
BibTeXEmiliano Lorini, Andreas Herzig, Jan Broersen, Nicolas Troquard
Grounding power on actions and mental attitudes
Dans : 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, p. 371-390, 2007.
Guillaume Aucher, Andreas Herzig
De DEL à EDL ou comment illustrer la puissance des événements inverses
Dans : Journées Francophones MODÈLES FORMELS de l’INTERACTION (MFI 2007), Paris, 30/05/07-01/06/07, Annales du LAMSADE, p. 253-260, 2007.
Guillaume Aucher, Philippe Balbiani, Luis Fariñas del Cerro, Andreas Herzig
Global and local graph modifiers
Dans : Methods for Modalities (MAM 2007), Cachan, France, 29/11/07-30/11/07, Elsevier, ENTCS , (en ligne), 2007.
Résumé Accès : http://www.irit.fr/publis/LILAC/M4M.pdf
BibTeXGuillaume Aucher, Andreas Herzig
From DEL to EDL: exploring the power of converse events
Dans : European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2007), Hammamet, 31/10/07-02/11/07, Vol. 4724, Springer, LNCS, p. 199-209, 2007.
Résumé Accès : http://www.irit.fr/publis/LILAC/Ecsqaru_2007.pdf
BibTeXHans Van Ditmarsch, Andreas Herzig, Tiago de Lima
Raisonnement sur les actions : de Toronto à Amstermdam
Dans : 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, p. 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
Dans : Theoretical Aspects of Rationality and Knowledge (TARK 2007), Bruxelles, Belgique, 25/06/07-27/06/07, Dov Samet (Eds.), Presses universitaires de Louvain, p. 42-51, juin 2007.
Résumé Accès : http://www.irit.fr/~Andreas.Herzig/P/Tark07ncl.html
BibTeXPhilippe Balbiani, Andreas Herzig
Talkin’bout Kripke models
Dans : International Workshop on Hybrid Logic 2007 (HyLo 2007), Dublin, 06/08/07-10/08/07, Torben Braüner, Jørgen Villadsen (Eds.).
Résumé Accès : http://www.irit.fr/~Andreas.Herzig/P/HyLo07.html
BibTeXJan Broersen, Andreas Herzig, Nicolas Troquard
Normal Coalition Logic and its conformant extension
Dans : Theoretical Aspects of Rationality and Knowledge (TARK 2007), Brussels, 25/06/07-27/06/07, Dov Samet (Eds.), Presses universitaires de Louvain, p. 91-101, 2007.
Résumé Accès : 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
Dans : 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, p. 43-59, 2007.
Résumé Accès : 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
Dans : Conference on Artificial Intelligence (AAAI 2007), Vancouver, 22/07/07-26/07/07, Robert C. Holte, Adele Howe (Eds.), AAAI Press, p. 1-6, 2007.
Emiliano Lorini, Nicolas Troquard, Andreas Herzig, Cristiano Castelfranchi
Delegation and mental states (regular paper)
Dans : 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, p. 610-612, mai 2007.
Résumé Accès : 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
Dans : 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.).
Résumé Accès : 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
Dans : 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, p. 167-186, septembre 2006.
Résumé Accès : 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
Dans : 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, p. 41-44, septembre 2006.
Jan Broersen, Andreas Herzig, Nicolas Troquard
A STIT-extension of ATL (regular paper)
Dans : 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, p. 69-81, septembre 2006.
Résumé Accès : http://www.irit.fr/~Andreas.Herzig/P/Jelia06_Jan.pdf
BibTeXOlivier Gasquet, Andreas Herzig, Mohamad Sahade
Une plateforme de raisonnement par tableaux
Dans : 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), (en ligne), 2006.
Emiliano Lorini, Andreas Herzig, Cristiano Castelfranchi
Introducing attempt in a modal logic of intentional action
Dans : 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, p. 280-292, septembre 2006.
Résumé Accès : 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)
Dans : 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, p. 81-94, 2006 (Premier prix de la meilleure contribution).
Résumé Accès : 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)
Dans : 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, p. 24-32, 2006.
Résumé Accès : 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
Dans : 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
Dans : 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, p. 23-35, mai 2006.
Résumé Accès : http://dx.doi.org/10.1016/j.entcs.2006.02.011
BibTeXAndreas Herzig, Laurent Perrussel, Ivan José Varzinczak
Elaborating domain descriptions
Dans : Eleventh International Workshop on Nonmonotonic Reasoning (NMR¿2006), Lake District, .
Epistemic Actions and Ontic Actions: a Unified Logical Framework
Dans : 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, p. 409-418, octobre 2006.
Andreas Herzig, Ivan José Varzinczak
A modularity approach for a fragment of ALC
Dans : European Conference on Logics in Artificial Intelligence (JELIA 2006), Liverpool, 13/09/06-15/09/06, Springer-Verlag, LNCS/LNAI 4160, p. 216-228, septembre 2006.
Andreas Herzig, Laurent Perrussel, Ivan José Varzinczak
Elaborating domain descriptions
Dans : 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, p. 397-401, août 2006.
Benoit Gaudou, Andreas Herzig, Dominique Longin, Matthias Nickles
A New Semantics for the FIPA Agent Communication Language based on Social Attitudes (regular paper)
Dans : 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, p. 245-249, 2006.
Résumé Accès : 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)
Dans : 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, p. 211-229, 2006.
Résumé Accès : 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)
Dans : 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, p. 209-216, mai 2006.
Résumé Accès : 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
Dans : Annual Conference of the Cognitive Science Society (CogSci 2005), Stresa (Italy), 21/07/05-23/07/05, Lawrence Erlbaum Associates, p. 1325-1330, 2005.
Andreas Herzig, Ivan José Varzinczak
Cohesion, coupling and the meta-theory of actions
Dans : 19th Int. Joint Conf. on Artificial Intelligence (IJCAI’2005), Edinburgh, L. Kaelbling, A. Saffiotti (Eds.), Morgan Kaufmann Publishers, p. 442-447, août 2005.
On updates with integrity constraints
Dans : 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.).
Accès : 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)
Dans : Computational Logic in Multi-Agent Systems (CLIMA 2005), Lisbon, Portugal, 29/09/05-30/09/05, João Leite, Paolo Torroni (Eds.), Springer-Verlag, p. 144-160, septembre 2005.
Accès : 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)
Dans : 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)
Dans : 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, p. 318-322, septembre 2005.
Résumé Accès : 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
Dans : The Sixth Workshop on Nonmonotonic Reasoning, Action, and Change (NRAC 2005), Edinburgh, 01/08/05.
Accès : http://www.irit.fr/~Andreas.Herzig/P/Nrac05.html
BibTeXBenoit Gaudou, Andreas Herzig, Dominique Longin
A logical framework for grounding-based dialogue analysis
Dans : 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.).
Accès : 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
Dans : Sixteenth European Conference on Artificial Intelligence (ECAI¿2004), Valencia, Ramón López de Mántara, Lorenza Saitta (Eds.), IOS Press, p. 348-352, août 2004.
Mehdi Dastani, Andreas Herzig, Joris Hulstijn, Leendert W. N. Van Der Torre
Inferring trust
Dans : CLIMA V, Lisbon, Portugal, 29/09/04-30/09/04, João Leite, Paolo Torroni (Eds.).
Accès : http://www.irit.fr/~Andreas.Herzig/P/clima04.html
BibTeXAndreas Herzig, Jérôme Lang, Pierre Marquis
Revision and update in multiagent belief structures
Dans : 5th Conf. on Logic and the Foundations of Game and Decision Theory (LOFT6), Leipzig (Germany), 16/07/04-18/07/04.
Accès : http://www.irit.fr/~Andreas.Herzig/P/Loft04.html
BibTeXAndreas Herzig, Ivan José Varzinczak
On modularity of theories
Dans : Proc. Int. Workshop on Advances in Modal Logic (AiML 2004), Manchester, 09/09/04-11/09/04.
Accès : http://www.irit.fr/~Andreas.Herzig/P/AiML04.html
BibTeXRobert Demolombe, Andreas Herzig
Obligation change in dependence logic and situation calculus (regular paper)
Dans : 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, p. 57-73, mai 2004.
Accès : http://www.irit.fr/~Andreas.Herzig/P/Deon04.html
BibTeXAndreas Herzig, Ivan José Varzinczak
Domain descriptions should be modular
Dans : Proc. 10th Int. Workshop on Non-Monotonic Reasoning (NMR’2004), Whistler, Canada, 06/06/04-08/06/04.
Accès : http://www.irit.fr/~Andreas.Herzig/P/Ecai04.html
BibTeXAndreas Herzig, Dominique Longin
C&L intention revisited (regular paper)
Dans : 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, p. 527-535, juin 2004.
Accès : 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)
Dans : Electronic Festschrift for the 60th Anniversary of Norman Foo, Sydney, 29/11/03, Abhaya Nayak, Maurice Pagnucco (Eds.).
Accès : 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
Dans : 2ème journées Francophones sur les Modèles Formels de l’Interaction, MFI, Lille, ., p. 3-9, mai 2003.
Andreas Herzig, Sébastien Konieczny, Laurent Perrussel
On iterated revision in the AGM framework
Dans : 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, p. 477-488, juillet 2003.
Résumé Accès : http://www.irit.fr/~Andreas.Herzig/P/Ecsqaru03Rev.html
BibTeXModal probability and belief
Dans : 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
Dans : Methods for Modalities (M4M-3), Nancy, 22/09/03-23/09/03.
Résumé Accès : 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
Dans : Proc. Int. Joint Conf. on Artificial Intelligence (IJCAI-03), Acapulco, 12/08/03-15/08/03, Morgan Kaufman, p. 1067-1072, août 2003.
Résumé Accès : http://www.irit.fr/~Andreas.Herzig/P/ijcai03.html
BibTeXAndreas Herzig, Dominique Longin
Beliefs, intentions, actions and speech acts
Dans : 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)
Dans : European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2003), Aalborg, Denmark, 02/07/03-05/07/03, Springer, LNAI 2711, p. 62-73, juillet 2003.
Résumé Accès : 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
Dans : Congrès Francophone AFRIF-AFIA de Reconnaissance des Formes et Intelligence Artificielle (RFIA 2002), Angers, France, 08/01/02-10/01/02.
Résumé Accès : 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
Dans : Proc. Nineth International Workshop on Non-Monotonic Reasoning (NMR’2002), Toulouse, 19/04/02-21/04/02.
Accès : 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)
Dans : 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, p. 920-927, 2002.
Résumé Accès : 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
Dans : 5th Conf. on Logic and the Foundations of Game and Decision Theory (LOFT5), Torino, 28/06/02-30/06/02.
Accès : 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)
Dans : European Conference on Artificial Intelligence (ECAI 2002), Lyon, 23/07/02-26/07/02, Frank van Harmelen (Eds.), IOS Press, p. 307-311, juillet 2002.
Résumé Accès : 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
Dans : 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.).
Accès : https://www.irit.fr/publis/LILAC/Conf_sans_actes/2001_Gasquet_et_al_MFI.pdf
BibTeXLaszlo Aszalos, Andreas Herzig
Reasoning about Failure (regular paper)
Dans : Engineering Societies in the Agents’ World (ESAW 2001), Prague, 07/07/01, Springer-Verlag, p. 74-86, juillet 2001.
Accès : 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
Dans : 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.).
Accès : 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
Dans : IJCAI’01 Workshop on Planning under Uncertainty, Seattle, 01/01/01-05/01/01.
Accès : 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)
Dans : International Joint Conference on Artificial Intelligence (IJCAI ), Seattle, Morgan Kaufmann Publishers, p. 119-124, août 2001.
Accès : 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)
Dans : 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, p. 453-458, 2001.
Accès : 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)
Dans : National Conference on Artificial Intelligence (AAAI 2000), Austin, Texas (USA), 30/07/00-03/08/00, Henry Kautz, Bruce Porter (Eds.), AAAI Press, p. 768-773, 2000.
Résumé Accès : 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
Dans : The Fifth International Conference on Artificial Intelligence Planning \& Scheduling (AIPS2000), Breckenridge, CO, USA, 11/04/00-15/04/00.
Accès : 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
Dans : Proc. 7e Conf. annuelle sur le Traitement Automatique des Langues Naturelles (TALN-2000), Lausanne, 16/10/00-18/10/00.
Résumé Accès : 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
Dans : Proceedings of the 14th European Conference on Artificial Intelligence ECAI 2000, Berlin, Germany, 20/08/00-25/08/00, Werner Horn, p. 553-557, août 2000.
Rémi Faure, Andreas Herzig, Dominique Longin, Jacques Virbel
Actes de langage non-littéraux et approche intentionnelle du dialogue
Dans : 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
Dans : Proceedings of the 4h International Workshop on the Semantics and Pragmatics of Dialogue (Götalog’2000), Goteborg, Sweden, 01/02/00-02/02/00.
Accès : http://www.irit.fr/publis/LILAC/Conf_sans_actes/2000_Herzig_et_al_Gotalog.pdf
BibTeXAndreas Herzig, Dominique Longin
Belief dynamics in cooperative dialogues
Dans : 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.).
Résumé Accès : 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
Dans : Journées Nationales sur les Modèles du Raisonnement, Paris, .
Andreas Herzig, Thomas Polacsek, Jérôme Lang
Knowledge, actions, and tests
Dans : IJCAI’99 Workshop on Practical Reasoning and Rationality, Stockholm, 31/07/99-31/07/99.
Accès : 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
Dans : 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)
Dans : Tableaux’98, Netherlands, .
Luis Fariñas del Cerro, Andreas Herzig, Dominique Longin, Omar Rifi
Belief Reconstruction in Cooperative Dialogues (regular paper)
Dans : 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, p. 254-266, septembre 1998.
Accès : http://www.irit.fr/publis/LILAC/Conf_internationales/1998_Farinas_et_al_AIMSA.pdf
BibTeXUpdate operations: a review (regular paper)
Dans : European Conference on Artificial Intelligence (ECAI ), Brighton, Wiley, p. 13-17, août 1998.
Accès : 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
Dans : International Joint Conference on Artificial Intelligence (IJCAI’97), Nagoya, Japan, 01/01/97.
Accès : 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
Dans : Working notes of the Symposium on Logical Approaches to Agent Modeling and Desing – ESSLLI’97, Aix-en-Provence, France, 01/01/97.
Accès : 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
Dans : Actes des 6èmes Journées Nationales du PRC-GDR Intelligence Artificielle (S. Pesty, P. Siegel, eds.), Grenoble, Hermès, Paris, p. 145-160, mars 1997.
R. 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
Dans : Actes des 6èmes Journées Nationales du PRC-GDR Intelligence Artificielle (S. Pesty, P. Siegel, eds.), Grenoble, Hermès, Paris, p. 211-242, mars 1997.
How to change factual beliefs using laws and independence information (regular paper)
Dans : 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, p. 311-321, juin 1997.
Accès : 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)
Dans : International Joint Conference on Artificial Intelligence (IJCAI 1997), Nagoya, Japon, 01/01/97, Morgan Kaufmann Publishers, p. 62-67, janvier 1997.
Accès : http://www.irit.fr/~Andreas.Herzig/ijcai97.html
BibTeXGabriella Crocco, Andreas Herzig
The Ramsey Test as an inference rule (regular paper)
Dans : The role of pragmatics in contemporary philosophy: Contributions of the Austrian Ludwig Wittgenstein Society, Kirchberg, Austrian Ludwig Wittgenstein Society (ALWS), janvier 1997.
Accès : 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)
Dans : European Conference on Planning (ECP ), –, Springer, p. 104-116, janvier 1997.
Accès : http://www.irit.fr/~Andreas.Herzig/P/ecp97.html
BibTeXPossibilistic independence and belief change (Dubois, Didier and Klement, Erich P. and Prade, Henri eds.)
Dans : Abstracts of the Workshop on Fuzzy Sets, Logics and Artificial Intelligence (Linz’96), Linz, Austria, .
The PMA revisited (regular paper)
Dans : International Conference on Principles of Knowledge Representation and Reasoning (KR ), –, Luigia Carlucci Aiello, Stuart Shapiro (Eds.), Morgan Kaufmann Publishers, p. 40-50, novembre 1996.
Accès : http://www.irit.fr/~Andreas.Herzig/P/kr96.html
BibTeXLuis Fariñas del Cerro, Andreas Herzig
Combining classical and intuitionistic logic, or: intuitionistic implication as a conditional (regular paper)
Dans : Frontiers of Combining Systems (FroCoS 2018), –, 01/01/18, Franz Baader, Klaus U. Schulz (Eds.), Kluwer, Logic Series 3, p. 93-102, janvier 1996.
Accès : http://www.irit.fr/~Andreas.Herzig/P/frocos96.html
BibTeXLuis Fariñas del Cerro, Andreas Herzig
Belief change and dependence (regular paper)
Dans : Conf. on Theoretical Aspects of Rationality and Knowledge (TARK 2018), De Zeuwse Stromen, 01/01/18, Morgan Kaufmann Publishers, p. 147-162, janvier 1996.
Accès : 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)
Dans : Int. Conf. on Formal and Applied Practical Reasoning (FAPR ), –, Springer-Verlag, p. 141-150, juin 1996.
Accès : http://www.irit.fr/~Andreas.Herzig/P/fapr96.ps.gz
BibTeXRevision and independence (Rott, Hans eds.)
Dans : 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
Dans : 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
Dans : Actes des 5èmes Journées Nationales du PRC-GDR Intelligence Artificielle, Nancy, 01/02/95-03/02/95, Teknea, Marseille, p. 77-121, février 1995.
Didier Dubois, Luis Fariñas del Cerro, Andreas Herzig, Henri Prade
An ordinal view of independence, plausible reasoning and belief revision
Dans : 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, p. 195-203, 1994.
Résumé Accès : 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
Dans : Processing Declarative Knowledge (PDK 1991), Kaiserslautern, H. Boley, M. Richter (Eds.), Springer-Verlag, p. 366-382, janvier 1991.
A new decidable fragment of first order logic
Dans : Abstracts of the 3rd Logical Biennial, Summer School & Conference in honour of S.C. Kleene, Varna, Bulgaria, 01/06/90-05/06/90.
Accès : 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
Dans : 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, p. 507-514, janvier 1988.
Andreas Herzig, Emiliano Lorini
The Cognitive Foundations of Group Attitudes and Social Interaction
, Springer, Vol. 5, Studies in the Philosophy of Sociality, octobre 2015.
Résumé Accès : http://www.irit.fr/~Andreas.Herzig/P/SpringerCfgasi15.html
BibTeXAndreas Herzig, Emiliano Lorini
European Conference on Social Intelligence (ECSI 2014), Barcelona, 03/11/14 – 05/11/14, CEUR-WS : Workshop proceedings, 2014.
Accès : http://ceur-ws.org/Vol-1283/
BibTeXGiacomo Bonanno, Andreas Herzig, Jérôme Lang, Wiebe Van Der Hoek
Special issue on Logic and the Foundations of the Theory of Games and Decisions (LOFT9)
Dans : Internatinal Journal of Game theory, Springer, Vol. 42 N. 3, août 2013.
Accès : http://link.springer.com/journal/182/42/3/page/1
BibTeXLuis Fariñas del Cerro, Andreas Herzig, Jérôme Mengin
Logics in Artificial Intelligence – 13th European Conference, JELIA 2012, Toulouse, France, 26/09/12 – 28/09/12, Springer-Verlag, LNCS 7519 , septembre 2012.
Giacomo Bonanno, Andreas Herzig, Jérôme Lang, Wiebe Van Der Hoek
Logical Aspects of Game Theory (LOFT 2010)
Dans : Journal of Applied Non-Classical Logics, Taylor & Francis Group, Vol. 21 N. 3-4, novembre 2011.
Accès : http://jancl.e-revues.com/resnum.jsp?editionId=1605
BibTeXPhilippe Balbiani, Luis Fariñas del Cerro, Andreas Herzig
Special Issue 20th Anniversary – Part 2
Dans : Journal of Applied Non-Classical Logics, Taylor & Francis Group, Vol. 20 N. 4, 2011.
Andreas Herzig, Emiliano Lorini
Editorial Introduction: Logical Methods for Social Concepts
Dans : Journal of Philosophical Logic, Springer-Verlag, Heidelberg, Allemagne, Vol. 40 N. 4, 2011.
Accès : http://www.springerlink.com/content/x1453u7n38075007/fulltext.pdf
BibTeXFrank Van Harmelen, Andreas Herzig, Pascal Hitzler, Guilin Qi
Commonsense Reasoning for the Semantic Web
Dans : Annals of Mathematics and Artificial Intelligence, Springer, Vol. 58 N. 1-2, octobre 2010.
Accès : http://www.springerlink.com/content/1012-2443/58/1-2/
BibTeXAndreas Herzig, Benjamin Johnston
NRAC: Proceedings of the IJCAI-09 Workshop on Nonmonotonic Reasoning, Action and Change, Pasadena, CA (USA), 11/07/09, UTSeScholarship, octobre 2009.
Accès : http://utsescholarship.lib.uts.edu.au/dspace/bitstream/handle/2100/967/complete%20proceedings.pdf?sequence=1
BibTeXHans Van Ditmarsch, Andreas Herzig
Belief revision and dynamic logic
Dans : Journal of Applied Non-Classical Logics, Taylor & Francis Group, Vol. 17 N. 2, août 2007.
Accès : http://www.irit.fr/~Andreas.Herzig/P/Jancl07.html
BibTeXAndreas Herzig, Yves Lespérance, Abdel-Illah Mouaddib
Modèles formels de l’interaction – actes des secondes journées francophones (MFI’05), Caen, 25/05/05 – 27/05/05, Cépaduès Editions, mai 2005.
Accès : http://www.irit.fr/~Andreas.Herzig/P/mfi05Preface.html
BibTeXPhilippe Besnard, Andreas Herzig
Logical approaches to paraconsistency
Dans : Journal of Applied Non-Classical Logics, Taylor & Francis Group, Vol. 15:1, 2005.
Accès : http://www.irit.fr/~Andreas.Herzig/P/jancl05.html
BibTeXAndreas Herzig, Brahim Chaib-Draa, Philippe Mathieu
Modèles formels de l’interaction – Actes des Secondes Journées Francophones (MFI’03), Lille, Cépaduès-Editions, 2003.
Belief Change: Theory and Practice
Dans : Journal of Applied Non-Classical Logics, Taylor & Francis Group, Vol. 11, 2/3, 2001.
Accès : http://www.irit.fr/~Andreas.Herzig/P/jancl01.html
BibTeXDidier Dubois, Luis Fariñas del Cerro, Andreas Herzig, Henri Prade
Proc. of the FAPR’96 Workshop ‘Is Logic + Ordering Enough for Formalizing Common Sense Reasoning?’ (International Conference on Formal And Applied Practical Reasoning), Bonn – Allemagne, juin 1996.
Gabriella Crocco, Luis Fariñas del Cerro, Andreas Herzig
Conditionals: From Philosophy to Computer Science
, Oxford University Press, Studies in Logic and Computation, 1995.
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⟩
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⟩
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⟩
Sylvie Doutre, Andreas Herzig, Laurent Perrussel
Abstract Argumentation in Dynamic Logic: Representation, Reasoning and Change
Beishui Liao; Thomas Ågotnes; Yi N. Wang. Dynamics, Uncertainty and Reasoning: The Second Chinese Conference on Logic and Argumentation, Springer Singapore, pp.153-185, 2019, Logic in Asia: Studia Logica Library book series (LIAA), 978-981-13-7790-7. ⟨10.1007/978-981-13-7791-4_8⟩
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
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)
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⟩
Benoit Gaudou, Andreas Herzig, Dominique Longin, Emiliano Lorini
On Modal Logics of Group Belief
Dans : The Cognitive Foundations of Group Attitudes and Social Interaction. Andreas Herzig, Emiliano Lorini (Eds.) , Springer, p. 75-106, Vol. 5, Studies in the Philosophy of Sociality, 2015.
Accès : http://www.irit.fr/publis/LILAC/Ouvrages/2015_Gaudou_et_al_Group-belief.pdf
BibTeXUsing STIT theory to talk about strategies
Dans : Models of Strategic Reasoning. Johan van Benthem, Sujata Ghosh, Rineke Verbrugge (Eds.) , Springer, p. 137-173, Vol. 8972, LNCS, 2015.
John-Jules Meyer, Jan Broersen, Andreas Herzig
BDI logics
Dans : Handbook of Logics for Knowledge and Belief. Hans van Ditmarsch, Joseph Y. Halpern, Wiebe van der Hoek, Barteld Kooi (Eds.) , College Publications, 10, p. 498-542, mars 2015.
Résumé Accès : http://www.irit.fr/~Andreas.Herzig/P/HandbkEpi15_chap10.pdf
BibTeXFlorence Dupin De Saint Cyr – Bannay, Andreas Herzig, Jérôme Lang, Pierre Marquis
Raisonnement sur l’action et le changement
Dans : Panorama de l’intelligence artificielle. Ses bases méthodologiques, ses développements. Pierre Marquis, Odile Papini, Henri Prade (Eds.) , Cépaduès, 12, p. 255-282, Vol. 1, 2014.
Accès : http://www.irit.fr/publis/ADRIA/PapersDupin/draftchap12.pdf
BibTeXAndreas Herzig, Emiliano Lorini
A modal logic of perceptual belief
Dans : Epistemology, Context, and Formalism. Franck Lihoreau, Manuel Rebuschi (Eds.) , Springer, p. 197-211, Vol. 369, Synthese Library, février 2014.
Emiliano Lorini, Andreas Herzig
Direct and indirect common belief
Dans : Institutions, Emotions, and Group Agents: Contributions to Social Ontology. Anita Konzelmann Ziv, Hans Bernhard Schmid (Eds.) , Springer, p. 355-372, Vol. 2, Studies in the Philosophy of Sociality, janvier 2014.
Andreas Herzig, Philippe Besnard
Représentation des connaissances : modalités, conditionnels et raisonnement non monotone
Dans : Panorama actuel de l’intelligence artificielle : ses bases methodologiques et ses developpements. Pierre Marquis, Odile Papini, Henri Prade (Eds.) , Cépaduès Editions, 2, p. 1-20, Vol. 1, 2014.
Jonathan Ben-Naim, Jean-François Bonnefon, Andreas Herzig, Sylvie Leblois, Emiliano Lorini
Computer-mediated trust in self-interested expert recommendations
Dans : Cognition beyond the brain – Interactivity and human thinking. Stephen J. Cowley, Frédéric Vallée-Tourangeau (Eds.) , Springer, p. 53-70, août 2013.
Andreas Herzig, Tiago de Lima, Emiliano Lorini, Nicolas Troquard
Three traditions in the logic of action: bringing them together
Dans : Krister Segerberg on Logic of Action. Robert Trypuz (Eds.) , Springer, p. 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
Dans : Handbook on Agreement Technologies. Sascha Ossowski (Eds.) , Springer, p. 171-180, 2012.
Andreas Herzig, Emiliano Lorini, Frédéric Moisan
A simple logic of trust based on propositional assignments
Dans : The Goals of Cognition. Essays in Honor of Cristiano Castelfranchi. Fabio Paglieri, Luca Tummolini, Rino Falcone, Maria Miceli (Eds.) , College Publications, p. 407-419, décembre 2012.
Résumé Accès : http://www.irit.fr/~Andreas.Herzig/P/Igpl09.html
BibTeXGuillaume Aucher, Andreas Herzig
Exploring the power of converse events
Dans : Dynamic Formal Epistemology. Patrick Girard, Olivier Roy, Mathieu Marion (Eds.) , Springer, p. 51-74, Vol. 351, Synthese Library, janvier 2011.
Benoit Gaudou, Andreas Herzig, Dominique Longin
Group belief and grounding in conversation
Dans : Logical Properties of Dialogue. Alain Trognon, Martine Batt, Jean Caelen, Denis Vernant (Eds.) , Presses Universitaires de Nancy, p. 59-96, mars 2011.
Accès : 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
Dans : 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, p. 68-84, Vol. 5948, LNAI, 2010.
Accès : 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
Dans : Dialogues, Logics and Other Strange Things — Essays in Honour of Shahid Rahman. Cédric Dégremont, Laurent Keiff, Helge Rückert (Eds.) , College Publications, p. 11-32, octobre 2008.
Andreas Herzig, Ivan José Varzinczak
On the modularity of theories
Dans : Advances in Modal Logic, Volume 5. Renate Schmidt, Ian Pratt-Hartmann, Mark Reynolds, Heinrich Wansing (Eds.) , King’s College Publications, p. 93-109, 2005.
Accès : 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
Dans : We Will Show Them: Essays in Honour of Dov Gabbay. Sergei Artemov, Howard Barringer, Luis Lamb, John Woods (Eds.) , College Publications (ISBN 1904987117), London, p. 587-614, Vol. 1, 2005.
Gabriella Crocco, Andreas Herzig
Les operations de changement basees sur le test de Ramsey
Dans : Révision des croyances. Pierre Livet (Eds.) , Hermès, p. 21-41, juillet 2002.
Accès : 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
Dans : Fuzzy Sets, Logics and Reasoning about Knowledge. D. Dubois, H. Prade, E.P. Klement (Eds.) , Kluwer Academic Publishers, Dordrecht, Pays-Bas, p. 325-350, Vol. 15, Applied Logic series, 1999.
Logics for belief base updating
Dans : Handbook of defeasible reasoning and uncertainty management. Didier Dubois, Dov Gabbay, Henri Prade, Philippe Smets (Eds.) , Kluwer Academic Publishers, p. 189-231, Vol. 3 (Belief Change), 1998.
Olivier Gasquet, Andreas Herzig
From Classical to Normal Logics
Dans : Proof Theory of Modal Logics. Heinrich Wansing (Eds.) , Kluwer, p. 293-311, Vol. Num. 2, Applied Logic Series, 1996.
Accès : http://www.irit.fr/~Andreas.Herzig/P/ptml96.html
BibTeXGabriella Crocco, Luis Fariñas del Cerro, Andreas Herzig
Introduction
Dans : Conditionals From Philosophy to Computer Science. G. Crocco, L. Fariñas del Cerro, A. Herzig (Eds.) , Oxford University Press, p. 1-13, 1995.
Olivier Gasquet, Andreas Herzig
Translation-Based Deduction Methods for Modal Logics
Dans : Advances in Intelligent Computing – IPMU’94, Selected Papers. B. Bouchon-Meunier, R.R. Yager, L. Zadeh (Eds.) , Springer, p. 399-408, LNCS 945, 1995.
Luis Fariñas del Cerro, Andreas Herzig
Changements minimaux constructifs
Dans : Méthodes logiques pour les sciences cognitives. Jacques Dubucs, François Lepage (Eds.) , Hermes, p. 195-204, 1995.
Luis Fariñas del Cerro, Andreas Herzig
Revisions, Updates, and Interference
Dans : Logic and Information. André Fuhrmann, Hans Rott (Eds.) , DeGruyter Publishers, Berlin, p. 189-207, 1995.
Luis Fariñas del Cerro, Andreas Herzig
Modal deduction with applications in epistemic and temporal logic
Dans : Handbook of Logic and Artificial Intelligence. Dov Gabbay, J. Chris, J. A. Robinson (Eds.) , Oxford, p. 499-594, Vol. 4, 1995.
Luis Fariñas del Cerro, Andreas Herzig
Possibility theory and independence
Dans : Advances in Intelligent Computing – IPMU’94, Selected Papers. Bernadette Bouchon-Meunier, Ronald R. Yager, Lotfi A. Zadeh (Eds.) , Springer, p. 292-301, 1995.
La dynamiques des croyances
Habilitation à diriger des recherches, Université Paul Sabatier, janvier 1999.
Accès : http://www.irit.fr/~Andreas.Herzig/P/habil.html
BibTeX
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
, Springer, Vol. 5, Studies in the Philosophy of Sociality, octobre 2015.
Résumé Accès : http://www.irit.fr/~Andreas.Herzig/P/SpringerCfgasi15.html
BibTeXOlivier Gasquet, Andreas Herzig, Bilal Said, François Schwarzentruber
Kripke’s Worlds – An introduction to modal logics via tableaux, Springer-Verlag, Studies in Universal Logic, janvier 2014.
Résumé Accès : http://dx.doi.org/10.1007/978-3-7643-8504-0
BibTeXGabriella 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)
Dans : European Conference on Artificial Intelligence (ECAI 2010), Lisbon, 16/08/10-20/08/10, IOS Press, p. 1037-1038, août 2010.
Benoit Gaudou, Andreas Herzig, Dominique Longin
Logical formalization of social commitments: Application to Agent Communication Languages (poster)
Dans : 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, p. 1293-1294, 2009.
Résumé Accès : http://www.irit.fr/publis/LILAC/Conf_internationales/2009_AAMAS_Gaudou_et_al.pdf
BibTeX
Dossier “Raisonnement et Décision”
Vulgarisation. juin 2011. Paul Sabatier Magazine scientifique, no. 22
Accès : http://www.univ-tlse3.fr/25647182/0/fiche___pagelibre/&RH=ACCUEIL&RF=rubrech03
BibTeXAndreas Herzig, Emiliano Lorini
Logical methods for social concepts
Diffusion scientifique. septembre 2009. The Reasoner, vol. 3, no. 9
Accès : http://www.kent.ac.uk/secl/philosophy/jw/TheReasoner/vol3/TheReasoner-3(9).pdf
BibTeX