Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Andreas Herzig
@inproceedings{DBLP:conf/aaai/EngesserHP24,
author = {Thorsten Engesser and
Andreas Herzig and
Elise Perrotin},
editor = {Michael J. Wooldridge and
Jennifer G. Dy and
Sriraam Natarajan},
title = {Towards Epistemic-Doxastic Planning with Observation and Revision},
booktitle = {Thirty-Eighth {AAAI} Conference on Artificial Intelligence, {AAAI}
2024, Thirty-Sixth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2024, Fourteenth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2014, February 20-27, 2024, Vancouver,
Canada},
pages = {10501--10508},
publisher = {{AAAI} Press},
year = {2024},
url = {https://doi.org/10.1609/aaai.v38i9.28919},
doi = {10.1609/AAAI.V38I9.28919},
timestamp = {Tue, 02 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/EngesserHP24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/BelleBHN23,
author = {Vaishak Belle and
Thomas Bolander and
Andreas Herzig and
Bernhard Nebel},
title = {Epistemic planning: Perspectives on the special issue},
journal = {Artif. Intell.},
volume = {316},
pages = {103842},
year = {2023},
url = {https://doi.org/10.1016/j.artint.2022.103842},
doi = {10.1016/J.ARTINT.2022.103842},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/BelleBHN23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/DoutreHH23,
author = {Sylvie Doutre and
Andreas Herzig and
Anthony Hunter},
title = {Logic, arguments and inconsistencies: an introduction to the festschrift
in honour of Philippe Besnard},
journal = {J. Appl. Non Class. Logics},
volume = {33},
number = {3-4},
pages = {207--211},
year = {2023},
url = {https://doi.org/10.1080/11663081.2023.2250183},
doi = {10.1080/11663081.2023.2250183},
timestamp = {Sat, 28 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/DoutreHH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/YusteGinelH23,
author = {Antonio Yuste{-}Ginel and
Andreas Herzig},
title = {Qualitative uncertainty and dynamics of argumentation through dynamic
logic},
journal = {J. Log. Comput.},
volume = {33},
number = {2},
pages = {370--405},
year = {2023},
url = {https://doi.org/10.1093/logcom/exac098},
doi = {10.1093/LOGCOM/EXAC098},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/YusteGinelH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Aguilera-Ventura23,
author = {Carlos Aguilera{-}Ventura and
Andreas Herzig and
Xinghan Liu and
Emiliano Lorini},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {Counterfactual Reasoning via Grounded Distance},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {2--11},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/1},
doi = {10.24963/KR.2023/1},
timestamp = {Tue, 05 Sep 2023 14:50:36 +0200},
biburl = {https://dblp.org/rec/conf/kr/Aguilera-Ventura23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/clar/2023,
editor = {Andreas Herzig and
Jieting Luo and
Pere Pardo},
title = {Logic and Argumentation - 5th International Conference, {CLAR} 2023,
Hangzhou, China, September 10-12, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14156},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-40875-5},
doi = {10.1007/978-3-031-40875-5},
isbn = {978-3-031-40874-8},
timestamp = {Fri, 04 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/clar/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lori/2023,
editor = {Natasha Alechina and
Andreas Herzig and
Fei Liang},
title = {Logic, Rationality, and Interaction - 9th International Workshop,
{LORI} 2023, Jinan, China, October 26-29, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14329},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-45558-2},
doi = {10.1007/978-3-031-45558-2},
isbn = {978-3-031-45557-5},
timestamp = {Thu, 09 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lori/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2302-03305,
author = {Antonio Yuste{-}Ginel and
Andreas Herzig},
title = {Qualitative uncertainty and dynamics of argumentation through dynamic
logic},
journal = {CoRR},
volume = {abs/2302.03305},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2302.03305},
doi = {10.48550/ARXIV.2302.03305},
eprinttype = {arXiv},
eprint = {2302.03305},
timestamp = {Fri, 10 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2302-03305.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/HerzigK22,
author = {Andreas Herzig and
Juha Kontinen},
title = {Preface},
journal = {Ann. Math. Artif. Intell.},
volume = {90},
number = {2-3},
pages = {145--147},
year = {2022},
url = {https://doi.org/10.1007/s10472-021-09782-y},
doi = {10.1007/S10472-021-09782-Y},
timestamp = {Thu, 07 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/HerzigK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/BalbianiFHI22,
author = {Philippe Balbiani and
David Fern{\'{a}}ndez{-}Duque and
Andreas Herzig and
Petar Iliev},
title = {Frame-validity Games and Lower Bounds on the Complexity of Modal Axioms},
journal = {Log. J. {IGPL}},
volume = {30},
number = {1},
pages = {155--185},
year = {2022},
url = {https://doi.org/10.1093/jigpal/jzaa068},
doi = {10.1093/JIGPAL/JZAA068},
timestamp = {Wed, 02 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/BalbianiFHI22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/FeuilladeHR22,
author = {Guillaume Feuillade and
Andreas Herzig and
Christos Rantsoudis},
editor = {Ivan Varzinczak},
title = {Database Repair via Event-Condition-Action Rules in Dynamic Logic},
booktitle = {Foundations of Information and Knowledge Systems - 12th International
Symposium, FoIKS 2022, Helsinki, Finland, June 20-23, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13388},
pages = {75--92},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-11321-5\_5},
doi = {10.1007/978-3-031-11321-5\_5},
timestamp = {Thu, 14 Jul 2022 15:39:51 +0200},
biburl = {https://dblp.org/rec/conf/foiks/FeuilladeHR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/HerzigLP22,
author = {Andreas Herzig and
Emiliano Lorini and
Elise Perrotin},
editor = {Luc De Raedt},
title = {A Computationally Grounded Logic of 'Seeing-to-it-that'},
booktitle = {Proceedings of the Thirty-First International Joint Conference on
Artificial Intelligence, {IJCAI} 2022, Vienna, Austria, 23-29 July
2022},
pages = {2648--2654},
publisher = {ijcai.org},
year = {2022},
url = {https://doi.org/10.24963/ijcai.2022/367},
doi = {10.24963/IJCAI.2022/367},
timestamp = {Wed, 27 Jul 2022 16:43:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/HerzigLP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/CooperHMMPR21,
author = {Martin C. Cooper and
Andreas Herzig and
Faustine Maffre and
Fr{\'{e}}d{\'{e}}ric Maris and
Elise Perrotin and
Pierre R{\'{e}}gnier},
title = {A lightweight epistemic logic and its application to planning},
journal = {Artif. Intell.},
volume = {298},
pages = {103437},
year = {2021},
url = {https://doi.org/10.1016/j.artint.2020.103437},
doi = {10.1016/J.ARTINT.2020.103437},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/CooperHMMPR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlap/BoudouHT21,
author = {Joseph Boudou and
Andreas Herzig and
Nicolas Troquard},
title = {Resource separation in dynamic logic of propositional assignments},
journal = {J. Log. Algebraic Methods Program.},
volume = {121},
pages = {100683},
year = {2021},
url = {https://doi.org/10.1016/j.jlamp.2021.100683},
doi = {10.1016/J.JLAMP.2021.100683},
timestamp = {Tue, 15 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlap/BoudouHT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clar/HerzigY21,
author = {Andreas Herzig and
Antonio Yuste{-}Ginel},
editor = {Pietro Baroni and
Christoph Benzm{\"{u}}ller and
Y{\`{\i}} N. W{\'{a}}ng},
title = {Abstract Argumentation with Qualitative Uncertainty: An Analysis in
Dynamic Logic},
booktitle = {Logic and Argumentation - 4th International Conference, {CLAR} 2021,
Hangzhou, China, October 20-22, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13040},
pages = {190--208},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-89391-0\_11},
doi = {10.1007/978-3-030-89391-0\_11},
timestamp = {Wed, 03 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/clar/HerzigY21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/HerzigY21,
author = {Andreas Herzig and
Antonio Yuste{-}Ginel},
editor = {Zhi{-}Hua Zhou},
title = {Multi-Agent Abstract Argumentation Frameworks With Incomplete Knowledge
of Attacks},
booktitle = {Proceedings of the Thirtieth International Joint Conference on Artificial
Intelligence, {IJCAI} 2021, Virtual Event / Montreal, Canada, 19-27
August 2021},
pages = {1922--1928},
publisher = {ijcai.org},
year = {2021},
url = {https://doi.org/10.24963/ijcai.2021/265},
doi = {10.24963/IJCAI.2021/265},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/HerzigY21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/MittelmannHP21,
author = {Munyque Mittelmann and
Andreas Herzig and
Laurent Perrussel},
editor = {Wolfgang Faber and
Gerhard Friedrich and
Martin Gebser and
Michael Morak},
title = {Epistemic Reasoning About Rationality and Bids in Auctions},
booktitle = {Logics in Artificial Intelligence - 17th European Conference, {JELIA}
2021, Virtual Event, May 17-20, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12678},
pages = {116--130},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-75775-5\_9},
doi = {10.1007/978-3-030-75775-5\_9},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jelia/MittelmannHP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/HerzigMP21,
author = {Andreas Herzig and
Fr{\'{e}}d{\'{e}}ric Maris and
Elise Perrotin},
editor = {Meghyn Bienvenu and
Gerhard Lakemeyer and
Esra Erdem},
title = {A Dynamic Epistemic Logic with Finite Iteration and Parallel Composition},
booktitle = {Proceedings of the 18th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2021, Online event, November
3-12, 2021},
pages = {676--680},
year = {2021},
url = {https://doi.org/10.24963/kr.2021/68},
doi = {10.24963/KR.2021/68},
timestamp = {Wed, 03 Nov 2021 12:46:57 +0100},
biburl = {https://dblp.org/rec/conf/kr/HerzigMP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/HerzigY21,
author = {Andreas Herzig and
Antonio Yuste{-}Ginel},
editor = {Meghyn Bienvenu and
Gerhard Lakemeyer and
Esra Erdem},
title = {On the Epistemic Logic of Incomplete Argumentation Frameworks},
booktitle = {Proceedings of the 18th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2021, Online event, November
3-12, 2021},
pages = {681--685},
year = {2021},
url = {https://doi.org/10.24963/kr.2021/69},
doi = {10.24963/KR.2021/69},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/HerzigY21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-14884,
author = {Joseph Boudou and
Andreas Herzig and
Nicolas Troquard},
title = {Resource separation in dynamic logic of propositional assignments},
journal = {CoRR},
volume = {abs/2104.14884},
year = {2021},
url = {https://arxiv.org/abs/2104.14884},
eprinttype = {arXiv},
eprint = {2104.14884},
timestamp = {Tue, 04 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-14884.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/SuCH20,
author = {Ezgi Iraz Su and
Luis Fari{\~{n}}as del Cerro and
Andreas Herzig},
title = {Autoepistemic equilibrium logic and epistemic specifications},
journal = {Artif. Intell.},
volume = {282},
pages = {103249},
year = {2020},
url = {https://doi.org/10.1016/j.artint.2020.103249},
doi = {10.1016/J.ARTINT.2020.103249},
timestamp = {Sat, 11 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/SuCH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/XiaoWZHPC20,
author = {Zhanhao Xiao and
Hai Wan and
Hankz Hankui Zhuo and
Andreas Herzig and
Laurent Perrussel and
Peilin Chen},
title = {Refining {HTN} Methods via Task Insertion with Preferences},
booktitle = {The Thirty-Fourth {AAAI} Conference on Artificial Intelligence, {AAAI}
2020, The Thirty-Second Innovative Applications of Artificial Intelligence
Conference, {IAAI} 2020, The Tenth {AAAI} Symposium on Educational
Advances in Artificial Intelligence, {EAAI} 2020, New York, NY, USA,
February 7-12, 2020},
pages = {10009--10016},
publisher = {{AAAI} Press},
year = {2020},
url = {https://doi.org/10.1609/aaai.v34i06.6557},
doi = {10.1609/AAAI.V34I06.6557},
timestamp = {Fri, 08 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/XiaoWZHPC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/HerzigP20,
author = {Andreas Herzig and
Elise Perrotin},
editor = {Nicola Olivetti and
Rineke Verbrugge and
Sara Negri and
Gabriel Sandu},
title = {On the Axiomatisation of Common Knowledge},
booktitle = {13th Conference on Advances in Modal Logic, AiML 2020, Helsinki, Finland,
August 24-28, 2020},
pages = {309--328},
publisher = {College Publications},
year = {2020},
url = {http://www.aiml.net/volumes/volume13/Herzig-Perrotin.pdf},
timestamp = {Tue, 16 Jan 2024 17:18:03 +0100},
biburl = {https://dblp.org/rec/conf/aiml/HerzigP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/FeuilladeHR20,
author = {Guillaume Feuillade and
Andreas Herzig and
Christos Rantsoudis},
editor = {Stefan Borgwardt and
Thomas Meyer},
title = {Knowledge Base Repair: From Active Integrity Constraints to Active
TBoxes},
booktitle = {Proceedings of the 33rd International Workshop on Description Logics
{(DL} 2020) co-located with the 17th International Conference on Principles
of Knowledge Representation and Reasoning {(KR} 2020), Online Event
[Rhodes, Greece], September 12th to 14th, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2663},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2663/invited-1.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/FeuilladeHR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/HerzigLPRS20,
author = {Andreas Herzig and
Emiliano Lorini and
Elise Perrotin and
Fabi{\'{a}}n Romero and
Fran{\c{c}}ois Schwarzentruber},
editor = {Giuseppe De Giacomo and
Alejandro Catal{\'{a}} and
Bistra Dilkina and
Michela Milano and
Sen{\'{e}}n Barro and
Alberto Bugar{\'{\i}}n and
J{\'{e}}r{\^{o}}me Lang},
title = {A Logic of Explicit and Implicit Distributed Belief},
booktitle = {{ECAI} 2020 - 24th European Conference on Artificial Intelligence,
29 August-8 September 2020, Santiago de Compostela, Spain, August
29 - September 8, 2020 - Including 10th Conference on Prestigious
Applications of Artificial Intelligence {(PAIS} 2020)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {325},
pages = {753--760},
publisher = {{IOS} Press},
year = {2020},
url = {https://doi.org/10.3233/FAIA200163},
doi = {10.3233/FAIA200163},
timestamp = {Fri, 09 Apr 2021 18:50:05 +0200},
biburl = {https://dblp.org/rec/conf/ecai/HerzigLPRS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/FernandezGHLLMR20,
author = {Jorge Fernandez and
Olivier Gasquet and
Andreas Herzig and
Dominique Longin and
Emiliano Lorini and
Fr{\'{e}}d{\'{e}}ric Maris and
Pierre R{\'{e}}gnier},
editor = {Christian Bessiere},
title = {TouIST: a Friendly Language for Propositional Logic and More},
booktitle = {Proceedings of the Twenty-Ninth International Joint Conference on
Artificial Intelligence, {IJCAI} 2020},
pages = {5240--5242},
publisher = {ijcai.org},
year = {2020},
url = {https://doi.org/10.24963/ijcai.2020/756},
doi = {10.24963/IJCAI.2020/756},
timestamp = {Tue, 15 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/FernandezGHLLMR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/CooperHMPV20,
author = {Martin C. Cooper and
Andreas Herzig and
Fr{\'{e}}d{\'{e}}ric Maris and
Elise Perrotin and
Julien Vianey},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {Lightweight Parallel Multi-Agent Epistemic Planning},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {274--283},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/28},
doi = {10.24963/KR.2020/28},
timestamp = {Fri, 29 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/CooperHMPV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2009-10237,
author = {Esra Erdem and
Andreas Herzig},
editor = {Francesco Ricca and
Alessandra Russo and
Sergio Greco and
Nicola Leone and
Alexander Artikis and
Gerhard Friedrich and
Paul Fodor and
Angelika Kimmig and
Francesca A. Lisi and
Marco Maratea and
Alessandra Mileo and
Fabrizio Riguzzi},
title = {Solving Gossip Problems using Answer Set Programming: An Epistemic
Planning Approach},
booktitle = {Proceedings 36th International Conference on Logic Programming (Technical
Communications), {ICLP} Technical Communications 2020, (Technical
Communications) UNICAL, Rende (CS), Italy, 18-24th September 2020},
series = {{EPTCS}},
volume = {325},
pages = {52--58},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.325.11},
doi = {10.4204/EPTCS.325.11},
timestamp = {Wed, 04 Nov 2020 16:04:03 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-10237.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/foiks/2020,
editor = {Andreas Herzig and
Juha Kontinen},
title = {Foundations of Information and Knowledge Systems - 11th International
Symposium, FoIKS 2020, Dortmund, Germany, February 17-21, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12012},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-39951-1},
doi = {10.1007/978-3-030-39951-1},
isbn = {978-3-030-39950-4},
timestamp = {Wed, 29 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/foiks/2020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ais/HerzigLP19,
author = {Andreas Herzig and
Emiliano Lorini and
David Pearce},
title = {Social Intelligence},
journal = {{AI} Soc.},
volume = {34},
number = {4},
pages = {689},
year = {2019},
url = {https://doi.org/10.1007/s00146-017-0782-8},
doi = {10.1007/S00146-017-0782-8},
timestamp = {Thu, 31 Oct 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ais/HerzigLP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dm/CooperHMMR19,
author = {Martin C. Cooper and
Andreas Herzig and
Faustine Maffre and
Fr{\'{e}}d{\'{e}}ric Maris and
Pierre R{\'{e}}gnier},
title = {The epistemic gossip problem},
journal = {Discret. Math.},
volume = {342},
number = {3},
pages = {654--663},
year = {2019},
url = {https://doi.org/10.1016/j.disc.2018.10.041},
doi = {10.1016/J.DISC.2018.10.041},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dm/CooperHMMR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/FeuilladeHR19,
author = {Guillaume Feuillade and
Andreas Herzig and
Christos Rantsoudis},
title = {A Dynamic Logic Account of Active Integrity Constraints},
journal = {Fundam. Informaticae},
volume = {169},
number = {3},
pages = {179--210},
year = {2019},
url = {https://doi.org/10.3233/FI-2019-1843},
doi = {10.3233/FI-2019-1843},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/FeuilladeHR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BalbianiFHL19,
author = {Philippe Balbiani and
David Fern{\'{a}}ndez{-}Duque and
Andreas Herzig and
Emiliano Lorini},
editor = {Sarit Kraus},
title = {Stratified Evidence Logics},
booktitle = {Proceedings of the Twenty-Eighth International Joint Conference on
Artificial Intelligence, {IJCAI} 2019, Macao, China, August 10-16,
2019},
pages = {1523--1529},
publisher = {ijcai.org},
year = {2019},
url = {https://doi.org/10.24963/ijcai.2019/211},
doi = {10.24963/IJCAI.2019/211},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BalbianiFHL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/HerzigMV19,
author = {Andreas Herzig and
Fr{\'{e}}d{\'{e}}ric Maris and
Julien Vianey},
editor = {Sarit Kraus},
title = {Dynamic logic of parallel propositional assignments and its applications
to planning},
booktitle = {Proceedings of the Twenty-Eighth International Joint Conference on
Artificial Intelligence, {IJCAI} 2019, Macao, China, August 10-16,
2019},
pages = {5576--5582},
publisher = {ijcai.org},
year = {2019},
url = {https://doi.org/10.24963/ijcai.2019/774},
doi = {10.24963/IJCAI.2019/774},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/HerzigMV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/BolanderEHMN19,
author = {Thomas Bolander and
Thorsten Engesser and
Andreas Herzig and
Robert Mattm{\"{u}}ller and
Bernhard Nebel},
editor = {Francesco Calimeri and
Nicola Leone and
Marco Manna},
title = {The Dynamic Logic of Policies and Contingent Planning},
booktitle = {Logics in Artificial Intelligence - 16th European Conference, {JELIA}
2019, Rende, Italy, May 7-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11468},
pages = {659--674},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-19570-0\_43},
doi = {10.1007/978-3-030-19570-0\_43},
timestamp = {Fri, 27 Mar 2020 08:53:33 +0100},
biburl = {https://dblp.org/rec/conf/jelia/BolanderEHMN19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/BoudouHT19,
author = {Joseph Boudou and
Andreas Herzig and
Nicolas Troquard},
editor = {Lu{\'{\i}}s Soares Barbosa and
Alexandru Baltag},
title = {Resource Separation in Dynamic Logic of Propositional Assignments},
booktitle = {Dynamic Logic. New Trends and Applications - Second International
Workshop, DaL{\'{\i}} 2019, Porto, Portugal, October 7-11, 2019,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12005},
pages = {155--170},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-38808-9\_10},
doi = {10.1007/978-3-030-38808-9\_10},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tap/BoudouHT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/frocos/2019,
editor = {Andreas Herzig and
Andrei Popescu},
title = {Frontiers of Combining Systems - 12th International Symposium, FroCoS
2019, London, UK, September 4-6, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11715},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29007-8},
doi = {10.1007/978-3-030-29007-8},
isbn = {978-3-030-29006-1},
timestamp = {Thu, 22 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1911-12949,
author = {Zhanhao Xiao and
Hai Wan and
Hankz Hankui Zhuo and
Andreas Herzig and
Laurent Perrussel and
Peilin Chen},
title = {Refining {HTN} Methods via Task Insertion with Preferences},
journal = {CoRR},
volume = {abs/1911.12949},
year = {2019},
url = {http://arxiv.org/abs/1911.12949},
eprinttype = {arXiv},
eprint = {1911.12949},
timestamp = {Wed, 08 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1911-12949.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/NovaroGH18,
author = {Arianna Novaro and
Umberto Grandi and
Andreas Herzig},
title = {Judgment aggregation in dynamic logic of propositional assignments},
journal = {J. Log. Comput.},
volume = {28},
number = {7},
pages = {1471--1498},
year = {2018},
url = {https://doi.org/10.1093/logcom/exy024},
doi = {10.1093/LOGCOM/EXY024},
timestamp = {Mon, 12 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/NovaroGH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/BalbianiFHI18,
author = {Philippe Balbiani and
David Fern{\'{a}}ndez{-}Duque and
Andreas Herzig and
Petar Iliev},
editor = {Guram Bezhanishvili and
Giovanna D'Agostino and
George Metcalfe and
Thomas Studer},
title = {Frame-Validity Games and Absolute Minimality of Modal Axioms},
booktitle = {Advances in Modal Logic 12, proceedings of the 12th conference on
"Advances in Modal Logic," held in Bern, Switzerland, August 27-31,
2018},
pages = {83--102},
publisher = {College Publications},
year = {2018},
url = {http://www.aiml.net/volumes/volume12/Balbiani-FernandezDuque-Herzig-Iliev.pdf},
timestamp = {Tue, 16 Jan 2024 17:18:03 +0100},
biburl = {https://dblp.org/rec/conf/aiml/BalbianiFHI18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clar/DoutreHP18,
author = {Sylvie Doutre and
Andreas Herzig and
Laurent Perrussel},
editor = {Beishui Liao and
Thomas {\AA}gotnes and
Y{\`{\i}} N. W{\'{a}}ng},
title = {Abstract Argumentation in Dynamic Logic: Representation, Reasoning
and Change},
booktitle = {Dynamics, Uncertainty and Reasoning, The Second Chinese Conference
on Logic and Argumentation, {CLAR} 2018, Hangzhou, China, 16-17 June
2018},
pages = {153--185},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-981-13-7791-4\_8},
doi = {10.1007/978-981-13-7791-4\_8},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/clar/DoutreHP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/FeuilladeHR18,
author = {Guillaume Feuillade and
Andreas Herzig and
Christos Rantsoudis},
editor = {Magdalena Ortiz and
Thomas Schneider},
title = {A Dynamic Extension of {ALCO} for Repairing via Preferred Updates},
booktitle = {Proceedings of the 31st International Workshop on Description Logics
co-located with 16th International Conference on Principles of Knowledge
Representation and Reasoning {(KR} 2018), Tempe, Arizona, US, October
27th - to - 29th, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2211},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2211/paper-17.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/FeuilladeHR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eumas/CooperHMV18,
author = {Martin C. Cooper and
Andreas Herzig and
Fr{\'{e}}d{\'{e}}ric Maris and
Julien Vianey},
editor = {Marija Slavkovik},
title = {Temporal Epistemic Gossip Problems},
booktitle = {Multi-Agent Systems - 16th European Conference, {EUMAS} 2018, Bergen,
Norway, December 6-7, 2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11450},
pages = {1--14},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-14174-5\_1},
doi = {10.1007/978-3-030-14174-5\_1},
timestamp = {Tue, 21 Dec 2021 07:45:27 +0100},
biburl = {https://dblp.org/rec/conf/eumas/CooperHMV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1808-05051,
author = {Philippe Balbiani and
David Fern{\'{a}}ndez{-}Duque and
Andreas Herzig and
Petar Iliev},
title = {Frame-validity games and lower bounds on the complexity of modal axioms},
journal = {CoRR},
volume = {abs/1808.05051},
year = {2018},
url = {http://arxiv.org/abs/1808.05051},
eprinttype = {arXiv},
eprint = {1808.05051},
timestamp = {Sun, 02 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1808-05051.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/HerzigM17,
author = {Andreas Herzig and
Faustine Maffre},
title = {How to share knowledge by gossiping},
journal = {{AI} Commun.},
volume = {30},
number = {1},
pages = {1--17},
year = {2017},
url = {https://doi.org/10.3233/AIC-170723},
doi = {10.3233/AIC-170723},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aicom/HerzigM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/HerzigLP17,
author = {Andreas Herzig and
Emiliano Lorini and
David Pearce},
title = {Preface},
journal = {J. Appl. Non Class. Logics},
volume = {27},
number = {1-2},
pages = {90},
year = {2017},
url = {https://doi.org/10.1080/11663081.2017.1386452},
doi = {10.1080/11663081.2017.1386452},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/HerzigLP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/CabalarDHP17,
author = {Pedro Cabalar and
Mart{\'{\i}}n Di{\'{e}}guez and
Andreas Herzig and
David Pearce},
title = {A short biography of Luis Fari{\~{n}}as del Cerro},
journal = {J. Appl. Non Class. Logics},
volume = {27},
number = {3-4},
pages = {153--160},
year = {2017},
url = {https://doi.org/10.1080/11663081.2018.1439360},
doi = {10.1080/11663081.2018.1439360},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jancl/CabalarDHP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/Herzig17,
author = {Andreas Herzig},
title = {Dynamic epistemic logics: promises, problems, shortcomings, and perspectives},
journal = {J. Appl. Non Class. Logics},
volume = {27},
number = {3-4},
pages = {328--341},
year = {2017},
url = {https://doi.org/10.1080/11663081.2017.1416036},
doi = {10.1080/11663081.2017.1416036},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/Herzig17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/HerzigLPX17,
author = {Andreas Herzig and
Emiliano Lorini and
Laurent Perrussel and
Zhanhao Xiao},
title = {{BDI} Logics for {BDI} Architectures: Old Problems, New Perspectives},
journal = {K{\"{u}}nstliche Intell.},
volume = {31},
number = {1},
pages = {73--83},
year = {2017},
url = {https://doi.org/10.1007/s13218-016-0457-5},
doi = {10.1007/S13218-016-0457-5},
timestamp = {Wed, 19 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ki/HerzigLPX17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/XiaoHPZ17,
author = {Zhanhao Xiao and
Andreas Herzig and
Laurent Perrussel and
Dongmo Zhang},
editor = {Floriana Esposito and
Roberto Basili and
Stefano Ferilli and
Francesca A. Lisi},
title = {Deciding Refinement Relation in Belief-Intention Databases},
booktitle = {AI*IA 2017 Advances in Artificial Intelligence - XVIth International
Conference of the Italian Association for Artificial Intelligence,
Bari, Italy, November 14-17, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10640},
pages = {186--199},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-70169-1\_14},
doi = {10.1007/978-3-319-70169-1\_14},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/aiia/XiaoHPZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/RantsoudisFH17,
author = {Christos Rantsoudis and
Guillaume Feuillade and
Andreas Herzig},
editor = {Alessandro Artale and
Birte Glimm and
Roman Kontchakov},
title = {Repairing ABoxes through Active Integrity Constraints},
booktitle = {Proceedings of the 30th International Workshop on Description Logics,
Montpellier, France, July 18-21, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {1879},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-1879/paper41.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/RantsoudisFH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BelardinelliH17,
author = {Francesco Belardinelli and
Andreas Herzig},
editor = {Carles Sierra},
title = {Dynamic Logic for Data-aware Systems: Decidability Results},
booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on
Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August
19-25, 2017},
pages = {821--827},
publisher = {ijcai.org},
year = {2017},
url = {https://doi.org/10.24963/ijcai.2017/114},
doi = {10.24963/IJCAI.2017/114},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/BelardinelliH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/FervariHLW17,
author = {Raul Fervari and
Andreas Herzig and
Yanjun Li and
Yanjing Wang},
editor = {Carles Sierra},
title = {Strategically knowing how},
booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on
Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August
19-25, 2017},
pages = {1031--1038},
publisher = {ijcai.org},
year = {2017},
url = {https://doi.org/10.24963/ijcai.2017/143},
doi = {10.24963/IJCAI.2017/143},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/FervariHLW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GrossiHHM17,
author = {Davide Grossi and
Andreas Herzig and
Wiebe van der Hoek and
Christos Moyzes},
editor = {Carles Sierra},
title = {Non-Determinism and the Dynamics of Knowledge},
booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on
Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August
19-25, 2017},
pages = {1053--1059},
publisher = {ijcai.org},
year = {2017},
url = {https://doi.org/10.24963/ijcai.2017/146},
doi = {10.24963/IJCAI.2017/146},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/GrossiHHM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/XiaoHPWS17,
author = {Zhanhao Xiao and
Andreas Herzig and
Laurent Perrussel and
Hai Wan and
Xiaoheng Su},
editor = {Carles Sierra},
title = {Hierarchical Task Network Planning with Task Insertion and State Constraints},
booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on
Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August
19-25, 2017},
pages = {4463--4469},
publisher = {ijcai.org},
year = {2017},
url = {https://doi.org/10.24963/ijcai.2017/623},
doi = {10.24963/IJCAI.2017/623},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/XiaoHPWS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BelardinelliGHL17,
author = {Francesco Belardinelli and
Umberto Grandi and
Andreas Herzig and
Dominique Longin and
Emiliano Lorini and
Arianna Novaro and
Laurent Perrussel},
editor = {J{\'{e}}r{\^{o}}me Lang},
title = {Relaxing Exclusive Control in Boolean Games},
booktitle = {Proceedings Sixteenth Conference on Theoretical Aspects of Rationality
and Knowledge, {TARK} 2017, Liverpool, UK, 24-26 July 2017},
series = {{EPTCS}},
volume = {251},
pages = {43--56},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.251.4},
doi = {10.4204/EPTCS.251.4},
timestamp = {Wed, 19 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BelardinelliGHL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/17/Ben-NaimBHLL17,
author = {Jonathan Ben{-}Naim and
Jean{-}Fran{\c{c}}ois Bonnefon and
Andreas Herzig and
Sylvie Leblois and
Emiliano Lorini},
editor = {Stephen J. Cowley and
Fr{\'{e}}d{\'{e}}ric Vall{\'{e}}e{-}Tourangeau},
title = {Computer-Mediated Trust in Self-interested Expert Recommendations},
booktitle = {Cognition Beyond the Brain: Computation, Interactivity and Human Artifice},
pages = {233--250},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-49115-8\_12},
doi = {10.1007/978-3-319-49115-8\_12},
timestamp = {Fri, 15 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/17/Ben-NaimBHLL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FervariHLW17,
author = {Raul Fervari and
Andreas Herzig and
Yanjun Li and
Yanjing Wang},
title = {Strategically knowing how},
journal = {CoRR},
volume = {abs/1705.05254},
year = {2017},
url = {http://arxiv.org/abs/1705.05254},
eprinttype = {arXiv},
eprint = {1705.05254},
timestamp = {Thu, 10 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FervariHLW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/BolanderDHLPS16,
author = {Thomas Bolander and
Hans van Ditmarsch and
Andreas Herzig and
Emiliano Lorini and
Pere Pardo and
Fran{\c{c}}ois Schwarzentruber},
title = {Announcements to Attentive Agents},
journal = {J. Log. Lang. Inf.},
volume = {25},
number = {1},
pages = {1--35},
year = {2016},
url = {https://doi.org/10.1007/s10849-015-9234-3},
doi = {10.1007/S10849-015-9234-3},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/BolanderDHLPS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/BalbianiDH16,
author = {Philippe Balbiani and
Hans van Ditmarsch and
Andreas Herzig},
editor = {Lev D. Beklemishev and
St{\'{e}}phane Demri and
Andr{\'{a}}s Mat{\'{e}}},
title = {Before announcement},
booktitle = {Advances in Modal Logic 11, proceedings of the 11th conference on
"Advances in Modal Logic," held in Budapest, Hungary, August 30 -
September 2, 2016},
pages = {58--77},
publisher = {College Publications},
year = {2016},
url = {http://www.aiml.net/volumes/volume11/Balbiani-vanDitmarsch-Herzig.pdf},
timestamp = {Tue, 16 Jan 2024 17:18:03 +0100},
biburl = {https://dblp.org/rec/conf/aiml/BalbianiDH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/CooperHMMR16,
author = {Martin C. Cooper and
Andreas Herzig and
Faustine Maffre and
Fr{\'{e}}d{\'{e}}ric Maris and
Pierre R{\'{e}}gnier},
editor = {Gal A. Kaminka and
Maria Fox and
Paolo Bouquet and
Eyke H{\"{u}}llermeier and
Virginia Dignum and
Frank Dignum and
Frank van Harmelen},
title = {A Simple Account of Multi-Agent Epistemic Planning},
booktitle = {{ECAI} 2016 - 22nd European Conference on Artificial Intelligence,
29 August-2 September 2016, The Hague, The Netherlands - Including
Prestigious Applications of Artificial Intelligence {(PAIS} 2016)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {285},
pages = {193--201},
publisher = {{IOS} Press},
year = {2016},
url = {https://doi.org/10.3233/978-1-61499-672-9-193},
doi = {10.3233/978-1-61499-672-9-193},
timestamp = {Tue, 02 Nov 2021 15:59:05 +0100},
biburl = {https://dblp.org/rec/conf/ecai/CooperHMMR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/CooperHMMR16a,
author = {Martin C. Cooper and
Andreas Herzig and
Faustine Maffre and
Fr{\'{e}}d{\'{e}}ric Maris and
Pierre R{\'{e}}gnier},
editor = {Gal A. Kaminka and
Maria Fox and
Paolo Bouquet and
Eyke H{\"{u}}llermeier and
Virginia Dignum and
Frank Dignum and
Frank van Harmelen},
title = {Simple Epistemic Planning: Generalised Gossiping},
booktitle = {{ECAI} 2016 - 22nd European Conference on Artificial Intelligence,
29 August-2 September 2016, The Hague, The Netherlands - Including
Prestigious Applications of Artificial Intelligence {(PAIS} 2016)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {285},
pages = {1563--1564},
publisher = {{IOS} Press},
year = {2016},
url = {https://doi.org/10.3233/978-1-61499-672-9-1563},
doi = {10.3233/978-1-61499-672-9-1563},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/CooperHMMR16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BelardinelliH16,
author = {Francesco Belardinelli and
Andreas Herzig},
editor = {Subbarao Kambhampati},
title = {On Logics of Strategic Ability Based on Propositional Control},
booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on
Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July
2016},
pages = {95--101},
publisher = {{IJCAI/AAAI} Press},
year = {2016},
url = {http://www.ijcai.org/Abstract/16/021},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/BelardinelliH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/HerzigLMS16,
author = {Andreas Herzig and
Emiliano Lorini and
Faustine Maffre and
Fran{\c{c}}ois Schwarzentruber},
editor = {Subbarao Kambhampati},
title = {Epistemic Boolean Games Based on a Logic of Visibility and Control},
booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on
Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July
2016},
pages = {1116--1122},
publisher = {{IJCAI/AAAI} Press},
year = {2016},
url = {http://www.ijcai.org/Abstract/16/162},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/HerzigLMS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/HerzigPX16,
author = {Andreas Herzig and
Laurent Perrussel and
Zhanhao Xiao},
editor = {Loizos Michael and
Antonis C. Kakas},
title = {On Hierarchical Task Networks},
booktitle = {Logics in Artificial Intelligence - 15th European Conference, {JELIA}
2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10021},
pages = {551--557},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-48758-8\_38},
doi = {10.1007/978-3-319-48758-8\_38},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/jelia/HerzigPX16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/HerzigPXZ16,
author = {Andreas Herzig and
Laurent Perrussel and
Zhanhao Xiao and
Dongmo Zhang},
editor = {Loizos Michael and
Antonis C. Kakas},
title = {Refinement of Intentions},
booktitle = {Logics in Artificial Intelligence - 15th European Conference, {JELIA}
2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10021},
pages = {558--563},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-48758-8\_39},
doi = {10.1007/978-3-319-48758-8\_39},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/HerzigPXZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/CharrierHLMS16,
author = {Tristan Charrier and
Andreas Herzig and
Emiliano Lorini and
Faustine Maffre and
Fran{\c{c}}ois Schwarzentruber},
editor = {Chitta Baral and
James P. Delgrande and
Frank Wolter},
title = {Building Epistemic Logic from Observations and Public Announcements},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Fifteenth International Conference, {KR} 2016, Cape Town, South
Africa, April 25-29, 2016},
pages = {268--277},
publisher = {{AAAI} Press},
year = {2016},
url = {http://www.aaai.org/ocs/index.php/KR/KR16/paper/view/12899},
timestamp = {Tue, 09 Feb 2021 08:33:50 +0100},
biburl = {https://dblp.org/rec/conf/kr/CharrierHLMS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CooperHMMR16,
author = {Martin C. Cooper and
Andreas Herzig and
Faustine Maffre and
Fr{\'{e}}d{\'{e}}ric Maris and
Pierre R{\'{e}}gnier},
title = {Simple epistemic planning: generalised gossiping},
journal = {CoRR},
volume = {abs/1606.03244},
year = {2016},
url = {http://arxiv.org/abs/1606.03244},
eprinttype = {arXiv},
eprint = {1606.03244},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CooperHMMR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aamas/Herzig15,
author = {Andreas Herzig},
title = {Logics of knowledge and action: critical analysis and challenges},
journal = {Auton. Agents Multi Agent Syst.},
volume = {29},
number = {5},
pages = {719--753},
year = {2015},
url = {https://doi.org/10.1007/s10458-014-9267-z},
doi = {10.1007/S10458-014-9267-Z},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aamas/Herzig15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/SakamaCH15,
author = {Chiaki Sakama and
Martin Caminada and
Andreas Herzig},
title = {A formal account of dishonesty},
journal = {Log. J. {IGPL}},
volume = {23},
number = {2},
pages = {259--294},
year = {2015},
url = {https://doi.org/10.1093/jigpal/jzu043},
doi = {10.1093/JIGPAL/JZU043},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/SakamaCH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/Herzig15,
author = {Andreas Herzig},
title = {Letter from the Editor},
journal = {J. Appl. Non Class. Logics},
volume = {25},
number = {1},
pages = {1},
year = {2015},
url = {https://doi.org/10.1080/11663081.2015.1032478},
doi = {10.1080/11663081.2015.1032478},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/Herzig15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eumas/HerzigM15,
author = {Andreas Herzig and
Faustine Maffre},
editor = {Michael Rovatsos and
George A. Vouros and
Vicente Juli{\'{a}}n},
title = {How to Share Knowledge by Gossiping},
booktitle = {Multi-Agent Systems and Agreement Technologies - 13th European Conference,
{EUMAS} 2015, and Third International Conference, {AT} 2015, Athens,
Greece, December 17-18, 2015, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9571},
pages = {249--263},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-33509-4\_20},
doi = {10.1007/978-3-319-33509-4\_20},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/eumas/HerzigM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/CerroHS15,
author = {Luis Fari{\~{n}}as del Cerro and
Andreas Herzig and
Ezgi Iraz Su},
editor = {Qiang Yang and
Michael J. Wooldridge},
title = {Epistemic Equilibrium Logic},
booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on
Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July
25-31, 2015},
pages = {2964--2970},
publisher = {{AAAI} Press},
year = {2015},
url = {http://ijcai.org/Abstract/15/419},
timestamp = {Tue, 20 Aug 2019 16:16:43 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/CerroHS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/HerzigLM15,
author = {Andreas Herzig and
Emiliano Lorini and
Faustine Maffre},
editor = {Wiebe van der Hoek and
Wesley H. Holliday and
Wen{-}Fang Wang},
title = {A Poor Man's Epistemic Logic Based on Propositional Assignment and
Higher-Order Observation},
booktitle = {Logic, Rationality, and Interaction - 5th International Workshop,
{LORI} 2015 Taipei, Taiwan, October 28-31, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9394},
pages = {156--168},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48561-3\_13},
doi = {10.1007/978-3-662-48561-3\_13},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/lori/HerzigLM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/BroersenH15,
author = {Jan M. Broersen and
Andreas Herzig},
editor = {Johan van Benthem and
Sujata Ghosh and
Rineke Verbrugge},
title = {Using {STIT} Theory to Talk About Strategies},
booktitle = {Models of Strategic Reasoning - Logics, Games, and Communities},
series = {Lecture Notes in Computer Science},
volume = {8972},
pages = {137--173},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48540-8\_5},
doi = {10.1007/978-3-662-48540-8\_5},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/series/lncs/BroersenH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0032750,
author = {Olivier Gasquet and
Andreas Herzig and
Bilal Said and
Fran{\c{c}}ois Schwarzentruber},
title = {Kripke's Worlds - An Introduction to Modal Logics via Tableaux},
series = {Studies in Universal Logic},
publisher = {Birkh{\"{a}}user},
year = {2014},
url = {https://doi.org/10.1007/978-3-7643-8504-0},
doi = {10.1007/978-3-7643-8504-0},
isbn = {978-3-7643-8503-3},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0032750.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/CerroHS14,
author = {Luis Fari{\~{n}}as del Cerro and
Andreas Herzig and
Ezgi Iraz Su},
title = {Capturing equilibrium models in modal logic},
journal = {J. Appl. Log.},
volume = {12},
number = {2},
pages = {192--207},
year = {2014},
url = {https://doi.org/10.1016/j.jal.2013.12.003},
doi = {10.1016/J.JAL.2013.12.003},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/japll/CerroHS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/HerzigMBW14,
author = {Andreas Herzig and
Maria Viviane de Menezes and
Leliane Nunes de Barros and
Renata Wassermann},
editor = {Torsten Schaub and
Gerhard Friedrich and
Barry O'Sullivan},
title = {On the revision of planning tasks},
booktitle = {{ECAI} 2014 - 21st European Conference on Artificial Intelligence,
18-22 August 2014, Prague, Czech Republic - Including Prestigious
Applications of Intelligent Systems {(PAIS} 2014)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {263},
pages = {435--440},
publisher = {{IOS} Press},
year = {2014},
url = {https://doi.org/10.3233/978-1-61499-419-0-435},
doi = {10.3233/978-1-61499-419-0-435},
timestamp = {Mon, 19 Jun 2023 16:36:09 +0200},
biburl = {https://dblp.org/rec/conf/ecai/HerzigMBW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/HerzigPS14,
author = {Andreas Herzig and
Pilar Pozos Parra and
Fran{\c{c}}ois Schwarzentruber},
editor = {Christoph Beierle and
Carlo Meghini},
title = {Belief Merging in Dynamic Logic of Propositional Assignments},
booktitle = {Foundations of Information and Knowledge Systems - 8th International
Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8367},
pages = {381--398},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-04939-7\_19},
doi = {10.1007/978-3-319-04939-7\_19},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/foiks/HerzigPS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/FeuilladeHS14,
author = {Guillaume Feuillade and
Andreas Herzig and
Seifeddine Kramdi},
editor = {B{\'{e}}atrice Duval and
H. Jaap van den Herik and
St{\'{e}}phane Loiseau and
Joaquim Filipe},
title = {Trust-based Personal Information Management in {SOA}},
booktitle = {{ICAART} 2014 - Proceedings of the 6th International Conference on
Agents and Artificial Intelligence, Volume 1, ESEO, Angers, Loire
Valley, France, 6-8 March, 2014},
pages = {667--672},
publisher = {SciTePress},
year = {2014},
url = {https://doi.org/10.5220/0004917806670672},
doi = {10.5220/0004917806670672},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icaart/FeuilladeHS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipmu/BesnardDH14,
author = {Philippe Besnard and
Sylvie Doutre and
Andreas Herzig},
editor = {Anne Laurent and
Olivier Strauss and
Bernadette Bouchon{-}Meunier and
Ronald R. Yager},
title = {Encoding Argument Graphs in Logic},
booktitle = {Information Processing and Management of Uncertainty in Knowledge-Based
Systems - 15th International Conference, {IPMU} 2014, Montpellier,
France, July 15-19, 2014, Proceedings, Part {II}},
series = {Communications in Computer and Information Science},
volume = {443},
pages = {345--354},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08855-6\_35},
doi = {10.1007/978-3-319-08855-6\_35},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ipmu/BesnardDH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/FeuilladeH14,
author = {Guillaume Feuillade and
Andreas Herzig},
editor = {Eduardo Ferm{\'{e}} and
Jo{\~{a}}o Leite},
title = {A Dynamic View of Active Integrity Constraints},
booktitle = {Logics in Artificial Intelligence - 14th European Conference, {JELIA}
2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8761},
pages = {486--499},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11558-0\_34},
doi = {10.1007/978-3-319-11558-0\_34},
timestamp = {Fri, 07 Aug 2020 08:55:19 +0200},
biburl = {https://dblp.org/rec/conf/jelia/FeuilladeH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/DoutreHP14,
author = {Sylvie Doutre and
Andreas Herzig and
Laurent Perrussel},
editor = {Chitta Baral and
Giuseppe De Giacomo and
Thomas Eiter},
title = {A Dynamic Logic Framework for Abstract Argumentation},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Fourteenth International Conference, {KR} 2014, Vienna, Austria,
July 20-24, 2014},
publisher = {{AAAI} Press},
year = {2014},
url = {http://www.aaai.org/ocs/index.php/KR/KR14/paper/view/7993},
timestamp = {Tue, 09 Feb 2021 08:33:43 +0100},
biburl = {https://dblp.org/rec/conf/kr/DoutreHP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Herzig14,
author = {Andreas Herzig},
editor = {Chitta Baral and
Giuseppe De Giacomo and
Thomas Eiter},
title = {Belief Change Operations: {A} Short History of Nearly Everything,
Told in Dynamic Logic of Propositional Assignments},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Fourteenth International Conference, {KR} 2014, Vienna, Austria,
July 20-24, 2014},
publisher = {{AAAI} Press},
year = {2014},
url = {http://www.aaai.org/ocs/index.php/KR/KR14/paper/view/7960},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/Herzig14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecsi/2014,
editor = {Andreas Herzig and
Emiliano Lorini},
title = {Proceedings of the European Conference on Social Intelligence (ECSI-2014),
Barcelona, Spain, November 3-5, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1283},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1283},
urn = {urn:nbn:de:0074-1283-4},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecsi/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LimaH14,
author = {Tiago de Lima and
Andreas Herzig},
title = {Tableaux for Dynamic Logic of Propositional Assignments},
journal = {CoRR},
volume = {abs/1406.2161},
year = {2014},
url = {http://arxiv.org/abs/1406.2161},
eprinttype = {arXiv},
eprint = {1406.2161},
timestamp = {Fri, 28 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/LimaH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BalbianiHST14,
author = {Philippe Balbiani and
Andreas Herzig and
Fran{\c{c}}ois Schwarzentruber and
Nicolas Troquard},
title = {{DL-PA} and {DCL-PC:} model checking and satisfiability problem are
indeed in {PSPACE}},
journal = {CoRR},
volume = {abs/1411.7825},
year = {2014},
url = {http://arxiv.org/abs/1411.7825},
eprinttype = {arXiv},
eprint = {1411.7825},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BalbianiHST14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/LoriniTHB13,
author = {Emiliano Lorini and
Nicolas Troquard and
Andreas Herzig and
Jan M. Broersen},
title = {Grounding power on actions and mental attitudes},
journal = {Log. J. {IGPL}},
volume = {21},
number = {3},
pages = {311--331},
year = {2013},
url = {https://doi.org/10.1093/jigpal/jzr039},
doi = {10.1093/JIGPAL/JZR039},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/LoriniTHB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijgt/BonannoHHL13,
author = {Giacomo Bonanno and
Andreas Herzig and
Wiebe van der Hoek and
J{\'{e}}r{\^{o}}me Lang},
title = {Introduction to the special issue},
journal = {Int. J. Game Theory},
volume = {42},
number = {3},
pages = {563--566},
year = {2013},
url = {https://doi.org/10.1007/s00182-013-0387-5},
doi = {10.1007/S00182-013-0387-5},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijgt/BonannoHHL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/HerzigLM13,
author = {Andreas Herzig and
J{\'{e}}r{\^{o}}me Lang and
Pierre Marquis},
title = {Propositional Update Operators Based on Formula/Literal Dependence},
journal = {{ACM} Trans. Comput. Log.},
volume = {14},
number = {3},
pages = {24:1--24:31},
year = {2013},
url = {https://doi.org/10.1145/2499937.2499945},
doi = {10.1145/2499937.2499945},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/HerzigLM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BalbianiHT13,
author = {Philippe Balbiani and
Andreas Herzig and
Nicolas Troquard},
title = {Dynamic Logic of Propositional Assignments: {A} Well-Behaved Variant
of {PDL}},
booktitle = {28th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2013, New Orleans, LA, USA, June 25-28, 2013},
pages = {143--152},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/LICS.2013.20},
doi = {10.1109/LICS.2013.20},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/BalbianiHT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/DitmarschHLS13,
author = {Hans van Ditmarsch and
Andreas Herzig and
Emiliano Lorini and
Fran{\c{c}}ois Schwarzentruber},
editor = {Davide Grossi and
Olivier Roy and
Huaxin Huang},
title = {Listen to Me! Public Announcements to Agents That Pay Attention -
or Not},
booktitle = {Logic, Rationality, and Interaction - 4th International Workshop,
{LORI} 2013, Hangzhou, China, October 9-12, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8196},
pages = {96--109},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40948-6\_8},
doi = {10.1007/978-3-642-40948-6\_8},
timestamp = {Sun, 02 Jun 2019 21:21:18 +0200},
biburl = {https://dblp.org/rec/conf/lori/DitmarschHLS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/HerzigLW13,
author = {Andreas Herzig and
Emiliano Lorini and
Dirk Walther},
editor = {Davide Grossi and
Olivier Roy and
Huaxin Huang},
title = {Reasoning about Actions Meets Strategic Logics},
booktitle = {Logic, Rationality, and Interaction - 4th International Workshop,
{LORI} 2013, Hangzhou, China, October 9-12, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8196},
pages = {162--175},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40948-6\_13},
doi = {10.1007/978-3-642-40948-6\_13},
timestamp = {Sun, 31 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lori/HerzigLW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/CerroHS13,
author = {Luis Fari{\~{n}}as del Cerro and
Andreas Herzig and
Ezgi Iraz Su},
editor = {Pedro Cabalar and
Tran Cao Son},
title = {Combining Equilibrium Logic and Dynamic Logic},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 12th International Conference,
{LPNMR} 2013, Corunna, Spain, September 15-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8148},
pages = {304--316},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40564-8\_30},
doi = {10.1007/978-3-642-40564-8\_30},
timestamp = {Sun, 02 Jun 2019 21:23:45 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/CerroHS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/Herzig13,
author = {Andreas Herzig},
editor = {Leonid Libkin and
Ulrich Kohlenbach and
Ruy J. G. B. de Queiroz},
title = {A Simple Separation Logic},
booktitle = {Logic, Language, Information, and Computation - 20th International
Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8071},
pages = {168--178},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39992-3\_16},
doi = {10.1007/978-3-642-39992-3\_16},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/wollic/Herzig13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1302-6803,
author = {Didier Dubois and
Luis Fari{\~{n}}as del Cerro and
Andreas Herzig and
Henri Prade},
title = {An Ordinal View of Independence with Application to Plausible Reasoning},
journal = {CoRR},
volume = {abs/1302.6803},
year = {2013},
url = {http://arxiv.org/abs/1302.6803},
eprinttype = {arXiv},
eprint = {1302.6803},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1302-6803.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/DitmarschHL12,
author = {Hans van Ditmarsch and
Andreas Herzig and
Tiago de Lima},
title = {Public announcements, public assignments and the complexity of their
logic},
journal = {J. Appl. Non Class. Logics},
volume = {22},
number = {3},
pages = {249--273},
year = {2012},
url = {https://doi.org/10.1080/11663081.2012.705964},
doi = {10.1080/11663081.2012.705964},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/DitmarschHL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ria/CerroH12,
author = {Luis Fari{\~{n}}as del Cerro and
Andreas Herzig},
title = {La logique modale des mod{\`{e}}les d'{\'{e}}quilibre},
journal = {Rev. d'Intelligence Artif.},
volume = {26},
number = {1-2},
pages = {85--102},
year = {2012},
url = {https://doi.org/10.3166/ria.26.85-102},
doi = {10.3166/RIA.26.85-102},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ria/CerroH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/BalbianiDHL12,
author = {Philippe Balbiani and
Hans van Ditmarsch and
Andreas Herzig and
Tiago de Lima},
editor = {Thomas Bolander and
Torben Bra{\"{u}}ner and
Silvio Ghilardi and
Lawrence S. Moss},
title = {Some Truths Are Best Left Unsaid},
booktitle = {Advances in Modal Logic 9, papers from the ninth conference on "Advances
in Modal Logic," held in Copenhagen, Denmark, 22-25 August 2012},
pages = {36--54},
publisher = {College Publications},
year = {2012},
url = {http://www.aiml.net/volumes/volume9/Balbiani-Ditmarsch-Herzig-Lima.pdf},
timestamp = {Wed, 17 Jan 2024 09:57:06 +0100},
biburl = {https://dblp.org/rec/conf/aiml/BalbianiDHL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deon/HerzigLLT12,
author = {Andreas Herzig and
Tiago de Lima and
Emiliano Lorini and
Nicolas Troquard},
editor = {Thomas {\AA}gotnes and
Jan M. Broersen and
Dag Elgesem},
title = {A Computationally Grounded Dynamic Logic of Agency, with an Application
to Legal Actions},
booktitle = {Deontic Logic in Computer Science - 11th International Conference,
{DEON} 2012, Bergen, Norway, July 16-18, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7393},
pages = {170--183},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31570-1\_12},
doi = {10.1007/978-3-642-31570-1\_12},
timestamp = {Fri, 28 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/deon/HerzigLLT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/jelia/2012,
editor = {Luis Fari{\~{n}}as del Cerro and
Andreas Herzig and
J{\'{e}}r{\^{o}}me Mengin},
title = {Logics in Artificial Intelligence - 13th European Conference, {JELIA}
2012, Toulouse, France, September 26-28, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7519},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33353-8},
doi = {10.1007/978-3-642-33353-8},
isbn = {978-3-642-33352-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/BonannoHLH11,
author = {Giacomo Bonanno and
Andreas Herzig and
J{\'{e}}r{\^{o}}me Lang and
Wiebe van der Hoek},
title = {Foreword},
journal = {J. Appl. Non Class. Logics},
volume = {21},
number = {3-4},
pages = {263--264},
year = {2011},
url = {https://doi.org/10.1080/11663081.2011.9736665},
doi = {10.1080/11663081.2011.9736665},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/BonannoHLH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/HerzigL11,
author = {Andreas Herzig and
Emiliano Lorini},
title = {Editorial Introduction: Logical Methods for Social Concepts},
journal = {J. Philos. Log.},
volume = {40},
number = {4},
pages = {441--443},
year = {2011},
url = {https://doi.org/10.1007/s10992-011-9186-2},
doi = {10.1007/S10992-011-9186-2},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jphil/HerzigL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/DitmarschHL11,
author = {Hans van Ditmarsch and
Andreas Herzig and
Tiago de Lima},
title = {From Situation Calculus to Dynamic Epistemic Logic},
journal = {J. Log. Comput.},
volume = {21},
number = {2},
pages = {179--204},
year = {2011},
url = {https://doi.org/10.1093/logcom/exq024},
doi = {10.1093/LOGCOM/EXQ024},
timestamp = {Fri, 28 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/DitmarschHL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/CerroH11,
author = {Luis Fari{\~{n}}as del Cerro and
Andreas Herzig},
title = {Logics of Contingency},
booktitle = {Logical Formalizations of Commonsense Reasoning, Papers from the 2011
{AAAI} Spring Symposium, Technical Report SS-11-06, Stanford, California,
USA, March 21-23, 2011},
publisher = {{AAAI}},
year = {2011},
url = {http://www.aaai.org/ocs/index.php/SSS/SSS11/paper/view/2432},
timestamp = {Mon, 13 Feb 2012 17:07:39 +0100},
biburl = {https://dblp.org/rec/conf/aaaiss/CerroH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/BalbianiGHL11,
author = {Philippe Balbiani and
Nadine Guiraud and
Andreas Herzig and
Emiliano Lorini},
editor = {Liz Sonenberg and
Peter Stone and
Kagan Tumer and
Pinar Yolum},
title = {Agents that speak: modelling communicative plans and information sources
in a logic of announcements},
booktitle = {10th International Conference on Autonomous Agents and Multiagent
Systems {(AAMAS} 2011), Taipei, Taiwan, May 2-6, 2011, Volume 1-3},
pages = {1207--1208},
publisher = {{IFAAMAS}},
year = {2011},
url = {http://portal.acm.org/citation.cfm?id=2034490\&\#38;CFID=69154334\&\#38;CFTOKEN=45298625},
timestamp = {Fri, 18 Nov 2011 09:09:28 +0100},
biburl = {https://dblp.org/rec/conf/atal/BalbianiGHL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clima/HerzigLT11,
author = {Andreas Herzig and
Emiliano Lorini and
Nicolas Troquard},
editor = {Jo{\~{a}}o Leite and
Paolo Torroni and
Thomas {\AA}gotnes and
Guido Boella and
Leon van der Torre},
title = {A Dynamic Logic of Institutional Actions},
booktitle = {Computational Logic in Multi-Agent Systems - 12th International Workshop,
{CLIMA} XII, Barcelona, Spain, July 17-18, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6814},
pages = {295--311},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22359-4\_21},
doi = {10.1007/978-3-642-22359-4\_21},
timestamp = {Fri, 07 Aug 2020 08:55:19 +0200},
biburl = {https://dblp.org/rec/conf/clima/HerzigLT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/CerroH11,
author = {Luis Fari{\~{n}}as del Cerro and
Andreas Herzig},
editor = {Cesare Tinelli and
Viorica Sofronie{-}Stokkermans},
title = {The Modal Logic of Equilibrium Models},
booktitle = {Frontiers of Combining Systems, 8th International Symposium, FroCoS
2011, Saarbr{\"{u}}cken, Germany, October 5-7, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6989},
pages = {135--146},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24364-6\_10},
doi = {10.1007/978-3-642-24364-6\_10},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/frocos/CerroH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/HerzigLMT11,
author = {Andreas Herzig and
Emiliano Lorini and
Fr{\'{e}}d{\'{e}}ric Moisan and
Nicolas Troquard},
editor = {Toby Walsh},
title = {A Dynamic Logic of Normative Systems},
booktitle = {{IJCAI} 2011, Proceedings of the 22nd International Joint Conference
on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22,
2011},
pages = {228--233},
publisher = {{IJCAI/AAAI}},
year = {2011},
url = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-049},
doi = {10.5591/978-1-57735-516-8/IJCAI11-049},
timestamp = {Tue, 20 Aug 2019 16:16:04 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/HerzigLMT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/CerroH11,
author = {Luis Fari{\~{n}}as del Cerro and
Andreas Herzig},
editor = {James P. Delgrande and
Wolfgang Faber},
title = {Contingency-Based Equilibrium Logic},
booktitle = {Logic Programming and Nonmonotonic Reasoning - 11th International
Conference, {LPNMR} 2011, Vancouver, Canada, May 16-19, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6645},
pages = {223--228},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20895-9\_23},
doi = {10.1007/978-3-642-20895-9\_23},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/CerroH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mabs/GaudouHLS11,
author = {Benoit Gaudou and
Andreas Herzig and
Emiliano Lorini and
Christophe Sibertin{-}Blanc},
editor = {Daniel Villatoro and
Jordi Sabater{-}Mir and
Jaime Sim{\~{a}}o Sichman},
title = {How to Do Social Simulation in Logic: Modelling the Segregation Game
in a Dynamic Logic of Assignments},
booktitle = {Multi-Agent-Based Simulation {XII} - International Workshop, {MABS}
2011, Taipei, Taiwan, May 2-6, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7124},
pages = {59--73},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-28400-7\_5},
doi = {10.1007/978-3-642-28400-7\_5},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/mabs/GaudouHLS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ais/Ben-NaimBHLL10,
author = {Jonathan Ben{-}Naim and
Jean{-}Fran{\c{c}}ois Bonnefon and
Andreas Herzig and
Sylvie Leblois and
Emiliano Lorini},
title = {Computer-mediated trust in self-interested expert recommendations},
journal = {{AI} Soc.},
volume = {25},
number = {4},
pages = {413--422},
year = {2010},
url = {https://doi.org/10.1007/s00146-010-0268-4},
doi = {10.1007/S00146-010-0268-4},
timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ais/Ben-NaimBHLL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/HarmelenHHQ10,
author = {Frank van Harmelen and
Andreas Herzig and
Pascal Hitzler and
Guilin Qi},
title = {Preface - Special issue on commonsense reasoning for the semantic
web},
journal = {Ann. Math. Artif. Intell.},
volume = {58},
number = {1-2},
pages = {1--2},
year = {2010},
url = {https://doi.org/10.1007/s10472-010-9209-7},
doi = {10.1007/S10472-010-9209-7},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/amai/HarmelenHHQ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/HerzigLHV10,
author = {Andreas Herzig and
Emiliano Lorini and
Jomi Fred H{\"{u}}bner and
Laurent Vercouter},
title = {A logic of trust and reputation},
journal = {Log. J. {IGPL}},
volume = {18},
number = {1},
pages = {214--244},
year = {2010},
url = {https://doi.org/10.1093/jigpal/jzp077},
doi = {10.1093/JIGPAL/JZP077},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/HerzigLHV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/BalbianiCH10,
author = {Philippe Balbiani and
Luis Fari{\~{n}}as del Cerro and
Andreas Herzig},
title = {Foreword},
journal = {J. Appl. Non Class. Logics},
volume = {20},
number = {4},
pages = {311},
year = {2010},
url = {https://doi.org/10.1080/11663081.2010.9736639},
doi = {10.1080/11663081.2010.9736639},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/BalbianiCH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/HerzigL10,
author = {Andreas Herzig and
Emiliano Lorini},
title = {A Dynamic Logic of Agency {I:} STIT, Capabilities and Powers},
journal = {J. Log. Lang. Inf.},
volume = {19},
number = {1},
pages = {89--121},
year = {2010},
url = {https://doi.org/10.1007/s10849-009-9105-x},
doi = {10.1007/S10849-009-9105-X},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/HerzigL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BalbianiDHL10,
author = {Philippe Balbiani and
Hans van Ditmarsch and
Andreas Herzig and
Tiago de Lima},
title = {Tableaux for Public Announcement Logic},
journal = {J. Log. Comput.},
volume = {20},
number = {1},
pages = {55--76},
year = {2010},
url = {https://doi.org/10.1093/logcom/exn060},
doi = {10.1093/LOGCOM/EXN060},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BalbianiDHL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/BourdonFHL10,
author = {Julien Bourdon and
Guillaume Feuillade and
Andreas Herzig and
Emiliano Lorini},
editor = {Helder Coelho and
Rudi Studer and
Michael J. Wooldridge},
title = {Trust in complex actions},
booktitle = {{ECAI} 2010 - 19th European Conference on Artificial Intelligence,
Lisbon, Portugal, August 16-20, 2010, Proceedings},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {215},
pages = {1037--1038},
publisher = {{IOS} Press},
year = {2010},
url = {https://doi.org/10.3233/978-1-60750-606-5-1037},
doi = {10.3233/978-1-60750-606-5-1037},
timestamp = {Fri, 26 Apr 2019 14:26:43 +0200},
biburl = {https://dblp.org/rec/conf/ecai/BourdonFHL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/BalbianiEH10,
author = {Philippe Balbiani and
Rachid Echahed and
Andreas Herzig},
editor = {Hartmut Ehrig and
Arend Rensink and
Grzegorz Rozenberg and
Andy Sch{\"{u}}rr},
title = {A Dynamic Logic for Termgraph Rewriting},
booktitle = {Graph Transformations - 5th International Conference, {ICGT} 2010,
Enschede, The Netherlands, September 27 - - October 2, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6372},
pages = {59--74},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15928-2\_5},
doi = {10.1007/978-3-642-15928-2\_5},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gg/BalbianiEH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/SakamaCH10,
author = {Chiaki Sakama and
Martin Caminada and
Andreas Herzig},
editor = {Tomi Janhunen and
Ilkka Niemel{\"{a}}},
title = {A Logical Account of Lying},
booktitle = {Logics in Artificial Intelligence - 12th European Conference, {JELIA}
2010, Helsinki, Finland, September 13-15, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6341},
pages = {286--299},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15675-5\_25},
doi = {10.1007/978-3-642-15675-5\_25},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/SakamaCH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1003-4369,
author = {Philippe Balbiani and
Rachid Echahed and
Andreas Herzig},
title = {A Modal Logic for Termgraph Rewriting},
journal = {CoRR},
volume = {abs/1003.4369},
year = {2010},
url = {http://arxiv.org/abs/1003.4369},
eprinttype = {arXiv},
eprint = {1003.4369},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1003-4369.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/BroersenHT09,
author = {Jan M. Broersen and
Andreas Herzig and
Nicolas Troquard},
title = {What groups do, can do, and know they can do: an analysis in normal
modal logics},
journal = {J. Appl. Non Class. Logics},
volume = {19},
number = {3},
pages = {261--290},
year = {2009},
url = {https://doi.org/10.3166/jancl.19.261-289},
doi = {10.3166/JANCL.19.261-289},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/BroersenHT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/LoriniLGH09,
author = {Emiliano Lorini and
Dominique Longin and
Benoit Gaudou and
Andreas Herzig},
title = {The Logic of Acceptance: Grounding Institutions on Agents' Attitudes},
journal = {J. Log. Comput.},
volume = {19},
number = {6},
pages = {901--940},
year = {2009},
url = {https://doi.org/10.1093/logcom/exn103},
doi = {10.1093/LOGCOM/EXN103},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/LoriniLGH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/AdamHL09,
author = {Carole Adam and
Andreas Herzig and
Dominique Longin},
title = {A logical formalization of the {OCC} theory of emotions},
journal = {Synth.},
volume = {168},
number = {2},
pages = {201--248},
year = {2009},
url = {https://doi.org/10.1007/s11229-009-9460-9},
doi = {10.1007/S11229-009-9460-9},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/synthese/AdamHL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/DitmarschHLM09,
author = {Hans van Ditmarsch and
Andreas Herzig and
J{\'{e}}r{\^{o}}me Lang and
Pierre Marquis},
title = {Introspective forgetting},
journal = {Synth.},
volume = {169},
number = {2},
pages = {405--423},
year = {2009},
url = {https://doi.org/10.1007/s11229-009-9554-4},
doi = {10.1007/S11229-009-9554-4},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/synthese/DitmarschHLM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/HerzigLL09,
author = {Andreas Herzig and
Tiago de Lima and
Emiliano Lorini},
title = {On the dynamics of institutional agreements},
journal = {Synth.},
volume = {171},
number = {2},
pages = {321--355},
year = {2009},
url = {https://doi.org/10.1007/s11229-009-9645-2},
doi = {10.1007/S11229-009-9645-2},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/synthese/HerzigLL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/GaudouHL09,
author = {Benoit Gaudou and
Andreas Herzig and
Dominique Longin},
editor = {Carles Sierra and
Cristiano Castelfranchi and
Keith S. Decker and
Jaime Sim{\~{a}}o Sichman},
title = {Logical formalization of social commitments: application to agent
communication languages},
booktitle = {8th International Joint Conference on Autonomous Agents and Multiagent
Systems {(AAMAS} 2009), Budapest, Hungary, May 10-15, 2009, Volume
2},
pages = {1293--1294},
publisher = {{IFAAMAS}},
year = {2009},
url = {https://dl.acm.org/citation.cfm?id=1558259},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atal/GaudouHL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/AdamHLL09,
author = {Carole Adam and
Andreas Herzig and
Dominique Longin and
Vincent Louis},
editor = {Matteo Baldoni and
Jamal Bentahar and
M. Birna van Riemsdijk and
John Lloyd},
title = {Unifying the Intentional and Institutional Semantics of Speech Acts},
booktitle = {Declarative Agent Languages and Technologies VII, 7th International
Workshop, {DALT} 2009, Budapest, Hungary, May 11, 2009. Revised Selected
and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {5948},
pages = {68--84},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-11355-0\_5},
doi = {10.1007/978-3-642-11355-0\_5},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/dalt/AdamHLL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/BoerHLL09,
author = {Mathijs de Boer and
Andreas Herzig and
Tiago de Lima and
Emiliano Lorini},
editor = {Matteo Baldoni and
Jamal Bentahar and
M. Birna van Riemsdijk and
John Lloyd},
title = {Tableaux for Acceptance Logic},
booktitle = {Declarative Agent Languages and Technologies VII, 7th International
Workshop, {DALT} 2009, Budapest, Hungary, May 11, 2009. Revised Selected
and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {5948},
pages = {85--100},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-11355-0\_6},
doi = {10.1007/978-3-642-11355-0\_6},
timestamp = {Fri, 28 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dalt/BoerHLL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esaw/KrupaVHH09,
author = {Yann Krupa and
Laurent Vercouter and
Jomi Fred H{\"{u}}bner and
Andreas Herzig},
editor = {Huib Aldewereld and
Virginia Dignum and
Gauthier Picard},
title = {Trust Based Evaluation of Wikipedia's Contributors},
booktitle = {Engineering Societies in the Agents World X, 10th International Workshop,
{ESAW} 2009, Utrecht, The Netherlands, November 18-20, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5881},
pages = {148--161},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10203-5\_13},
doi = {10.1007/978-3-642-10203-5\_13},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esaw/KrupaVHH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/idc/AszalosH09,
author = {L{\'{a}}szl{\'{o}} Aszal{\'{o}}s and
Andreas Herzig},
editor = {George Angelos Papadopoulos and
Costin Badica},
title = {A Protocol for Execution of Distributed Logic Programs},
booktitle = {Intelligent Distributed Computing III, Proceedings of the 3rd International
Symposium on Intelligent Distributed Computing - {IDC} 2009, Ayia
Napa, Cyprus, October 2009},
series = {Studies in Computational Intelligence},
volume = {237},
pages = {21--30},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03214-1\_3},
doi = {10.1007/978-3-642-03214-1\_3},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/idc/AszalosH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/AucherGHL09,
author = {Guillaume Aucher and
Davide Grossi and
Andreas Herzig and
Emiliano Lorini},
editor = {Xiangdong He and
John F. Horty and
Eric Pacuit},
title = {Dynamic Context Logic},
booktitle = {Logic, Rationality, and Interaction, Second International Workshop,
{LORI} 2009, Chongqing, China, October 8-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5834},
pages = {15--26},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04893-7\_2},
doi = {10.1007/978-3-642-04893-7\_2},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/AucherGHL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/LoriniDDHM09,
author = {Emiliano Lorini and
Mehdi Dastani and
Hans van Ditmarsch and
Andreas Herzig and
John{-}Jules Ch. Meyer},
editor = {Xiangdong He and
John F. Horty and
Eric Pacuit},
title = {Intentions and Assignments},
booktitle = {Logic, Rationality, and Interaction, Second International Workshop,
{LORI} 2009, Chongqing, China, October 8-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5834},
pages = {198--211},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04893-7\_16},
doi = {10.1007/978-3-642-04893-7\_16},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/LoriniDDHM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/LoriniSH09,
author = {Emiliano Lorini and
Fran{\c{c}}ois Schwarzentruber and
Andreas Herzig},
editor = {Xiangdong He and
John F. Horty and
Eric Pacuit},
title = {Epistemic Games in Modal Logic: Joint Actions, Knowledge and Preferences
All Together},
booktitle = {Logic, Rationality, and Interaction, Second International Workshop,
{LORI} 2009, Chongqing, China, October 8-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5834},
pages = {212--226},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04893-7\_17},
doi = {10.1007/978-3-642-04893-7\_17},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lori/LoriniSH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/AucherGHL09,
author = {Guillaume Aucher and
Davide Grossi and
Andreas Herzig and
Emiliano Lorini},
editor = {Guido Boella and
Pablo Noriega and
Gabriella Pigozzi and
Harko Verhagen},
title = {Dynamic Context Logic and its Application to Norm},
booktitle = {Normative Multi-Agent Systems, 15.03. - 20.03.2009},
series = {Dagstuhl Seminar Proceedings},
volume = {09121},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/opus/volltexte/2009/1900/},
timestamp = {Thu, 10 Jun 2021 13:02:07 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/AucherGHL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/GuiraudHL09,
author = {Nadine Guiraud and
Andreas Herzig and
Emiliano Lorini},
editor = {Giacomo Bonanno and
James P. Delgrande and
Hans Rott},
title = {Speech acts as announcements},
booktitle = {Information processing, rational belief change and social interaction,
23.08. - 27.08.2009},
series = {Dagstuhl Seminar Proceedings},
volume = {09351},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/opus/volltexte/2009/2293/},
timestamp = {Thu, 10 Jun 2021 13:02:03 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/GuiraudHL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/LoriniSH09,
author = {Emiliano Lorini and
Fran{\c{c}}ois Schwarzentruber and
Andreas Herzig},
editor = {Giacomo Bonanno and
James P. Delgrande and
Hans Rott},
title = {Epistemic Games in Modal Logic: Joint Actions, Knowledge and Preferences
all together},
booktitle = {Information processing, rational belief change and social interaction,
23.08. - 27.08.2009},
series = {Dagstuhl Seminar Proceedings},
volume = {09351},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/opus/volltexte/2009/2231/},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/LoriniSH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/BalbianiHT08,
author = {Philippe Balbiani and
Andreas Herzig and
Nicolas Troquard},
title = {Alternative Axiomatics and Complexity of Deliberative {STIT} Theories},
journal = {J. Philos. Log.},
volume = {37},
number = {4},
pages = {387--406},
year = {2008},
url = {https://doi.org/10.1007/s10992-007-9078-7},
doi = {10.1007/S10992-007-9078-7},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jphil/BalbianiHT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/BalbianiBDHHL08,
author = {Philippe Balbiani and
Alexandru Baltag and
Hans van Ditmarsch and
Andreas Herzig and
Tomohiro Hoshi and
Tiago de Lima},
title = {'Knowable' as 'known after an announcement'},
journal = {Rev. Symb. Log.},
volume = {1},
number = {3},
pages = {305--334},
year = {2008},
url = {https://doi.org/10.1017/S1755020308080210},
doi = {10.1017/S1755020308080210},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/BalbianiBDHHL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Herzig08,
author = {Andreas Herzig},
title = {Book Reviews},
journal = {Stud Logica},
volume = {89},
number = {3},
pages = {441--445},
year = {2008},
url = {https://doi.org/10.1007/s11225-008-9137-2},
doi = {10.1007/S11225-008-9137-2},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Herzig08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/LoriniH08,
author = {Emiliano Lorini and
Andreas Herzig},
title = {A logic of intention and attempt},
journal = {Synth.},
volume = {163},
number = {1},
pages = {45--77},
year = {2008},
url = {https://doi.org/10.1007/s11229-008-9309-7},
doi = {10.1007/S11229-008-9309-7},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/synthese/LoriniH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/HerzigS08,
author = {Andreas Herzig and
Fran{\c{c}}ois Schwarzentruber},
editor = {Carlos Areces and
Robert Goldblatt},
title = {Properties of logics of individual and group agency},
booktitle = {Advances in Modal Logic 7, papers from the seventh conference on "Advances
in Modal Logic," held in Nancy, France, 9-12 September 2008},
pages = {133--149},
publisher = {College Publications},
year = {2008},
url = {http://www.aiml.net/volumes/volume7/Herzig-Schwarzentruber.pdf},
timestamp = {Wed, 17 Jan 2024 09:57:43 +0100},
biburl = {https://dblp.org/rec/conf/aiml/HerzigS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ausai/DitmarschHLM08,
author = {Hans P. van Ditmarsch and
Andreas Herzig and
J{\'{e}}r{\^{o}}me Lang and
Pierre Marquis},
editor = {Wayne Wobcke and
Mengjie Zhang},
title = {Introspective Forgetting},
booktitle = {{AI} 2008: Advances in Artificial Intelligence, 21st Australasian
Joint Conference on Artificial Intelligence, Auckland, New Zealand,
December 1-5, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5360},
pages = {18--29},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89378-3\_2},
doi = {10.1007/978-3-540-89378-3\_2},
timestamp = {Mon, 15 Feb 2021 14:16:47 +0100},
biburl = {https://dblp.org/rec/conf/ausai/DitmarschHLM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/BienvenuHQ08,
author = {Meghyn Bienvenu and
Andreas Herzig and
Guilin Qi},
editor = {Malik Ghallab and
Constantine D. Spyropoulos and
Nikos Fakotakis and
Nikolaos M. Avouris},
title = {Prime Implicate-based Belief Revision Operators},
booktitle = {{ECAI} 2008 - 18th European Conference on Artificial Intelligence,
Patras, Greece, July 21-25, 2008, Proceedings},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {178},
pages = {741--742},
publisher = {{IOS} Press},
year = {2008},
url = {https://doi.org/10.3233/978-1-58603-891-5-741},
doi = {10.3233/978-1-58603-891-5-741},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/BienvenuHQ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/HerzigM08,
author = {Andreas Herzig and
J{\'{e}}r{\^{o}}me Mengin},
editor = {Steffen H{\"{o}}lldobler and
Carsten Lutz and
Heinrich Wansing},
title = {Uniform Interpolation by Resolution in Modal Logic},
booktitle = {Logics in Artificial Intelligence, 11th European Conference, {JELIA}
2008, Dresden, Germany, September 28 - October 1, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5293},
pages = {219--231},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87803-2\_19},
doi = {10.1007/978-3-540-87803-2\_19},
timestamp = {Tue, 29 Dec 2020 18:34:12 +0100},
biburl = {https://dblp.org/rec/conf/jelia/HerzigM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kramas/HerzigLL08,
author = {Andreas Herzig and
Tiago de Lima and
Emiliano Lorini},
editor = {John{-}Jules Ch. Meyer and
Jan M. Broersen},
title = {On the Dynamics of Institutional Agreements},
booktitle = {Knowledge Representation for Agents and Multi-Agent Systems, First
International Workshop, {KRAMAS} 2008, Sydney, Australia, September
17, 2008, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5605},
pages = {66--80},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-05301-6\_5},
doi = {10.1007/978-3-642-05301-6\_5},
timestamp = {Fri, 28 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kramas/HerzigLL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/normas/HerzigLHBCDLV08,
author = {Andreas Herzig and
Emiliano Lorini and
Jomi Fred H{\"{u}}bner and
Jonathan Ben{-}Naim and
Cristiano Castelfranchi and
Robert Demolombe and
Dominique Longin and
Laurent Vercouter},
editor = {Guido Boella and
Gabriella Pigozzi and
Munindar P. Singh and
Harko Verhagen},
title = {Prolegomena for a Logic of Trust and Reputation},
booktitle = {Third International Workshop on Normative Multiagent Systems - NorMAS
2008, Luxembourg, July 15-16, 2008. Proceedings},
pages = {143--157},
year = {2008},
timestamp = {Tue, 20 Jan 2009 15:22:27 +0100},
biburl = {https://dblp.org/rec/conf/normas/HerzigLHBCDLV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/HerzigV07,
author = {Andreas Herzig and
Ivan Jos{\'{e}} Varzinczak},
title = {Metatheory of actions: Beyond consistency},
journal = {Artif. Intell.},
volume = {171},
number = {16-17},
pages = {951--984},
year = {2007},
url = {https://doi.org/10.1016/j.artint.2007.04.013},
doi = {10.1016/J.ARTINT.2007.04.013},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/HerzigV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/DitmarschH07,
author = {Hans P. van Ditmarsch and
Andreas Herzig},
title = {Foreword},
journal = {J. Appl. Non Class. Logics},
volume = {17},
number = {2},
pages = {125--128},
year = {2007},
url = {https://doi.org/10.1080/11663081.2007.9736573},
doi = {10.1080/11663081.2007.9736573},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/DitmarschH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ria/AdamHL07,
author = {Carole Adam and
Andreas Herzig and
Dominique Longin},
title = {PLEIAD, un agent {\'{e}}motionnel pour {\'{e}}valuer la
typologie {OCC}},
journal = {Rev. d'Intelligence Artif.},
volume = {21},
number = {5-6},
pages = {781--811},
year = {2007},
url = {https://doi.org/10.3166/ria.21.781-811},
doi = {10.3166/RIA.21.781-811},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ria/AdamHL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/DitmarschHL07,
author = {Hans P. van Ditmarsch and
Andreas Herzig and
Tiago de Lima},
title = {Optimal Regression for Reasoning about Knowledge and Actions},
booktitle = {Proceedings of the Twenty-Second {AAAI} Conference on Artificial Intelligence,
July 22-26, 2007, Vancouver, British Columbia, Canada},
pages = {1070--1076},
publisher = {{AAAI} Press},
year = {2007},
url = {http://www.aaai.org/Library/AAAI/2007/aaai07-170.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/DitmarschHL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/LoriniTHC07,
author = {Emiliano Lorini and
Nicolas Troquard and
Andreas Herzig and
Cristiano Castelfranchi},
editor = {Edmund H. Durfee and
Makoto Yokoo and
Michael N. Huhns and
Onn Shehory},
title = {Delegation and mental states},
booktitle = {6th International Joint Conference on Autonomous Agents and Multiagent
Systems {(AAMAS} 2007), Honolulu, Hawaii, USA, May 14-18, 2007},
pages = {153},
publisher = {{IFAAMAS}},
year = {2007},
url = {https://doi.org/10.1145/1329125.1329311},
doi = {10.1145/1329125.1329311},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atal/LoriniTHC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsqaru/AucherH07,
author = {Guillaume Aucher and
Andreas Herzig},
editor = {Khaled Mellouli},
title = {From {DEL} to {EDL} : Exploring the Power of Converse Events},
booktitle = {Symbolic and Quantitative Approaches to Reasoning with Uncertainty,
9th European Conference, {ECSQARU} 2007, Hammamet, Tunisia, October
31 - November 2, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4724},
pages = {199--209},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75256-1\_20},
doi = {10.1007/978-3-540-75256-1\_20},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecsqaru/AucherH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/BalbianiDHL07,
author = {Philippe Balbiani and
Hans P. van Ditmarsch and
Andreas Herzig and
Tiago de Lima},
editor = {Nicola Olivetti},
title = {A Tableau Method for Public Announcement Logics},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, 16th
International Conference, {TABLEAUX} 2007, Aix en Provence, France,
July 3-6, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4548},
pages = {43--59},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73099-6\_6},
doi = {10.1007/978-3-540-73099-6\_6},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/BalbianiDHL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tark/BalbianiBDHHL07,
author = {Philippe Balbiani and
Alexandru Baltag and
Hans P. van Ditmarsch and
Andreas Herzig and
Tomohiro Hoshi and
Tiago de Lima},
editor = {Dov Samet},
title = {What can we achieve by arbitrary announcements?: {A} dynamic take
on Fitch's knowability},
booktitle = {Proceedings of the 11th Conference on Theoretical Aspects of Rationality
and Knowledge (TARK-2007), Brussels, Belgium, June 25-27, 2007},
pages = {42--51},
year = {2007},
url = {https://doi.org/10.1145/1324249.1324259},
doi = {10.1145/1324249.1324259},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tark/BalbianiBDHHL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tark/BroersenHT07,
author = {Jan M. Broersen and
Andreas Herzig and
Nicolas Troquard},
editor = {Dov Samet},
title = {A normal simulation of coalition logic and an epistemic extension},
booktitle = {Proceedings of the 11th Conference on Theoretical Aspects of Rationality
and Knowledge (TARK-2007), Brussels, Belgium, June 25-27, 2007},
pages = {92--101},
year = {2007},
url = {https://doi.org/10.1145/1324249.1324264},
doi = {10.1145/1324249.1324264},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tark/BroersenHT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AucherBCH09,
author = {Guillaume Aucher and
Philippe Balbiani and
Luis Fari{\~{n}}as del Cerro and
Andreas Herzig},
editor = {Carlos Areces and
St{\'{e}}phane Demri},
title = {Global and Local Graph Modifiers},
booktitle = {Proceedings of the 5th Workshop on Methods for Modalities, {M4M} 2007,
Cachan, France, November 29-30, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {231},
pages = {293--307},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2009.02.042},
doi = {10.1016/J.ENTCS.2009.02.042},
timestamp = {Mon, 27 Feb 2023 09:39:46 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AucherBCH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/DitmarschHL07,
author = {Hans P. van Ditmarsch and
Andreas Herzig and
Tiago de Lima},
editor = {Giacomo Bonanno and
James P. Delgrande and
J{\'{e}}r{\^{o}}me Lang and
Hans Rott},
title = {Optimal Regression for Reasoning about Knowledge and Actions},
booktitle = {Formal Models of Belief Change in Rational Agents, 26.08. - 30.08.2007},
series = {Dagstuhl Seminar Proceedings},
volume = {07351},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2007},
url = {http://drops.dagstuhl.de/opus/volltexte/2007/1207},
timestamp = {Thu, 10 Jun 2021 13:02:04 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/DitmarschHL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0704-3238,
author = {Philippe Balbiani and
Andreas Herzig and
Nicolas Troquard},
title = {Alternative axiomatics and complexity of deliberative {STIT} theories},
journal = {CoRR},
volume = {abs/0704.3238},
year = {2007},
url = {http://arxiv.org/abs/0704.3238},
eprinttype = {arXiv},
eprint = {0704.3238},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0704-3238.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BroersenHT06,
author = {Jan M. Broersen and
Andreas Herzig and
Nicolas Troquard},
title = {Embedding Alternating-time Temporal Logic in Strategic {STIT} Logic
of Agency},
journal = {J. Log. Comput.},
volume = {16},
number = {5},
pages = {559--578},
year = {2006},
url = {https://doi.org/10.1093/logcom/exl025},
doi = {10.1093/LOGCOM/EXL025},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BroersenHT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/GasquetHS06,
author = {Olivier Gasquet and
Andreas Herzig and
Mohamad Sahade},
editor = {Guido Governatori and
Ian M. Hodkinson and
Yde Venema},
title = {Terminating modal tableaux with simple completeness proof},
booktitle = {Advances in Modal Logic 6, papers from the sixth conference on "Advances
in Modal Logic," held in Noosa, Queensland, Australia, on 25-28 September
2006},
pages = {167--186},
publisher = {College Publications},
year = {2006},
url = {http://www.aiml.net/volumes/volume6/Gasquet-Herzig-Sahade.ps},
timestamp = {Wed, 17 Jan 2024 09:57:50 +0100},
biburl = {https://dblp.org/rec/conf/aiml/GasquetHS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aimsa/AdamGHL06,
author = {Carole Adam and
Benoit Gaudou and
Andreas Herzig and
Dominique Longin},
editor = {J{\'{e}}r{\^{o}}me Euzenat and
John Domingue},
title = {OCC's Emotions: {A} Formalization in a {BDI} Logic},
booktitle = {Artificial Intelligence: Methodology, Systems, and Applications, 12th
International Conference, {AIMSA} 2006, Varna, Bulgaria, September
12-15, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4183},
pages = {24--32},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11861461\_5},
doi = {10.1007/11861461\_5},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/aimsa/AdamGHL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/HerzigT06,
author = {Andreas Herzig and
Nicolas Troquard},
editor = {Hideyuki Nakashima and
Michael P. Wellman and
Gerhard Weiss and
Peter Stone},
title = {Knowing how to play: uniform choices in logics of agency},
booktitle = {5th International Joint Conference on Autonomous Agents and Multiagent
Systems {(AAMAS} 2006), Hakodate, Japan, May 8-12, 2006},
pages = {209--216},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1160633.1160666},
doi = {10.1145/1160633.1160666},
timestamp = {Tue, 08 Mar 2022 10:12:47 +0100},
biburl = {https://dblp.org/rec/conf/atal/HerzigT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/GaudouHLN06,
author = {Benoit Gaudou and
Andreas Herzig and
Dominique Longin and
Matthias Nickles},
editor = {Gerhard Brewka and
Silvia Coradeschi and
Anna Perini and
Paolo Traverso},
title = {A New Semantics for the {FIPA} Agent Communication Language Based
on Social Attitudes},
booktitle = {{ECAI} 2006, 17th European Conference on Artificial Intelligence,
August 29 - September 1, 2006, Riva del Garda, Italy, Including Prestigious
Applications of Intelligent Systems {(PAIS} 2006), Proceedings},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {141},
pages = {245--249},
publisher = {{IOS} Press},
year = {2006},
url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=1684},
timestamp = {Tue, 13 Mar 2012 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecai/GaudouHLN06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/HerzigPV06,
author = {Andreas Herzig and
Laurent Perrussel and
Ivan Jos{\'{e}} Varzinczak},
editor = {Gerhard Brewka and
Silvia Coradeschi and
Anna Perini and
Paolo Traverso},
title = {Elaborating Domain Descriptions},
booktitle = {{ECAI} 2006, 17th European Conference on Artificial Intelligence,
August 29 - September 1, 2006, Riva del Garda, Italy, Including Prestigious
Applications of Intelligent Systems {(PAIS} 2006), Proceedings},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {141},
pages = {397--401},
publisher = {{IOS} Press},
year = {2006},
timestamp = {Wed, 25 Oct 2006 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/HerzigPV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iberamia/HerzigL06,
author = {Andreas Herzig and
Tiago de Lima},
editor = {Jaime Sim{\~{a}}o Sichman and
Helder Coelho and
Solange Oliveira Rezende},
title = {Epistemic Actions and Ontic Actions: {A} Unified Logical Framework},
booktitle = {Advances in Artificial Intelligence - {IBERAMIA-SBIA} 2006, 2nd International
Joint Conference, 10th Ibero-American Conference on AI, 18th Brazilian
{AI} Symposium, Ribeir{\~{a}}o Preto, Brazil, October 23-27, 2006,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4140},
pages = {409--418},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11874850\_45},
doi = {10.1007/11874850\_45},
timestamp = {Fri, 28 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iberamia/HerzigL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/BroersenHT06,
author = {Jan M. Broersen and
Andreas Herzig and
Nicolas Troquard},
editor = {Michael Fisher and
Wiebe van der Hoek and
Boris Konev and
Alexei Lisitsa},
title = {A STIT-Extension of {ATL}},
booktitle = {Logics in Artificial Intelligence, 10th European Conference, {JELIA}
2006, Liverpool, UK, September 13-15, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4160},
pages = {69--81},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11853886\_8},
doi = {10.1007/11853886\_8},
timestamp = {Fri, 03 Jun 2022 08:18:13 +0200},
biburl = {https://dblp.org/rec/conf/jelia/BroersenHT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/HerzigV06,
author = {Andreas Herzig and
Ivan Jos{\'{e}} Varzinczak},
editor = {Michael Fisher and
Wiebe van der Hoek and
Boris Konev and
Alexei Lisitsa},
title = {A Modularity Approach for a Fragment of \emph{ALC}},
booktitle = {Logics in Artificial Intelligence, 10th European Conference, {JELIA}
2006, Liverpool, UK, September 13-15, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4160},
pages = {216--228},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11853886\_19},
doi = {10.1007/11853886\_19},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/HerzigV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/LoriniHC06,
author = {Emiliano Lorini and
Andreas Herzig and
Cristiano Castelfranchi},
editor = {Michael Fisher and
Wiebe van der Hoek and
Boris Konev and
Alexei Lisitsa},
title = {Introducing \emph{Attempt} in a Modal Logic of Intentional Action},
booktitle = {Logics in Artificial Intelligence, 10th European Conference, {JELIA}
2006, Liverpool, UK, September 13-15, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4160},
pages = {280--292},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11853886\_24},
doi = {10.1007/11853886\_24},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/LoriniHC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfsma/AdamEGHL06,
author = {Carole Adam and
Fabrice Evrard and
Benoit Gaudou and
Andreas Herzig and
Dominique Longin},
editor = {Vincent Chevrier and
Marc{-}Philippe Huget},
title = {Mod{\'{e}}lisation logique d'agents rationnels pour l'intelligence
ambiante},
booktitle = {Systemes Multi-Agents, Articulation entre l'individuel et le collectif
- {JFSMA} 2006 - Quatorzieme journees francophones sur les systemes
multi-agents, Annecy, France, October 18-20, 2006},
pages = {81--94},
publisher = {Lavoisier},
year = {2006},
timestamp = {Mon, 13 Feb 2012 15:12:26 +0100},
biburl = {https://dblp.org/rec/conf/jfsma/AdamEGHL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/GaudouHL06,
author = {Benoit Gaudou and
Andreas Herzig and
Dominique Longin},
editor = {Patrick Doherty and
John Mylopoulos and
Christopher A. Welty},
title = {Grounding and the Expression of Belief},
booktitle = {Proceedings, Tenth International Conference on Principles of Knowledge
Representation and Reasoning, Lake District of the United Kingdom,
June 2-5, 2006},
pages = {221--229},
publisher = {{AAAI} Press},
year = {2006},
url = {http://www.aaai.org/Library/KR/2006/kr06-024.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/GaudouHL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0603034,
author = {Andreas Herzig and
Ivan Jos{\'{e}} Varzinczak},
title = {Metatheory of actions: beyond consistency},
journal = {CoRR},
volume = {abs/cs/0603034},
year = {2006},
url = {http://arxiv.org/abs/cs/0603034},
eprinttype = {arXiv},
eprint = {cs/0603034},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0603034.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/CerroGHS05,
author = {Luis Fari{\~{n}}as del Cerro and
Olivier Gasquet and
Andreas Herzig and
Mohamad Sahade},
editor = {Sergei N. Art{\"{e}}mov and
Howard Barringer and
Artur S. d'Avila Garcez and
Lu{\'{\i}}s C. Lamb and
John Woods},
title = {Modal Tableaux: Completeness vs. Termination},
booktitle = {We Will Show Them! Essays in Honour of Dov Gabbay, Volume One},
pages = {587--614},
publisher = {College Publications},
year = {2005},
timestamp = {Thu, 09 Jul 2020 09:13:39 +0200},
biburl = {https://dblp.org/rec/conf/birthday/CerroGHS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/HerzigV05,
author = {Andreas Herzig and
Ivan Jos{\'{e}} Varzinczak},
editor = {Leslie Pack Kaelbling and
Alessandro Saffiotti},
title = {Cohesion, coupling and the meta-theory of actions},
booktitle = {IJCAI-05, Proceedings of the Nineteenth International Joint Conference
on Artificial Intelligence, Edinburgh, Scotland, UK, July 30 - August
5, 2005},
pages = {442--447},
publisher = {Professional Book Center},
year = {2005},
url = {http://ijcai.org/Proceedings/05/Papers/1254.pdf},
timestamp = {Tue, 20 Aug 2019 16:16:29 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/HerzigV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/SchaffertBBDDEH05,
author = {Sebastian Schaffert and
Fran{\c{c}}ois Bry and
Philippe Besnard and
Hendrik Decker and
Stefan Decker and
Carlos F. Enguix and
Andreas Herzig},
editor = {Paulo Cesar G. da Costa and
Kathryn B. Laskey and
Kenneth J. Laskey and
Michael Pool},
title = {Paraconsistent Reasoning for the Semantic Web},
booktitle = {International Semantic Web Conference, {ISWC} 2005, Galway, Ireland,
Workshop 3: Uncertainty Reasoning for the Semantic Web, 7 November
2005},
pages = {104--105},
year = {2005},
timestamp = {Wed, 09 Nov 2005 11:05:02 +0100},
biburl = {https://dblp.org/rec/conf/semweb/SchaffertBBDDEH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/GasquetHLS05,
author = {Olivier Gasquet and
Andreas Herzig and
Dominique Longin and
Mohamad Sahade},
editor = {Bernhard Beckert},
title = {LoTREC: Logical Tableaux Research Engineering Companion},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
Conference, {TABLEAUX} 2005, Koblenz, Germany, September 14-17, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3702},
pages = {318--322},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11554554\_25},
doi = {10.1007/11554554\_25},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/GasquetHLS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BroersenHT06,
author = {Jan M. Broersen and
Andreas Herzig and
Nicolas Troquard},
editor = {Wiebe van der Hoek and
Alessio Lomuscio and
Erik P. de Vink and
Michael J. Wooldridge},
title = {From Coalition Logic to {STIT}},
booktitle = {Proceedings of the Third International Workshop on Logic and Communication
in Multi-Agent Systems, {LCMAS} 2005, Edinburgh, Scotland, UK, August
1, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {157},
number = {4},
pages = {23--35},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2006.02.011},
doi = {10.1016/J.ENTCS.2006.02.011},
timestamp = {Fri, 20 Jan 2023 12:26:26 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BroersenHT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GaudouHL06,
author = {Benoit Gaudou and
Andreas Herzig and
Dominique Longin},
editor = {Wiebe van der Hoek and
Alessio Lomuscio and
Erik P. de Vink and
Michael J. Wooldridge},
title = {A Logical Framework for Grounding-based Dialogue Analysis},
booktitle = {Proceedings of the Third International Workshop on Logic and Communication
in Multi-Agent Systems, {LCMAS} 2005, Edinburgh, Scotland, UK, August
1, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {157},
number = {4},
pages = {117--137},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2006.02.016},
doi = {10.1016/J.ENTCS.2006.02.016},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GaudouHL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/Herzig05,
author = {Andreas Herzig},
editor = {James P. Delgrande and
J{\'{e}}r{\^{o}}me Lang and
Hans Rott and
Jean{-}Marc Tallon},
title = {On updates with integrity constraints},
booktitle = {Belief Change in Rational Agents: Perspectives from Artificial Intelligence,
Philosophy, and Economics, 7.-12. August 2005},
series = {Dagstuhl Seminar Proceedings},
volume = {05321},
publisher = {Internationales Begegnungs- und Forschungszentrum f{\"{u}}r Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2005},
url = {http://drops.dagstuhl.de/opus/volltexte/2005/334},
timestamp = {Thu, 10 Jun 2021 13:02:06 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/Herzig05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/HerzigV04,
author = {Andreas Herzig and
Ivan Jos{\'{e}} Varzinczak},
editor = {Renate A. Schmidt and
Ian Pratt{-}Hartmann and
Mark Reynolds and
Heinrich Wansing},
title = {On the Modularity of Theories},
booktitle = {Advances in Modal Logic 5, papers from the fifth conference on "Advances
in Modal logic," held in Manchester, UK, 9-11 September 2004},
pages = {93--109},
publisher = {King's College Publications},
year = {2004},
url = {http://www.aiml.net/volumes/volume5/Herzig.ps},
timestamp = {Thu, 15 Feb 2024 11:49:43 +0100},
biburl = {https://dblp.org/rec/conf/aiml/HerzigV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clima/DastaniHHT04,
author = {Mehdi Dastani and
Andreas Herzig and
Joris Hulstijn and
Leendert W. N. van der Torre},
editor = {Jo{\~{a}}o Alexandre Leite and
Paolo Torroni},
title = {Inferring Trust},
booktitle = {Computational Logic in Multi-Agent Systems, 5th International Workshop,
{CLIMA} V, Lisbon, Portugal, September 29-30, 2004, Revised Selected
and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {3487},
pages = {144--160},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11533092\_9},
doi = {10.1007/11533092\_9},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/clima/DastaniHHT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deon/DemolombeH04,
author = {Robert Demolombe and
Andreas Herzig},
editor = {Alessio Lomuscio and
Donald Nute},
title = {Obligation Change in Dependence Logic and Situation Calculus},
booktitle = {Deontic Logic in Computer Science, 7th International Workshop on Deontic
Logic in Computer Science, {DEON} 2004, Madeira, Portugal, May 26-28,
2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3065},
pages = {57--73},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-25927-5\_6},
doi = {10.1007/978-3-540-25927-5\_6},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/deon/DemolombeH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/HerzigV04,
author = {Andreas Herzig and
Ivan Jos{\'{e}} Varzinczak},
editor = {Ram{\'{o}}n L{\'{o}}pez de M{\'{a}}ntaras and
Lorenza Saitta},
title = {Domain Descriptions Should Be Modular},
booktitle = {Proceedings of the 16th Eureopean Conference on Artificial Intelligence,
ECAI'2004, including Prestigious Applicants of Intelligent Systems,
{PAIS} 2004, Valencia, Spain, August 22-27, 2004},
pages = {348--352},
publisher = {{IOS} Press},
year = {2004},
timestamp = {Fri, 11 May 2018 12:42:30 +0200},
biburl = {https://dblp.org/rec/conf/ecai/HerzigV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/HerzigL04,
author = {Andreas Herzig and
Dominique Longin},
editor = {Didier Dubois and
Christopher A. Welty and
Mary{-}Anne Williams},
title = {C{\&}L Intention Revisited},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Ninth International Conference (KR2004), Whistler, Canada,
June 2-5, 2004},
pages = {527--535},
publisher = {{AAAI} Press},
year = {2004},
url = {http://www.aaai.org/Library/KR/2004/kr04-055.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/HerzigL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/HerzigV04,
author = {Andreas Herzig and
Ivan Jos{\'{e}} Varzinczak},
editor = {James P. Delgrande and
Torsten Schaub},
title = {Domain descriptions should be modular},
booktitle = {10th International Workshop on Non-Monotonic Reasoning {(NMR} 2004),
Whistler, Canada, June 6-8, 2004, Proceedings},
pages = {204--211},
year = {2004},
url = {http://www.pims.math.ca/science/2004/NMR/papers/paper27.pdf},
timestamp = {Fri, 02 Jul 2004 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nmr/HerzigV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Herzig03,
author = {Andreas Herzig},
title = {Modal Probability, Belief, and Actions},
journal = {Fundam. Informaticae},
volume = {57},
number = {2-4},
pages = {323--344},
year = {2003},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi57-2-4-10},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Herzig03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/CerroBH03,
author = {Luis Fari{\~{n}}as del Cerro and
Philippe Balbiani and
Andreas Herzig},
title = {Foreword},
journal = {J. Appl. Non Class. Logics},
volume = {13},
number = {1},
pages = {7--8},
year = {2003},
url = {https://doi.org/10.1080/11663081.2003.9736497},
doi = {10.1080/11663081.2003.9736497},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/CerroBH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/DemolombeHV03,
author = {Robert Demolombe and
Andreas Herzig and
Ivan Jos{\'{e}} Varzinczak},
title = {Regression in Modal Logic},
journal = {J. Appl. Non Class. Logics},
volume = {13},
number = {2},
pages = {165--185},
year = {2003},
url = {https://doi.org/10.3166/jancl.13.165-185},
doi = {10.3166/JANCL.13.165-185},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/DemolombeHV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsqaru/HerzigL03,
author = {Andreas Herzig and
Dominique Longin},
editor = {Thomas D. Nielsen and
Nevin Lianwen Zhang},
title = {On Modal Probability and Belief},
booktitle = {Symbolic and Quantitative Approaches to Reasoning with Uncertainty,
7th European Conference, {ECSQARU} 2003, Aalborg, Denmark, July 2-5,
2003. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2711},
pages = {62--73},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45062-7\_5},
doi = {10.1007/978-3-540-45062-7\_5},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecsqaru/HerzigL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsqaru/HerzigKP03,
author = {Andreas Herzig and
S{\'{e}}bastien Konieczny and
Laurent Perrussel},
editor = {Thomas D. Nielsen and
Nevin Lianwen Zhang},
title = {On Iterated Revision in the {AGM} Framework},
booktitle = {Symbolic and Quantitative Approaches to Reasoning with Uncertainty,
7th European Conference, {ECSQARU} 2003, Aalborg, Denmark, July 2-5,
2003. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2711},
pages = {477--488},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45062-7\_39},
doi = {10.1007/978-3-540-45062-7\_39},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecsqaru/HerzigKP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/HerzigLM03,
author = {Andreas Herzig and
J{\'{e}}r{\^{o}}me Lang and
Pierre Marquis},
editor = {Georg Gottlob and
Toby Walsh},
title = {Action representation and partially observable planning using epistemic
logic},
booktitle = {IJCAI-03, Proceedings of the Eighteenth International Joint Conference
on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003},
pages = {1067--1072},
publisher = {Morgan Kaufmann},
year = {2003},
url = {http://ijcai.org/Proceedings/03/Papers/153.pdf},
timestamp = {Tue, 20 Aug 2019 16:18:41 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/HerzigLM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/HerzigL02,
author = {Andreas Herzig and
Dominique Longin},
title = {A logic of intention with cooperation principles and with assertive
speech acts as communication primitives},
booktitle = {The First International Joint Conference on Autonomous Agents {\&}
Multiagent Systems, {AAMAS} 2002, July 15-19, 2002, Bologna, Italy,
Proceedings},
pages = {920--927},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/544862.544954},
doi = {10.1145/544862.544954},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atal/HerzigL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/AszalosH02,
author = {L{\'{a}}szl{\'{o}} Aszal{\'{o}}s and
Andreas Herzig},
title = {A logic for semi-public communication in multi-agent systems},
booktitle = {The First International Joint Conference on Autonomous Agents {\&}
Multiagent Systems, {AAMAS} 2002, July 15-19, 2002, Bologna, Italy,
Proceedings},
pages = {950--951},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/544862.544963},
doi = {10.1145/544862.544963},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atal/AszalosH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/HerzigL02,
author = {Andreas Herzig and
Dominique Longin},
editor = {Frank van Harmelen},
title = {Sensing and revision in a modal logic of belief and action},
booktitle = {Proceedings of the 15th European Conference on Artificial Intelligence,
ECAI'2002, Lyon, France, July 2002},
pages = {307--311},
publisher = {{IOS} Press},
year = {2002},
timestamp = {Mon, 03 Jan 2022 07:50:19 +0100},
biburl = {https://dblp.org/rec/conf/ecai/HerzigL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/CastilhoHV02,
author = {Marcos A. Castilho and
Andreas Herzig and
Ivan Jos{\'{e}} Varzinczak},
editor = {Salem Benferhat and
Enrico Giunchiglia},
title = {It depends on the context! {A} decidable logic of actions and plans
based on a ternary dependence relation},
booktitle = {9th International Workshop on Non-Monotonic Reasoning {(NMR} 2002),
April 19-21, Toulouse, France, Proceedings},
pages = {343--348},
year = {2002},
timestamp = {Fri, 02 Jul 2004 15:43:11 +0200},
biburl = {https://dblp.org/rec/conf/nmr/CastilhoHV02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/CerroFGHLM01,
author = {Luis Fari{\~{n}}as del Cerro and
David Fauthoux and
Olivier Gasquet and
Andreas Herzig and
Dominique Longin and
Fabio Massacci},
editor = {Rajeev Gor{\'{e}} and
Alexander Leitsch and
Tobias Nipkow},
title = {Lotrec : The Generic Tableau Prover for Modal and Description Logics},
booktitle = {Automated Reasoning, First International Joint Conference, {IJCAR}
2001, Siena, Italy, June 18-23, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2083},
pages = {453--458},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45744-5\_38},
doi = {10.1007/3-540-45744-5\_38},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/CerroFGHLM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esaw/AszalosH01,
author = {L{\'{a}}szl{\'{o}} Aszal{\'{o}}s and
Andreas Herzig},
editor = {Andrea Omicini and
Paolo Petta and
Robert Tolksdorf},
title = {Reasoning about Failure},
booktitle = {Engineering Societies in the Agents World II, Second International
Workshop, {ESAW} 2001, Prague, Czech Republic, July 7, 2001, Revised
Papers},
series = {Lecture Notes in Computer Science},
volume = {2203},
pages = {74--85},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45584-1\_6},
doi = {10.1007/3-540-45584-1\_6},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/esaw/AszalosH01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/HerzigLMP01,
author = {Andreas Herzig and
J{\'{e}}r{\^{o}}me Lang and
Pierre Marquis and
Thomas Polacsek},
editor = {Bernhard Nebel},
title = {Updates, actions, and planning},
booktitle = {Proceedings of the Seventeenth International Joint Conference on Artificial
Intelligence, {IJCAI} 2001, Seattle, Washington, USA, August 4-10,
2001},
pages = {119--124},
publisher = {Morgan Kaufmann},
year = {2001},
timestamp = {Tue, 20 Aug 2019 16:18:14 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/HerzigLMP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsemantics/HerzigL00,
author = {Andreas Herzig and
Dominique Longin},
title = {Belief Dynamics in Cooperative Dialogues},
journal = {J. Semant.},
volume = {17},
number = {2},
pages = {91--115},
year = {2000},
url = {https://doi.org/10.1093/jos/17.2.91},
doi = {10.1093/JOS/17.2.91},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsemantics/HerzigL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/HerzigLLP00,
author = {Andreas Herzig and
J{\'{e}}r{\^{o}}me Lang and
Dominique Longin and
Thomas Polacsek},
editor = {Henry A. Kautz and
Bruce W. Porter},
title = {A Logic for Planning under Partial Observability},
booktitle = {Proceedings of the Seventeenth National Conference on Artificial Intelligence
and Twelfth Conference on on Innovative Applications of Artificial
Intelligence, July 30 - August 3, 2000, Austin, Texas, {USA}},
pages = {768--773},
publisher = {{AAAI} Press / The {MIT} Press},
year = {2000},
url = {http://www.aaai.org/Library/AAAI/2000/aaai00-118.php},
timestamp = {Tue, 05 Sep 2023 09:10:47 +0200},
biburl = {https://dblp.org/rec/conf/aaai/HerzigLLP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/HerzigLP00,
author = {Andreas Herzig and
J{\'{e}}r{\^{o}}me Lang and
Thomas Polacsek},
editor = {Werner Horn},
title = {A modal logic for epistemic tests},
booktitle = {{ECAI} 2000, Proceedings of the 14th European Conference on Artificial
Intelligence, Berlin, Germany, August 20-25, 2000},
pages = {553--557},
publisher = {{IOS} Press},
year = {2000},
timestamp = {Wed, 10 Apr 2013 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/HerzigLP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/HerzigR99,
author = {Andreas Herzig and
Omar Rifi},
title = {Propositional Belief Base Update and Minimal Change},
journal = {Artif. Intell.},
volume = {115},
number = {1},
pages = {107--138},
year = {1999},
url = {https://doi.org/10.1016/S0004-3702(99)00072-7},
doi = {10.1016/S0004-3702(99)00072-7},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/HerzigR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/CastilhoGH99,
author = {Marcos A. Castilho and
Olivier Gasquet and
Andreas Herzig},
title = {Formalizing Action and Change in Modal Logic {I:} the frame problem},
journal = {J. Log. Comput.},
volume = {9},
number = {5},
pages = {701--735},
year = {1999},
url = {https://doi.org/10.1093/logcom/9.5.701},
doi = {10.1093/LOGCOM/9.5.701},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/CastilhoGH99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/hmd/BohnerHH98,
author = {Andreas B{\"{o}}hner and
Georges Hauenstein and
Andreas Herzig},
title = {Euro-Umstellung bei der GfA},
journal = {{HMD} Prax. Wirtsch.},
volume = {201},
year = {1998},
url = {http://hmd.dpunkt.de/201/06.html},
timestamp = {Fri, 27 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/hmd/BohnerHH98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/CastilhoCGH98,
author = {Marcos A. Castilho and
Luis Fari{\~{n}}as del Cerro and
Olivier Gasquet and
Andreas Herzig},
editor = {Ewa Orlowska and
Andrzej Szalas},
title = {Modal tableaux based on graph-rules},
booktitle = {Participants Copies for Relational Methods in Logic, Algebra and Computer
Science, 4th International Seminar RelMiCS, Warsaw, Poland, Septermber
14-20, 1998},
pages = {37--42},
year = {1998},
timestamp = {Thu, 03 Jan 2002 12:07:55 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/CastilhoCGH98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aimsa/CerroHLR98,
author = {Luis Fari{\~{n}}as del Cerro and
Andreas Herzig and
Dominique Longin and
Omar Rifi},
editor = {Fausto Giunchiglia},
title = {Belief Reconstruction in Cooperative Dialogues},
booktitle = {Artificial Intelligence: Methodology, Systems, and Applications, 8th
International Conference, {AIMSA} '98, Sozopol, Bulgaria, September
21-13, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1480},
pages = {254--266},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0057450},
doi = {10.1007/BFB0057450},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/aimsa/CerroHLR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/HerzigR98,
author = {Andreas Herzig and
Omar Rifi},
editor = {Henri Prade},
title = {Update Operations: {A} Review},
booktitle = {13th European Conference on Artificial Intelligence, Brighton, UK,
August 23-28 1998, Proceedings.},
pages = {13--17},
publisher = {John Wiley and Sons},
year = {1998},
timestamp = {Wed, 31 Jul 2019 08:45:03 +0200},
biburl = {https://dblp.org/rec/conf/ecai/HerzigR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/CastilhoCGH97,
author = {Marcos A. Castilho and
Luis Fari{\~{n}}as del Cerro and
Olivier Gasquet and
Andreas Herzig},
title = {Modal Tableaux with Propagation Rules and Structural Rules},
journal = {Fundam. Informaticae},
volume = {32},
number = {3-4},
pages = {281--297},
year = {1997},
url = {https://doi.org/10.3233/FI-1997-323404},
doi = {10.3233/FI-1997-323404},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/CastilhoCGH97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecp/CastilhoGH97,
author = {Marcos A. Castilho and
Olivier Gasquet and
Andreas Herzig},
editor = {Sam Steel and
Rachid Alami},
title = {Modal Tableaux for Reasoning About Actions and Plans},
booktitle = {Recent Advances in {AI} Planning, 4th European Conference on Planning,
ECP'97, Toulouse, France, September 24-26, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1348},
pages = {104--116},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63912-8\_79},
doi = {10.1007/3-540-63912-8\_79},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/ecp/CastilhoGH97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsqaru/Herzig97,
author = {Andreas Herzig},
editor = {Dov M. Gabbay and
Rudolf Kruse and
Andreas Nonnengart and
Hans J{\"{u}}rgen Ohlbach},
title = {How to Change Factual Beliefs Using Laws and Dependence Information},
booktitle = {Qualitative and Quantitative Practical Reasoning, First International
Joint Conference on Qualitative and Quantitative Practical Reasoning
ECSQARU-FAPR'97, Bad Honnef, Germany, June 9-12, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1244},
pages = {311--321},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0035631},
doi = {10.1007/BFB0035631},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecsqaru/Herzig97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/DuboisCHP97,
author = {Didier Dubois and
Luis Fari{\~{n}}as del Cerro and
Andreas Herzig and
Henri Prade},
title = {Qualitative Relevance and Independence: {A} Roadmap},
booktitle = {Proceedings of the Fifteenth International Joint Conference on Artificial
Intelligence, {IJCAI} 97, Nagoya, Japan, August 23-29, 1997, 2 Volumes},
pages = {62--67},
publisher = {Morgan Kaufmann},
year = {1997},
url = {http://ijcai.org/Proceedings/97-1/Papers/011.pdf},
timestamp = {Tue, 20 Aug 2019 16:17:27 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/DuboisCHP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fapr/CerroDH96,
author = {Luis Fari{\~{n}}as del Cerro and
Antonio Frias Delgado and
Andreas Herzig},
editor = {Dov M. Gabbay and
Hans J{\"{u}}rgen Ohlbach},
title = {Talkin'bout Consistency, or: When Logically Possible Becomes Possible},
booktitle = {Practical Reasoning, International Conference on Formal and Applied
Practical Reasoning, {FAPR} '96, Bonn, Germany, June 3-7, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1085},
pages = {141--150},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61313-7\_69},
doi = {10.1007/3-540-61313-7\_69},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/fapr/CerroDH96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/CerroH96,
author = {Luis Fari{\~{n}}as del Cerro and
Andreas Herzig},
editor = {Franz Baader and
Klaus U. Schulz},
title = {Combinig Classical and Intuitionistic Logic, or: Intuitionistic Implication
as a Conditional},
booktitle = {Frontiers of Combining Systems, First International Workshop FroCoS
1996, Munich, Germany, March 26-29, 1996, Proceedings},
series = {Applied Logic Series},
volume = {3},
pages = {93--102},
publisher = {Kluwer Academic Publishers},
year = {1996},
timestamp = {Mon, 20 Mar 2017 13:54:49 +0100},
biburl = {https://dblp.org/rec/conf/frocos/CerroH96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Herzig96,
author = {Andreas Herzig},
editor = {Luigia Carlucci Aiello and
Jon Doyle and
Stuart C. Shapiro},
title = {The {PMA} Revisited},
booktitle = {Proceedings of the Fifth International Conference on Principles of
Knowledge Representation and Reasoning (KR'96), Cambridge, Massachusetts,
USA, November 5-8, 1996},
pages = {40--50},
publisher = {Morgan Kaufmann},
year = {1996},
timestamp = {Fri, 18 May 2012 15:03:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Herzig96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tark/CerroH96,
author = {Luis Fari{\~{n}}as del Cerro and
Andreas Herzig},
editor = {Yoav Shoham},
title = {Belief Change and Dependence},
booktitle = {Proceedings of the Sixth Conference on Theoretical Aspects of Rationality
and Knowledge, De Zeeuwse Stromen, The Netherlands, March 17-20 1996},
pages = {147--161},
publisher = {Morgan Kaufmann},
year = {1996},
timestamp = {Thu, 23 Jun 2016 15:53:28 +0200},
biburl = {https://dblp.org/rec/conf/tark/CerroH96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/lai/CerroH96,
author = {Luis Fari{\~{n}}as del Cerro and
Andreas Herzig},
editor = {Andr{\'{e}} Fuhrmann and
Hans Rott},
title = {Revisions, Updated, and Interference},
booktitle = {Logic, Action, and Information - Essays on Logic in Philosophy and
Artificial Intelligence. Walter de Gruyter, Berlin, New York, 1996
(Based on a meeting held in autumn 1992 in Konstanz, Germany)},
pages = {189--207},
publisher = {De Gruyter},
year = {1996},
timestamp = {Mon, 05 Oct 2020 12:53:08 +0200},
biburl = {https://dblp.org/rec/conf/lai/CerroH96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/CerroHL94,
author = {Luis Fari{\~{n}}as del Cerro and
Andreas Herzig and
J{\'{e}}r{\^{o}}me Lang},
title = {From Ordering-Based Nonmonotonic Reasoning to Conditional Logics},
journal = {Artif. Intell.},
volume = {66},
number = {2},
pages = {375--393},
year = {1994},
url = {https://doi.org/10.1016/0004-3702(94)90031-0},
doi = {10.1016/0004-3702(94)90031-0},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/CerroHL94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijis/CerroH94,
author = {Luis Fari{\~{n}}as del Cerro and
Andreas Herzig},
title = {Interference logic = conditional logic + frame axiom},
journal = {Int. J. Intell. Syst.},
volume = {9},
number = {1},
pages = {119--130},
year = {1994},
url = {https://doi.org/10.1002/int.4550090107},
doi = {10.1002/INT.4550090107},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijis/CerroH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/BalbianiH94,
author = {Philippe Balbiani and
Andreas Herzig},
title = {A translation from the modal logic of provability into {K4}},
journal = {J. Appl. Non Class. Logics},
volume = {4},
number = {1},
pages = {73--77},
year = {1994},
url = {https://doi.org/10.1080/11663081.1994.10510818},
doi = {10.1080/11663081.1994.10510818},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/BalbianiH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipmu/CerroH94,
author = {Luis Fari{\~{n}}as del Cerro and
Andreas Herzig},
editor = {Bernadette Bouchon{-}Meunier and
Ronald R. Yager and
Lotfi A. Zadeh},
title = {Possibility Theory and Independence},
booktitle = {Advances in Intelligent Computing - IPMU'94, 5th International Conference
on Processing and Management of Uncertainty in Knowledge-Based Systems,
Paris, France, July 4-8, 1994, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {945},
pages = {292--301},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0035962},
doi = {10.1007/BFB0035962},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ipmu/CerroH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipmu/GasquetH94,
author = {Olivier Gasquet and
Andreas Herzig},
editor = {Bernadette Bouchon{-}Meunier and
Ronald R. Yager and
Lotfi A. Zadeh},
title = {Translation-Based Deduction Methods for Modal Logics},
booktitle = {Advances in Intelligent Computing - IPMU'94, 5th International Conference
on Processing and Management of Uncertainty in Knowledge-Based Systems,
Paris, France, July 4-8, 1994, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {945},
pages = {399--408},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0035973},
doi = {10.1007/BFB0035973},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ipmu/GasquetH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/CerroH94,
author = {Luis Fari{\~{n}}as del Cerro and
Andreas Herzig},
editor = {Bernhard Nebel and
Leonie S. Dreschler{-}Fischer},
title = {A Conditional Logic for Updating in the Possible Models Approach},
booktitle = {{KI-94:} Advances in Artificial Intelligence, 18th Annual German Conference
on Artificial Intelligence, Saarbr{\"{u}}cken, Germany, September
18-23, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {861},
pages = {237--247},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58467-6\_21},
doi = {10.1007/3-540-58467-6\_21},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ki/CerroH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uai/DuboisCHP94,
author = {Didier Dubois and
Luis Fari{\~{n}}as del Cerro and
Andreas Herzig and
Henri Prade},
editor = {Ram{\'{o}}n L{\'{o}}pez de M{\'{a}}ntaras and
David Poole},
title = {An Ordinal View of Independence with Application to Plausible Reasoning},
booktitle = {{UAI} '94: Proceedings of the Tenth Annual Conference on Uncertainty
in Artificial Intelligence, Seattle, Washington, USA, July 29-31,
1994},
pages = {195--203},
publisher = {Morgan Kaufmann},
year = {1994},
url = {https://dslpitt.org/uai/displayArticleDetails.jsp?mmnu=1\&\#38;smnu=2\&\#38;article\_id=504\&\#38;proceeding\_id=10},
timestamp = {Wed, 03 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/uai/DuboisCHP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsqaru/CerroH93,
author = {Luis Fari{\~{n}}as del Cerro and
Andreas Herzig},
editor = {Michael Clarke and
Rudolf Kruse and
Seraf{\'{\i}}n Moral},
title = {Interference Logic = Conditional Logic + Frame Axiom},
booktitle = {Symbolic and Quantitative Approaches to Reasoning and Uncertainty,
European Conference, ECSQARU'93, Granada, Spain, November 8-10, 1993,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {747},
pages = {105--112},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0028189},
doi = {10.1007/BFB0028189},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecsqaru/CerroH93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsqaru/GasquetH93,
author = {Olivier Gasquet and
Andreas Herzig},
editor = {Michael Clarke and
Rudolf Kruse and
Seraf{\'{\i}}n Moral},
title = {Translating Inaccessible Worlds Logic into Bimodal Logic},
booktitle = {Symbolic and Quantitative Approaches to Reasoning and Uncertainty,
European Conference, ECSQARU'93, Granada, Spain, November 8-10, 1993,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {747},
pages = {145--150},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0028194},
doi = {10.1007/BFB0028194},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecsqaru/GasquetH93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/CerroHL92,
author = {Luis Fari{\~{n}}as del Cerro and
Andreas Herzig and
J{\'{e}}r{\^{o}}me Lang},
editor = {Bernd Neumann},
title = {From Ordering Based Nonmonotonic Reasoning to Conditional Logics},
booktitle = {10th European Conference on Artificial Intelligence, {ECAI} 92, Vienna,
Austria, August 3-7, 1992. Proceedings},
pages = {314--318},
publisher = {John Wiley and Sons},
year = {1992},
timestamp = {Wed, 31 Jul 2019 08:44:58 +0200},
biburl = {https://dblp.org/rec/conf/ecai/CerroHL92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fgcs/AlliotHL92,
author = {Jean{-}Marc Alliot and
Andreas Herzig and
Mamede Lima{-}Marques},
title = {Implementing Prolog Extensions: a Parallel Inference Machine},
booktitle = {Proceedings of the International Conference on Fifth Generation Computer
Systems. {FGCS} 1992, June 1-5, Tokyo, Japan},
pages = {833--842},
publisher = {{IOS} Press},
year = {1992},
timestamp = {Wed, 31 Jul 2019 10:45:39 +0200},
biburl = {https://dblp.org/rec/conf/fgcs/AlliotHL92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/meta/CerroH92,
author = {Luis Fari{\~{n}}as del Cerro and
Andreas Herzig},
editor = {Alberto Pettorossi},
title = {Metaprogramming Through Intensional Deduction: Some Examples},
booktitle = {Meta-Programming in Logic, 3rd International Workshop, META-92, Uppsala,
Sweden, June 10-12, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {649},
pages = {11--25},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56282-6\_2},
doi = {10.1007/3-540-56282-6\_2},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/meta/CerroH92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsqaru/CerroH91,
author = {Luis Fari{\~{n}}as del Cerro and
Andreas Herzig},
editor = {Rudolf Kruse and
Pierre Siegel},
title = {A Modal Analysis of Possibility Theory},
booktitle = {Symbolic and Quantitative Approaches to Reasoning and Uncertainty,
European Conference, ECSQAU, Marseille, France, October 15-17, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {548},
pages = {58--62},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54659-6\_66},
doi = {10.1007/3-540-54659-6\_66},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecsqaru/CerroH91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fair/CerroH91,
author = {Luis Fari{\~{n}}as del Cerro and
Andreas Herzig},
editor = {Philippe Jorrand and
Jozef Kelemen},
title = {A modal analysis of possibility theory},
booktitle = {Fundamentals of Artificial Intelligence Research, International Workshop
{FAIR} '91, Smolenice, Czechoslovakia, September 8-13, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {535},
pages = {11--18},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54507-7\_2},
doi = {10.1007/3-540-54507-7\_2},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/fair/CerroH91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/OhlbachH91,
author = {Hans J{\"{u}}rgen Ohlbach and
Andreas Herzig},
editor = {John Mylopoulos and
Raymond Reiter},
title = {Parameter Structures for Parametrized Modal Operators},
booktitle = {Proceedings of the 12th International Joint Conference on Artificial
Intelligence. Sydney, Australia, August 24-30, 1991},
pages = {512--517},
publisher = {Morgan Kaufmann},
year = {1991},
url = {http://ijcai.org/Proceedings/91-1/Papers/079.pdf},
timestamp = {Tue, 20 Aug 2019 16:18:13 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/OhlbachH91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdk/BalbianiHM91,
author = {Philippe Balbiani and
Andreas Herzig and
Mamede Lima{-}Marques},
editor = {Harold Boley and
Michael M. Richter},
title = {{TIM:} The Toulouse Inference Machine for Non-Classical Logic Programming},
booktitle = {Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern,
Germany, July 1-3, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {567},
pages = {366--382},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0013544},
doi = {10.1007/BFB0013544},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pdk/BalbianiHM91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/OhlbachH90,
author = {Hans J{\"{u}}rgen Ohlbach and
Andreas Herzig},
editor = {Mark E. Stickel},
title = {Tutorial on Compilation techniques for Logics},
booktitle = {10th International Conference on Automated Deduction, Kaiserslautern,
FRG, July 24-27, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {449},
pages = {683},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52885-7\_144},
doi = {10.1007/3-540-52885-7\_144},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/OhlbachH90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/CerroH90,
author = {Luis Fari{\~{n}}as del Cerro and
Andreas Herzig},
title = {Deterministic Modal Logics for Automated Deduction},
booktitle = {9th European Conference on Artificial Intelligence, {ECAI} 1990, Stockholm,
Sweden, 1990},
pages = {262--267},
year = {1990},
timestamp = {Tue, 30 Jul 2019 13:42:21 +0200},
biburl = {https://dblp.org/rec/conf/ecai/CerroH90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/BibelCFH89,
author = {Wolfgang Bibel and
Luis Fari{\~{n}}as del Cerro and
Bertram Fronh{\"{o}}fer and
Andreas Herzig},
editor = {Dieter Metzing},
title = {Plan Generation by Linear Proofs: On Semantics},
booktitle = {GWAI-89, 13th German Workshop on Artificial Intelligence, Eringerfeld,
Germany, 18.-22. September 1989, Proceedings},
series = {Informatik-Fachberichte},
volume = {216},
pages = {49--62},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/978-3-642-75100-4\_7},
doi = {10.1007/978-3-642-75100-4\_7},
timestamp = {Wed, 11 Jul 2018 09:53:03 +0200},
biburl = {https://dblp.org/rec/conf/ki/BibelCFH89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/CerroH88,
author = {Luis Fari{\~{n}}as del Cerro and
Andreas Herzig},
editor = {Ewing L. Lusk and
Ross A. Overbeek},
title = {Linear Modal Deductions},
booktitle = {9th International Conference on Automated Deduction, Argonne, Illinois,
USA, May 23-26, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {310},
pages = {487--499},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/BFb0012851},
doi = {10.1007/BFB0012851},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/CerroH88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BieberCH88,
author = {Pierre Bieber and
Luis Fari{\~{n}}as del Cerro and
Andreas Herzig},
editor = {Ewing L. Lusk and
Ross A. Overbeek},
title = {{MOLOG:} a Modal {PROLOG}},
booktitle = {9th International Conference on Automated Deduction, Argonne, Illinois,
USA, May 23-26, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {310},
pages = {762--763},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/BFb0012886},
doi = {10.1007/BFB0012886},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/BieberCH88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fgcs/BalbianiCH88,
author = {Philippe Balbiani and
Luis Fari{\~{n}}as del Cerro and
Andreas Herzig},
title = {Declarative Semantics for Modal Logic Programs},
booktitle = {Proceedings of the International Conference on Fifth Generation Computer
Systems, {FGCS} 1988, Tokyo, Japan, November 28-December 2, 1988},
pages = {507--514},
publisher = {{OHMSHA} Ltd. Tokyo and Springer-Verlag},
year = {1988},
timestamp = {Mon, 05 Aug 2019 17:00:40 +0200},
biburl = {https://dblp.org/rec/conf/fgcs/BalbianiCH88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-03 20:26 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
