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
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
Stratified Evidence Logics
IJCAI 2019
Strategically knowing how
IJCAI 2017
Epistemic Equilibrium Logic
IJCAI 2015