Andreas Herzig
16 papers · 2015–2025 · 2 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+4 more ↓ Show less ↑
🏃 Academic Marathon · Half 🐣 Hot Topic Early Bird 🌉 Interdisciplinary Bridge · Silver 🌍 Conference Polyglot · Bronze 🗺️ Taxonomy Completionist (17)
🧭
Keyword Pioneer
📈
Trend Setter
💎
Century Club · Bronze
🗃️
Keyword Collector
(63)
Venues
Top co-authors
Research topics
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
Dynamic logic of parallel propositional assignments and its applications to planning
IJCAI 2019
Stratified Evidence Logics
IJCAI 2019
Dynamic Logic for Data-aware Systems: Decidability Results
IJCAI 2017
Hierarchical Task Network Planning with Task Insertion and State Constraints
IJCAI 2017
Non-Determinism and the Dynamics of Knowledge
IJCAI 2017
Strategically knowing how
IJCAI 2017
Epistemic Boolean Games Based on a Logic of Visibility and Control
IJCAI 2016
On Logics of Strategic Ability Based on Propositional Control
IJCAI 2016
Epistemic Equilibrium Logic
IJCAI 2015