← Authors

Andreas Herzig

16 papers · 2015–2025 · 2 conferences · across top CS/AI conferences

Achievements

🐣 Hot Topic Early Bird 🧭 Keyword Pioneer 🌈 Renaissance Researcher (5) πŸ—ΊοΈ Taxonomy Completionist (17) πŸŒ‰ Interdisciplinary Bridge 🌍 Conference Polyglot (2) πŸƒ Academic Marathon (10) 🐝 Cross-Pollinator (3) πŸ’Ž Century Club (16) πŸ“ˆ Trend Setter πŸ—ƒοΈ Keyword Collector (64)

Conferences

IJCAI (12) AAAI (4)

Top co-authors

Emiliano Lorini (4) FrΓ©dΓ©ric Maris (2) Elise Perrotin (2) Zhanhao Xiao (2) Hai Wan (2) Francesco Belardinelli (2) Laurent Perrussel (2) Maria Vanina Martinez (1) Ezgi Iraz Su (1) Jonathan Ben-Naim (1)

Keywords

belief revision (4) modal logic (3) model checking (3) formal verification (2) hierarchical task network (2) automated planning (2) multi-agent system (2) task insertion (2) epistemic logic (2) dynamic epistemic logic (2) dynamic logic (2) sat solver (1) task decomposition (1) knowledge representation (1) planning algorithm (1) preference modeling (1) automated reasoning (1) propositional logic (1) hierarchical task network planning (1) plan existence (1)

Papers

Minimal Change in Modal Logic S5 AAAI 2025
On the Logic of Theory Base Change: Reformulation of Belief Bases AAAI 2025
Towards Epistemic-Doxastic Planning with Observation and Revision AAAI 2024
A Computationally Grounded Logic of 'Seeing-to-it-that' IJCAI 2022
Multi-Agent Abstract Argumentation Frameworks With Incomplete Knowledge of Attacks IJCAI 2021
Refining HTN Methods via Task Insertion with Preferences AAAI 2020
TouIST: a Friendly Language for Propositional Logic and More IJCAI 2020
Stratified Evidence Logics IJCAI 2019
Dynamic logic of parallel propositional assignments and its applications to planning IJCAI 2019
Non-Determinism and the Dynamics of Knowledge IJCAI 2017
Hierarchical Task Network Planning with Task Insertion and State Constraints IJCAI 2017
Dynamic Logic for Data-aware Systems: Decidability Results IJCAI 2017
Strategically knowing how IJCAI 2017
On Logics of Strategic Ability Based on Propositional Control IJCAI 2016
Epistemic Boolean Games Based on a Logic of Visibility and Control IJCAI 2016
Epistemic Equilibrium Logic IJCAI 2015