Andreas Herzig

248 papers A* 33A 25B 27C 11Misc 4Journal 76Unranked 61

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Simple dynamic logic with parallel composition and applications to planning. J. Log. Comput. Andreas Herzig, Frédéric Maris, Elise Perrotin, Julien Vianey
2025	A*	`conf`	Minimal Change in Modal Logic S5. AAAI Carlos Aguilera-Ventura, Jonathan Ben-Naim, Andreas Herzig
2025	A*	`conf`	On the Logic of Theory Base Change: Reformulation of Belief Bases. AAAI Eduardo L. Fermé, Andreas Herzig, Maria Vanina Martinez
2025	—	`conf`	On the Logic of Theory Base Change: Reformulation of Belief Bases. NMR Eduardo L. Fermé, Andreas Herzig, Maria Vanina Martinez
2025	J	`jnl`	Polynomial Prenexing of QBFs with Non-Monotone Boolean Operators. CoRR Abdallah Saffidine, Andreas Herzig
2024	A	`conf`	A Novel View of Analogical Proportion Between Formulas. ECAI Andreas Herzig, Emiliano Lorini, Henri Prade
2024	J	`jnl`	Reasoning About Action and Change. CoRR Florence Dupin de Saint-Cyr, Andreas Herzig, Jérôme Lang, Pierre Marquis
2024	J	`jnl`	SNN-Based Online Learning of Concepts and Action Laws in an Open World. CoRR Christel Grimaud, Dominique Longin, Andreas Herzig
2024	A*	`conf`	Towards Epistemic-Doxastic Planning with Observation and Revision. AAAI Thorsten Engesser, Andreas Herzig, Elise Perrotin
2023	A*	`conf`	Counterfactual Reasoning via Grounded Distance. KR Carlos Aguilera-Ventura, Andreas Herzig, Xinghan Liu, Emiliano Lorini
2023	J	`jnl`	Epistemic planning: Perspectives on the special issue. Artif. Intell. Vaishak Belle, Thomas Bolander, Andreas Herzig, Bernhard Nebel
2023	—	`ed.`	Logic and Argumentation - 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings CLAR Andreas Herzig, Jieting Luo, Pere Pardo
2023	—	`ed.`	Logic, Rationality, and Interaction - 9th International Workshop, LORI 2023, Jinan, China, October 26-29, 2023, Proceedings LORI Natasha Alechina, Andreas Herzig, Fei Liang
2023	J	`jnl`	Logic, arguments and inconsistencies: an introduction to the festschrift in honour of Philippe Besnard. J. Appl. Non Class. Logics Sylvie Doutre, Andreas Herzig, Anthony Hunter
2023	J	`jnl`	Qualitative uncertainty and dynamics of argumentation through dynamic logic. CoRR Antonio Yuste-Ginel, Andreas Herzig
2023	J	`jnl`	Qualitative uncertainty and dynamics of argumentation through dynamic logic. J. Log. Comput. Antonio Yuste-Ginel, Andreas Herzig
2022	A*	`conf`	A Computationally Grounded Logic of 'Seeing-to-it-that'. IJCAI Andreas Herzig, Emiliano Lorini, Elise Perrotin
2022	—	`conf`	Database Repair via Event-Condition-Action Rules in Dynamic Logic. FoIKS Guillaume Feuillade, Andreas Herzig, Christos Rantsoudis
2022	J	`jnl`	Frame-validity Games and Lower Bounds on the Complexity of Modal Axioms. Log. J. IGPL Philippe Balbiani, David Fernández-Duque, Andreas Herzig, Petar Iliev
2022	J	`jnl`	Preface. Ann. Math. Artif. Intell. Andreas Herzig, Juha Kontinen
2021	A*	`conf`	A Dynamic Epistemic Logic with Finite Iteration and Parallel Composition. KR Andreas Herzig, Frédéric Maris, Elise Perrotin
2021	J	`jnl`	A lightweight epistemic logic and its application to planning. Artif. Intell. Martin C. Cooper, Andreas Herzig, Faustine Maffre, Frédéric Maris, Elise Perrotin, Pierre Régnier
2021	—	`conf`	Abstract Argumentation with Qualitative Uncertainty: An Analysis in Dynamic Logic. CLAR Andreas Herzig, Antonio Yuste-Ginel
2021	B	`conf`	Epistemic Reasoning About Rationality and Bids in Auctions. JELIA Munyque Mittelmann, Andreas Herzig, Laurent Perrussel
2021	A*	`conf`	Multi-Agent Abstract Argumentation Frameworks With Incomplete Knowledge of Attacks. IJCAI Andreas Herzig, Antonio Yuste-Ginel
2021	A*	`conf`	On the Epistemic Logic of Incomplete Argumentation Frameworks. KR Andreas Herzig, Antonio Yuste-Ginel
2021	J	`jnl`	Resource separation in dynamic logic of propositional assignments. CoRR Joseph Boudou, Andreas Herzig, Nicolas Troquard
2021	J	`jnl`	Resource separation in dynamic logic of propositional assignments. J. Log. Algebraic Methods Program. Joseph Boudou, Andreas Herzig, Nicolas Troquard
2020	A	`conf`	A Logic of Explicit and Implicit Distributed Belief. ECAI Andreas Herzig, Emiliano Lorini, Elise Perrotin, Fabián Romero, François Schwarzentruber
2020	J	`jnl`	Autoepistemic equilibrium logic and epistemic specifications. Artif. Intell. Ezgi Iraz Su, Luis Fariñas del Cerro, Andreas Herzig
2020	—	`ed.`	Foundations of Information and Knowledge Systems - 11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17-21, 2020, Proceedings FoIKS Andreas Herzig, Juha Kontinen
2020	—	`conf`	Knowledge Base Repair: From Active Integrity Constraints to Active TBoxes. Description Logics Guillaume Feuillade, Andreas Herzig, Christos Rantsoudis
2020	—	`ch.`	Knowledge Representation: Modalities, Conditionals, and Nonmonotonic Reasoning. A Guided Tour of Artificial Intelligence Research (1) (I) Andreas Herzig, Philippe Besnard
2020	A*	`conf`	Lightweight Parallel Multi-Agent Epistemic Planning. KR Martin C. Cooper, Andreas Herzig, Frédéric Maris, Elise Perrotin, Julien Vianey
2020	B	`conf`	On the Axiomatisation of Common Knowledge. AiML Andreas Herzig, Elise Perrotin
2020	—	`ch.`	Reasoning About Action and Change. A Guided Tour of Artificial Intelligence Research (1) (I) Florence Dupin de Saint-Cyr, Andreas Herzig, Jérôme Lang, Pierre Marquis
2020	A*	`conf`	Refining HTN Methods via Task Insertion with Preferences. AAAI Zhanhao Xiao, Hai Wan, Hankz Hankui Zhuo, Andreas Herzig, Laurent Perrussel, Peilin Chen
2020	—	`conf`	Solving Gossip Problems using Answer Set Programming: An Epistemic Planning Approach. ICLP Technical Communications Esra Erdem, Andreas Herzig
2020	A*	`conf`	TouIST: a Friendly Language for Propositional Logic and More. IJCAI Jorge Fernandez, Olivier Gasquet, Andreas Herzig, Dominique Longin, Emiliano Lorini, Frédéric Maris, Pierre Régnier
2019	J	`jnl`	A Dynamic Logic Account of Active Integrity Constraints. Fundam. Informaticae Guillaume Feuillade, Andreas Herzig, Christos Rantsoudis
2019	A*	`conf`	Dynamic logic of parallel propositional assignments and its applications to planning. IJCAI Andreas Herzig, Frédéric Maris, Julien Vianey
2019	—	`ed.`	Frontiers of Combining Systems - 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings FroCoS Andreas Herzig, Andrei Popescu
2019	J	`jnl`	Refining HTN Methods via Task Insertion with Preferences. CoRR Zhanhao Xiao, Hai Wan, Hankz Hankui Zhuo, Andreas Herzig, Laurent Perrussel, Peilin Chen
2019	—	`conf`	Resource Separation in Dynamic Logic of Propositional Assignments. DaLí Joseph Boudou, Andreas Herzig, Nicolas Troquard
2019	J	`jnl`	Social Intelligence. AI Soc. Andreas Herzig, Emiliano Lorini, David Pearce
2019	A*	`conf`	Stratified Evidence Logics. IJCAI Philippe Balbiani, David Fernández-Duque, Andreas Herzig, Emiliano Lorini
2019	B	`conf`	The Dynamic Logic of Policies and Contingent Planning. JELIA Thomas Bolander, Thorsten Engesser, Andreas Herzig, Robert Mattmüller, Bernhard Nebel
2019	J	`jnl`	The epistemic gossip problem. Discret. Math. Martin C. Cooper, Andreas Herzig, Faustine Maffre, Frédéric Maris, Pierre Régnier
2018	—	`conf`	A Dynamic Extension of ALCO for Repairing via Preferred Updates. Description Logics Guillaume Feuillade, Andreas Herzig, Christos Rantsoudis
2018	—	`conf`	Abstract Argumentation in Dynamic Logic: Representation, Reasoning and Change. CLAR Sylvie Doutre, Andreas Herzig, Laurent Perrussel
2018	B	`conf`	Frame-Validity Games and Absolute Minimality of Modal Axioms. Advances in Modal Logic Philippe Balbiani, David Fernández-Duque, Andreas Herzig, Petar Iliev
2018	J	`jnl`	Frame-validity games and lower bounds on the complexity of modal axioms. CoRR Philippe Balbiani, David Fernández-Duque, Andreas Herzig, Petar Iliev
2018	J	`jnl`	Judgment aggregation in dynamic logic of propositional assignments. J. Log. Comput. Arianna Novaro, Umberto Grandi, Andreas Herzig
2018	C	`conf`	Temporal Epistemic Gossip Problems. EUMAS Martin C. Cooper, Andreas Herzig, Frédéric Maris, Julien Vianey
2017	J	`jnl`	A short biography of Luis Fariñas del Cerro. J. Appl. Non Class. Logics Pedro Cabalar, Martín Diéguez, Andreas Herzig, David Pearce
2017	J	`jnl`	BDI Logics for BDI Architectures: Old Problems, New Perspectives. Künstliche Intell. Andreas Herzig, Emiliano Lorini, Laurent Perrussel, Zhanhao Xiao
2017	—	`ch.`	Computer-Mediated Trust in Self-interested Expert Recommendations. Cognition Beyond the Brain Jonathan Ben-Naim, Jean-François Bonnefon, Andreas Herzig, Sylvie Leblois, Emiliano Lorini
2017	—	`conf`	Deciding Refinement Relation in Belief-Intention Databases. AI*IA Zhanhao Xiao, Andreas Herzig, Laurent Perrussel, Dongmo Zhang
2017	A*	`conf`	Dynamic Logic for Data-aware Systems: Decidability Results. IJCAI Francesco Belardinelli, Andreas Herzig
2017	J	`jnl`	Dynamic epistemic logics: promises, problems, shortcomings, and perspectives. J. Appl. Non Class. Logics Andreas Herzig
2017	A*	`conf`	Hierarchical Task Network Planning with Task Insertion and State Constraints. IJCAI Zhanhao Xiao, Andreas Herzig, Laurent Perrussel, Hai Wan, Xiaoheng Su
2017	J	`jnl`	How to share knowledge by gossiping. AI Commun. Andreas Herzig, Faustine Maffre
2017	A*	`conf`	Non-Determinism and the Dynamics of Knowledge. IJCAI Davide Grossi, Andreas Herzig, Wiebe van der Hoek, Christos Moyzes
2017	J	`jnl`	Preface. J. Appl. Non Class. Logics Andreas Herzig, Emiliano Lorini, David Pearce
2017	B	`conf`	Relaxing Exclusive Control in Boolean Games. TARK Francesco Belardinelli, Umberto Grandi, Andreas Herzig, Dominique Longin, Emiliano Lorini, Arianna Novaro, Laurent Perrussel
2017	—	`conf`	Repairing ABoxes through Active Integrity Constraints. Description Logics Christos Rantsoudis, Guillaume Feuillade, Andreas Herzig
2017	A*	`conf`	Strategically knowing how. IJCAI Raul Fervari, Andreas Herzig, Yanjun Li, Yanjing Wang
2017	J	`jnl`	Strategically knowing how. CoRR Raul Fervari, Andreas Herzig, Yanjun Li, Yanjing Wang
2016	A	`conf`	A Simple Account of Multi-Agent Epistemic Planning. ECAI Martin C. Cooper, Andreas Herzig, Faustine Maffre, Frédéric Maris, Pierre Régnier
2016	J	`jnl`	Announcements to Attentive Agents. J. Log. Lang. Inf. Thomas Bolander, Hans van Ditmarsch, Andreas Herzig, Emiliano Lorini, Pere Pardo, François Schwarzentruber
2016	B	`conf`	Before announcement. Advances in Modal Logic Philippe Balbiani, Hans van Ditmarsch, Andreas Herzig
2016	A*	`conf`	Building Epistemic Logic from Observations and Public Announcements. KR Tristan Charrier, Andreas Herzig, Emiliano Lorini, Faustine Maffre, François Schwarzentruber
2016	A*	`conf`	Epistemic Boolean Games Based on a Logic of Visibility and Control. IJCAI Andreas Herzig, Emiliano Lorini, Faustine Maffre, François Schwarzentruber
2016	B	`conf`	On Hierarchical Task Networks. JELIA Andreas Herzig, Laurent Perrussel, Zhanhao Xiao
2016	A*	`conf`	On Logics of Strategic Ability Based on Propositional Control. IJCAI Francesco Belardinelli, Andreas Herzig
2016	B	`conf`	Refinement of Intentions. JELIA Andreas Herzig, Laurent Perrussel, Zhanhao Xiao, Dongmo Zhang
2016	A	`conf`	Simple Epistemic Planning: Generalised Gossiping. ECAI Martin C. Cooper, Andreas Herzig, Faustine Maffre, Frédéric Maris, Pierre Régnier
2016	J	`jnl`	Simple epistemic planning: generalised gossiping. CoRR Martin C. Cooper, Andreas Herzig, Faustine Maffre, Frédéric Maris, Pierre Régnier
2015	—	`conf`	A Poor Man's Epistemic Logic Based on Propositional Assignment and Higher-Order Observation. LORI Andreas Herzig, Emiliano Lorini, Faustine Maffre
2015	J	`jnl`	A formal account of dishonesty. Log. J. IGPL Chiaki Sakama, Martin Caminada, Andreas Herzig
2015	A*	`conf`	Epistemic Equilibrium Logic. IJCAI Luis Fariñas del Cerro, Andreas Herzig, Ezgi Iraz Su
2015	—	`conf`	How to Share Knowledge by Gossiping. EUMAS/AT Andreas Herzig, Faustine Maffre
2015	J	`jnl`	Letter from the Editor. J. Appl. Non Class. Logics Andreas Herzig
2015	J	`jnl`	Logics of knowledge and action: critical analysis and challenges. Auton. Agents Multi Agent Syst. Andreas Herzig
2015	—	`ch.`	Using STIT Theory to Talk About Strategies. Models of Strategic Reasoning Jan M. Broersen, Andreas Herzig
2014	A*	`conf`	A Dynamic Logic Framework for Abstract Argumentation. KR Sylvie Doutre, Andreas Herzig, Laurent Perrussel
2014	B	`conf`	A Dynamic View of Active Integrity Constraints. JELIA Guillaume Feuillade, Andreas Herzig
2014	A*	`conf`	Belief Change Operations: A Short History of Nearly Everything, Told in Dynamic Logic of Propositional Assignments. KR Andreas Herzig
2014	—	`conf`	Belief Merging in Dynamic Logic of Propositional Assignments. FoIKS Andreas Herzig, Pilar Pozos Parra, François Schwarzentruber
2014	J	`jnl`	Capturing equilibrium models in modal logic. J. Appl. Log. Luis Fariñas del Cerro, Andreas Herzig, Ezgi Iraz Su
2014	J	`jnl`	DL-PA and DCL-PC: model checking and satisfiability problem are indeed in PSPACE. CoRR Philippe Balbiani, Andreas Herzig, François Schwarzentruber, Nicolas Troquard
2014	—	`conf`	Encoding Argument Graphs in Logic. IPMU (2) Philippe Besnard, Sylvie Doutre, Andreas Herzig
2014	—	`book`	Kripke's Worlds - An Introduction to Modal Logics via Tableaux. Olivier Gasquet, Andreas Herzig, Bilal Said, François Schwarzentruber
2014	A	`conf`	On the revision of planning tasks. ECAI Andreas Herzig, Maria Viviane de Menezes, Leliane Nunes de Barros, Renata Wassermann
2014	—	`ed.`	Proceedings of the European Conference on Social Intelligence (ECSI-2014), Barcelona, Spain, November 3-5, 2014. ECSI Andreas Herzig, Emiliano Lorini
2014	J	`jnl`	Tableaux for Dynamic Logic of Propositional Assignments. CoRR Tiago de Lima, Andreas Herzig
2014	—	`conf`	Trust-based Personal Information Management in SOA. ICAART (1) Guillaume Feuillade, Andreas Herzig, Seifeddine Kramdi
2013	C	`conf`	A Simple Separation Logic. WoLLIC Andreas Herzig
2013	J	`jnl`	An Ordinal View of Independence with Application to Plausible Reasoning CoRR Didier Dubois, Luis Fariñas del Cerro, Andreas Herzig, Henri Prade
2013	B	`conf`	Combining Equilibrium Logic and Dynamic Logic. LPNMR Luis Fariñas del Cerro, Andreas Herzig, Ezgi Iraz Su
2013	A*	`conf`	Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL. LICS Philippe Balbiani, Andreas Herzig, Nicolas Troquard
2013	J	`jnl`	Grounding power on actions and mental attitudes. Log. J. IGPL Emiliano Lorini, Nicolas Troquard, Andreas Herzig, Jan M. Broersen
2013	J	`jnl`	Introduction to the special issue. Int. J. Game Theory Giacomo Bonanno, Andreas Herzig, Wiebe van der Hoek, Jérôme Lang
2013	—	`conf`	Listen to Me! Public Announcements to Agents That Pay Attention - or Not. LORI Hans van Ditmarsch, Andreas Herzig, Emiliano Lorini, François Schwarzentruber
2013	J	`jnl`	Propositional Update Operators Based on Formula/Literal Dependence. ACM Trans. Comput. Log. Andreas Herzig, Jérôme Lang, Pierre Marquis
2013	—	`conf`	Reasoning about Actions Meets Strategic Logics. LORI Andreas Herzig, Emiliano Lorini, Dirk Walther
2012	—	`conf`	A Computationally Grounded Dynamic Logic of Agency, with an Application to Legal Actions. DEON Andreas Herzig, Tiago de Lima, Emiliano Lorini, Nicolas Troquard
2012	J	`jnl`	La logique modale des modèles d'équilibre. Rev. d'Intelligence Artif. Luis Fariñas del Cerro, Andreas Herzig
2012	B	`ed.`	Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings JELIA Luis Fariñas del Cerro, Andreas Herzig, Jérôme Mengin
2012	J	`jnl`	Public announcements, public assignments and the complexity of their logic. J. Appl. Non Class. Logics Hans van Ditmarsch, Andreas Herzig, Tiago de Lima
2012	B	`conf`	Some Truths Are Best Left Unsaid. Advances in Modal Logic Philippe Balbiani, Hans van Ditmarsch, Andreas Herzig, Tiago de Lima
2011	—	`conf`	A Dynamic Logic of Institutional Actions. CLIMA Andreas Herzig, Emiliano Lorini, Nicolas Troquard
2011	A*	`conf`	A Dynamic Logic of Normative Systems. IJCAI Andreas Herzig, Emiliano Lorini, Frédéric Moisan, Nicolas Troquard
2011	A	`conf`	Agents that speak: modelling communicative plans and information sources in a logic of announcements. AAMAS Philippe Balbiani, Nadine Guiraud, Andreas Herzig, Emiliano Lorini
2011	B	`conf`	Contingency-Based Equilibrium Logic. LPNMR Luis Fariñas del Cerro, Andreas Herzig
2011	J	`jnl`	Editorial Introduction: Logical Methods for Social Concepts. J. Philos. Log. Andreas Herzig, Emiliano Lorini
2011	J	`jnl`	Foreword. J. Appl. Non Class. Logics Giacomo Bonanno, Andreas Herzig, Jérôme Lang, Wiebe van der Hoek
2011	J	`jnl`	From Situation Calculus to Dynamic Epistemic Logic. J. Log. Comput. Hans van Ditmarsch, Andreas Herzig, Tiago de Lima
2011	C	`conf`	How to Do Social Simulation in Logic: Modelling the Segregation Game in a Dynamic Logic of Assignments. MABS Benoît Gaudou, Andreas Herzig, Emiliano Lorini, Christophe Sibertin-Blanc
2011	—	`conf`	Logics of Contingency. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning Luis Fariñas del Cerro, Andreas Herzig
2011	—	`conf`	The Modal Logic of Equilibrium Models. FroCoS Luis Fariñas del Cerro, Andreas Herzig
2010	B	`conf`	A Dynamic Logic for Termgraph Rewriting. ICGT Philippe Balbiani, Rachid Echahed, Andreas Herzig
2010	J	`jnl`	A Dynamic Logic of Agency I: STIT, Capabilities and Powers. J. Log. Lang. Inf. Andreas Herzig, Emiliano Lorini
2010	B	`conf`	A Logical Account of Lying. JELIA Chiaki Sakama, Martin Caminada, Andreas Herzig
2010	J	`jnl`	A Modal Logic for Termgraph Rewriting CoRR Philippe Balbiani, Rachid Echahed, Andreas Herzig
2010	J	`jnl`	A logic of trust and reputation. Log. J. IGPL Andreas Herzig, Emiliano Lorini, Jomi Fred Hübner, Laurent Vercouter
2010	J	`jnl`	Computer-mediated trust in self-interested expert recommendations. AI Soc. Jonathan Ben-Naim, Jean-François Bonnefon, Andreas Herzig, Sylvie Leblois, Emiliano Lorini
2010	J	`jnl`	Foreword. J. Appl. Non Class. Logics Philippe Balbiani, Luis Fariñas del Cerro, Andreas Herzig
2010	J	`jnl`	Preface - Special issue on commonsense reasoning for the semantic web. Ann. Math. Artif. Intell. Frank van Harmelen, Andreas Herzig, Pascal Hitzler, Guilin Qi
2010	J	`jnl`	Tableaux for Public Announcement Logic. J. Log. Comput. Philippe Balbiani, Hans van Ditmarsch, Andreas Herzig, Tiago de Lima
2010	A	`conf`	Trust in complex actions. ECAI Julien Bourdon, Guillaume Feuillade, Andreas Herzig, Emiliano Lorini
2009	Misc	`conf`	A Protocol for Execution of Distributed Logic Programs. IDC László Aszalós, Andreas Herzig
2009	J	`jnl`	A logical formalization of the OCC theory of emotions. Synth. Carole Adam, Andreas Herzig, Dominique Longin
2009	—	`conf`	Dynamic Context Logic and its Application to Norm. Normative Multi-Agent Systems Guillaume Aucher, Davide Grossi, Andreas Herzig, Emiliano Lorini
2009	—	`conf`	Dynamic Context Logic. LORI Guillaume Aucher, Davide Grossi, Andreas Herzig, Emiliano Lorini
2009	—	`conf`	Epistemic Games in Modal Logic: Joint Actions, Knowledge and Preferences All Together. LORI Emiliano Lorini, François Schwarzentruber, Andreas Herzig
2009	—	`conf`	Epistemic Games in Modal Logic: Joint Actions, Knowledge and Preferences all together. Information processing, rational belief change and social interaction Emiliano Lorini, François Schwarzentruber, Andreas Herzig
2009	—	`conf`	Intentions and Assignments. LORI Emiliano Lorini, Mehdi Dastani, Hans van Ditmarsch, Andreas Herzig, John-Jules Ch. Meyer
2009	J	`jnl`	Introspective forgetting. Synth. Hans van Ditmarsch, Andreas Herzig, Jérôme Lang, Pierre Marquis
2009	—	`conf`	Logical formalization of social commitments: application to agent communication languages. AAMAS (2) Benoît Gaudou, Andreas Herzig, Dominique Longin
2009	J	`jnl`	On the dynamics of institutional agreements. Synth. Andreas Herzig, Tiago de Lima, Emiliano Lorini
2009	—	`conf`	Speech acts as announcements. Information processing, rational belief change and social interaction Nadine Guiraud, Andreas Herzig, Emiliano Lorini
2009	—	`conf`	Tableaux for Acceptance Logic. DALT Mathijs de Boer, Andreas Herzig, Tiago de Lima, Emiliano Lorini
2009	J	`jnl`	The Logic of Acceptance: Grounding Institutions on Agents' Attitudes. J. Log. Comput. Emiliano Lorini, Dominique Longin, Benoît Gaudou, Andreas Herzig
2009	—	`conf`	Trust Based Evaluation of Wikipedia's Contributors. ESAW Yann Krupa, Laurent Vercouter, Jomi Fred Hübner, Andreas Herzig
2009	—	`conf`	Unifying the Intentional and Institutional Semantics of Speech Acts. DALT Carole Adam, Andreas Herzig, Dominique Longin, Vincent Louis
2009	J	`jnl`	What groups do, can do, and know they can do: an analysis in normal modal logics. J. Appl. Non Class. Logics Jan M. Broersen, Andreas Herzig, Nicolas Troquard
2008	J	`jnl`	'Knowable' as 'known after an announcement'. Rev. Symb. Log. Philippe Balbiani, Alexandru Baltag, Hans van Ditmarsch, Andreas Herzig, Tomohiro Hoshi, Tiago de Lima
2008	J	`jnl`	A logic of intention and attempt. Synth. Emiliano Lorini, Andreas Herzig
2008	J	`jnl`	Alternative Axiomatics and Complexity of Deliberative STIT Theories. J. Philos. Log. Philippe Balbiani, Andreas Herzig, Nicolas Troquard
2008	J	`jnl`	Book Reviews. Stud Logica Andreas Herzig
2008	—	`conf`	Introspective Forgetting. Australasian Conference on Artificial Intelligence Hans van Ditmarsch, Andreas Herzig, Jérôme Lang, Pierre Marquis
2008	—	`conf`	On the Dynamics of Institutional Agreements. KRAMAS Andreas Herzig, Tiago de Lima, Emiliano Lorini
2008	A	`conf`	Prime Implicate-based Belief Revision Operators. ECAI Meghyn Bienvenu, Andreas Herzig, Guilin Qi
2008	—	`conf`	Prolegomena for a Logic of Trust and Reputation. NORMAS Andreas Herzig, Emiliano Lorini, Jomi Fred Hübner, Jonathan Ben-Naim, Cristiano Castelfranchi, Robert Demolombe, Dominique Longin, Laurent Vercouter
2008	B	`conf`	Properties of logics of individual and group agency. Advances in Modal Logic Andreas Herzig, François Schwarzentruber
2008	B	`conf`	Uniform Interpolation by Resolution in Modal Logic. JELIA Andreas Herzig, Jérôme Mengin
2007	B	`conf`	A Tableau Method for Public Announcement Logics. TABLEAUX Philippe Balbiani, Hans van Ditmarsch, Andreas Herzig, Tiago de Lima
2007	B	`conf`	A normal simulation of coalition logic and an epistemic extension. TARK Jan M. Broersen, Andreas Herzig, Nicolas Troquard
2007	J	`jnl`	Alternative axiomatics and complexity of deliberative STIT theories CoRR Philippe Balbiani, Andreas Herzig, Nicolas Troquard
2007	A	`conf`	Delegation and mental states. AAMAS Emiliano Lorini, Nicolas Troquard, Andreas Herzig, Cristiano Castelfranchi
2007	J	`jnl`	Foreword. J. Appl. Non Class. Logics Hans van Ditmarsch, Andreas Herzig
2007	C	`conf`	From DEL to EDL : Exploring the Power of Converse Events. ECSQARU Guillaume Aucher, Andreas Herzig
2007	—	`conf`	Global and Local Graph Modifiers. M4M Guillaume Aucher, Philippe Balbiani, Luis Fariñas del Cerro, Andreas Herzig
2007	J	`jnl`	Metatheory of actions: Beyond consistency. Artif. Intell. Andreas Herzig, Ivan José Varzinczak
2007	A*	`conf`	Optimal Regression for Reasoning about Knowledge and Actions. AAAI Hans van Ditmarsch, Andreas Herzig, Tiago de Lima
2007	—	`conf`	Optimal Regression for Reasoning about Knowledge and Actions. Formal Models of Belief Change in Rational Agents Hans van Ditmarsch, Andreas Herzig, Tiago de Lima
2007	J	`jnl`	PLEIAD, un agent émotionnel pour évaluer la typologie OCC. Rev. d'Intelligence Artif. Carole Adam, Andreas Herzig, Dominique Longin
2007	B	`conf`	What can we achieve by arbitrary announcements?: A dynamic take on Fitch's knowability. TARK Philippe Balbiani, Alexandru Baltag, Hans van Ditmarsch, Andreas Herzig, Tomohiro Hoshi, Tiago de Lima
2006	B	`conf`	A Modularity Approach for a Fragment of JELIA Andreas Herzig, Ivan Varzinczak
2006	A	`conf`	A New Semantics for the FIPA Agent Communication Language Based on Social Attitudes. ECAI Benoît Gaudou, Andreas Herzig, Dominique Longin, Matthias Nickles
2006	B	`conf`	A STIT-Extension of ATL. JELIA Jan M. Broersen, Andreas Herzig, Nicolas Troquard
2006	A	`conf`	Elaborating Domain Descriptions. ECAI Andreas Herzig, Laurent Perrussel, Ivan Varzinczak
2006	J	`jnl`	Embedding Alternating-time Temporal Logic in Strategic STIT Logic of Agency. J. Log. Comput. Jan M. Broersen, Andreas Herzig, Nicolas Troquard
2006	—	`conf`	Epistemic Actions and Ontic Actions: A Unified Logical Framework. IBERAMIA-SBIA Andreas Herzig, Tiago de Lima
2006	A*	`conf`	Grounding and the Expression of Belief. KR Benoît Gaudou, Andreas Herzig, Dominique Longin
2006	B	`conf`	Introducing JELIA Emiliano Lorini, Andreas Herzig, Cristiano Castelfranchi
2006	A	`conf`	Knowing how to play: uniform choices in logics of agency. AAMAS Andreas Herzig, Nicolas Troquard
2006	J	`jnl`	Metatheory of actions: beyond consistency CoRR Andreas Herzig, Ivan Varzinczak
2006	—	`conf`	Modélisation logique d'agents rationnels pour l'intelligence ambiante. JFSMA Carole Adam, Fabrice Evrard, Benoît Gaudou, Andreas Herzig, Dominique Longin
2006	Misc	`conf`	OCC's Emotions: A Formalization in a BDI Logic. AIMSA Carole Adam, Benoît Gaudou, Andreas Herzig, Dominique Longin
2006	B	`conf`	Terminating modal tableaux with simple completeness proof. Advances in Modal Logic Olivier Gasquet, Andreas Herzig, Mohamad Sahade
2005	—	`conf`	A Logical Framework for Grounding-based Dialogue Analysis. LCMAS Benoît Gaudou, Andreas Herzig, Dominique Longin
2005	A*	`conf`	Cohesion, coupling and the meta-theory of actions. IJCAI Andreas Herzig, Ivan Varzinczak
2005	—	`conf`	From Coalition Logic to STIT. LCMAS Jan M. Broersen, Andreas Herzig, Nicolas Troquard
2005	B	`conf`	LoTREC: Logical Tableaux Research Engineering Companion. TABLEAUX Olivier Gasquet, Andreas Herzig, Dominique Longin, Mohamad Sahade
2005	—	`conf`	Modal Tableaux: Completeness vs. Termination. We Will Show Them! (1) Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig, Mohamad Sahade
2005	—	`conf`	On updates with integrity constraints. Belief Change in Rational Agents Andreas Herzig
2005	—	`conf`	Paraconsistent Reasoning for the Semantic Web. ISWC-URSW Sebastian Schaffert, François Bry, Philippe Besnard, Hendrik Decker, Stefan Decker, Carlos F. Enguix, Andreas Herzig
2004	A*	`conf`	C&L Intention Revisited. KR Andreas Herzig, Dominique Longin
2004	A	`conf`	Domain Descriptions Should Be Modular. ECAI Andreas Herzig, Ivan José Varzinczak
2004	—	`conf`	Domain descriptions should be modular. NMR Andreas Herzig, Ivan Varzinczak
2004	—	`conf`	Inferring Trust. CLIMA Mehdi Dastani, Andreas Herzig, Joris Hulstijn, Leendert W. N. van der Torre
2004	—	`conf`	Obligation Change in Dependence Logic and Situation Calculus. DEON Robert Demolombe, Andreas Herzig
2004	B	`conf`	On the Modularity of Theories. Advances in Modal Logic Andreas Herzig, Ivan José Varzinczak
2003	A*	`conf`	Action representation and partially observable planning using epistemic logic. IJCAI Andreas Herzig, Jérôme Lang, Pierre Marquis
2003	J	`jnl`	Foreword. J. Appl. Non Class. Logics Luis Fariñas del Cerro, Philippe Balbiani, Andreas Herzig
2003	J	`jnl`	Modal Probability, Belief, and Actions. Fundam. Informaticae Andreas Herzig
2003	C	`conf`	On Iterated Revision in the AGM Framework. ECSQARU Andreas Herzig, Sébastien Konieczny, Laurent Perrussel
2003	C	`conf`	On Modal Probability and Belief. ECSQARU Andreas Herzig, Dominique Longin
2003	J	`jnl`	Regression in Modal Logic. J. Appl. Non Class. Logics Robert Demolombe, Andreas Herzig, Ivan Varzinczak
2002	A	`conf`	A logic for semi-public communication in multi-agent systems. AAMAS László Aszalós, Andreas Herzig
2002	A	`conf`	A logic of intention with cooperation principles and with assertive speech acts as communication primitives. AAMAS Andreas Herzig, Dominique Longin
2002	—	`conf`	It depends on the context! A decidable logic of actions and plans based on a ternary dependence relation. NMR Marcos A. Castilho, Andreas Herzig, Ivan José Varzinczak
2002	A	`conf`	Sensing and revision in a modal logic of belief and action. ECAI Andreas Herzig, Dominique Longin
2001	A	`conf`	Lotrec : The Generic Tableau Prover for Modal and Description Logics. IJCAR Luis Fariñas del Cerro, David Fauthoux, Olivier Gasquet, Andreas Herzig, Dominique Longin, Fabio Massacci
2001	—	`conf`	Reasoning about Failure. ESAW László Aszalós, Andreas Herzig
2001	A*	`conf`	Updates, actions, and planning. IJCAI Andreas Herzig, Jérôme Lang, Pierre Marquis, Thomas Polacsek
2000	—	`conf`	A Logic for Planning under Partial Observability. AAAI/IAAI Andreas Herzig, Jérôme Lang, Dominique Longin, Thomas Polacsek
2000	A	`conf`	A modal logic for epistemic tests. ECAI Andreas Herzig, Jérôme Lang, Thomas Polacsek
2000	J	`jnl`	Belief Dynamics in Cooperative Dialogues. J. Semant. Andreas Herzig, Dominique Longin
1999	J	`jnl`	Formalizing Action and Change in Modal Logic I: the frame problem. J. Log. Comput. Marcos A. Castilho, Olivier Gasquet, Andreas Herzig
1999	J	`jnl`	Propositional Belief Base Update and Minimal Change. Artif. Intell. Andreas Herzig, Omar Rifi
1998	Misc	`conf`	Belief Reconstruction in Cooperative Dialogues. AIMSA Luis Fariñas del Cerro, Andreas Herzig, Dominique Longin, Omar Rifi
1998	J	`jnl`	Euro-Umstellung bei der GfA. HMD Prax. Wirtsch. Andreas Böhner, Georges Hauenstein, Andreas Herzig
1998	—	`conf`	Modal tableaux based on graph-rules. RelMiCS Marcos A. Castilho, Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig
1998	A	`conf`	Update Operations: A Review. ECAI Andreas Herzig, Omar Rifi
1997	—	`conf`	How to Change Factual Beliefs Using Laws and Dependence Information. ECSQARU-FAPR Andreas Herzig
1997	—	`conf`	Modal Tableaux for Reasoning About Actions and Plans. ECP Marcos A. Castilho, Olivier Gasquet, Andreas Herzig
1997	J	`jnl`	Modal Tableaux with Propagation Rules and Structural Rules. Fundam. Informaticae Marcos A. Castilho, Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig
1997	—	`conf`	Qualitative Relevance and Independence: A Roadmap. IJCAI (1) Didier Dubois, Luis Fariñas del Cerro, Andreas Herzig, Henri Prade
1996	B	`conf`	Belief Change and Dependence. TARK Luis Fariñas del Cerro, Andreas Herzig
1996	—	`conf`	Combinig Classical and Intuitionistic Logic, or: Intuitionistic Implication as a Conditional. FroCoS Luis Fariñas del Cerro, Andreas Herzig
1996	—	`ch.`	Revisions, Updated, and Interference. Logic, Action, and Information Luis Fariñas del Cerro, Andreas Herzig
1996	—	`conf`	Talkin'bout Consistency, or: When Logically Possible Becomes Possible. FAPR Luis Fariñas del Cerro, Antonio Frias Delgado, Andreas Herzig
1996	A*	`conf`	The PMA Revisited. KR Andreas Herzig
1994	Misc	`conf`	A Conditional Logic for Updating in the Possible Models Approach. KI Luis Fariñas del Cerro, Andreas Herzig
1994	J	`jnl`	A translation from the modal logic of provability into K4. J. Appl. Non Class. Logics Philippe Balbiani, Andreas Herzig
1994	A	`conf`	An Ordinal View of Independence with Application to Plausible Reasoning. UAI Didier Dubois, Luis Fariñas del Cerro, Andreas Herzig, Henri Prade
1994	J	`jnl`	From Ordering-Based Nonmonotonic Reasoning to Conditional Logics. Artif. Intell. Luis Fariñas del Cerro, Andreas Herzig, Jérôme Lang
1994	J	`jnl`	Interference logic = conditional logic + frame axiom. Int. J. Intell. Syst. Luis Fariñas del Cerro, Andreas Herzig
1994	C	`conf`	Possibility Theory and Independence. IPMU Luis Fariñas del Cerro, Andreas Herzig
1994	C	`conf`	Translation-Based Deduction Methods for Modal Logics. IPMU Olivier Gasquet, Andreas Herzig
1993	C	`conf`	Interference Logic = Conditional Logic + Frame Axiom. ECSQARU Luis Fariñas del Cerro, Andreas Herzig
1993	C	`conf`	Translating Inaccessible Worlds Logic into Bimodal Logic. ECSQARU Olivier Gasquet, Andreas Herzig
1992	A	`conf`	From Ordering Based Nonmonotonic Reasoning to Conditional Logics. ECAI Luis Fariñas del Cerro, Andreas Herzig, Jérôme Lang
1992	—	`conf`	Implementing Prolog Extensions: a Parallel Inference Machine. FGCS Jean-Marc Alliot, Andreas Herzig, Mamede Lima-Marques
1992	—	`conf`	Metaprogramming Through Intensional Deduction: Some Examples. META Luis Fariñas del Cerro, Andreas Herzig
1991	C	`conf`	A Modal Analysis of Possibility Theory. ECSQARU Luis Fariñas del Cerro, Andreas Herzig
1991	—	`conf`	A modal analysis of possibility theory. FAIR Luis Fariñas del Cerro, Andreas Herzig
1991	A*	`conf`	Parameter Structures for Parametrized Modal Operators. IJCAI Hans Jürgen Ohlbach, Andreas Herzig
1991	—	`conf`	TIM: The Toulouse Inference Machine for Non-Classical Logic Programming. PDK Philippe Balbiani, Andreas Herzig, Mamede Lima-Marques
1990	A	`conf`	Deterministic Modal Logics for Automated Deduction. ECAI Luis Fariñas del Cerro, Andreas Herzig
1990	A	`conf`	Tutorial on Compilation techniques for Logics. CADE Hans Jürgen Ohlbach, Andreas Herzig
1989	—	`conf`	Plan Generation by Linear Proofs: On Semantics. GWAI Wolfgang Bibel, Luis Fariñas del Cerro, Bertram Fronhöfer, Andreas Herzig
1988	—	`conf`	Declarative Semantics for Modal Logic Programs. FGCS Philippe Balbiani, Luis Fariñas del Cerro, Andreas Herzig
1988	A	`conf`	Linear Modal Deductions. CADE Luis Fariñas del Cerro, Andreas Herzig
1988	A	`conf`	MOLOG: a Modal PROLOG. CADE Pierre Bieber, Luis Fariñas del Cerro, Andreas Herzig