57 citations · 105 across the 13 of their papers we have counts for
15 papers
Reasoning About Action and Change
Florence Dupin de Saint-Cyr, Andreas Herzig, Jérôme Lang +1
The purpose of this book is to provide an overview of AI research, ranging from basic work to interfaces and applications, with as much emphasis on results as on current issues. It…
Qualitative uncertainty and dynamics of argumentation through dynamic logic
Antonio Yuste-Ginel, Andreas Herzig
Dynamics and uncertainty are essential features of real-life argumentation, and many recent studies have focused on integrating both aspects into Dung's well-known abstract Argumen…
Resource separation in dynamic logic of propositional assignments
Joseph Boudou, Andreas Herzig, Nicolas Troquard
We extend dynamic logic of propositional assignments by adding an operator of parallel composition that is inspired by separation logics. We provide an axiomatisation via reduction…
Solving Gossip Problems using Answer Set Programming: An Epistemic Planning Approach
Esra Erdem, Andreas Herzig
We investigate the use of Answer Set Programming to solve variations of gossip problems, by modeling them as epistemic planning problems.
Refining HTN Methods via Task Insertion with Preferences
Zhanhao Xiao, Hai Wan, Hankui Hankz Zhuo +3
Hierarchical Task Network (HTN) planning is showing its power in real-world planning. Although domain experts have partial hierarchical domain knowledge, it is time-consuming to sp…
Frame-validity games and lower bounds on the complexity of modal axioms
Philippe Balbiani, David Fernández-Duque, Andreas Herzig +1
We introduce frame-equivalence games tailored for reasoning about the size, modal depth, number of occurrences of symbols and number of different propositional variables of modal f…