Andreas Herzig
16 papers · 2015–2025 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+6 more ↓ Show less ↑
π§ Keyword Pioneer π Interdisciplinary Bridge π Conference Polyglot (2) π Academic Marathon (10) π Cross-Pollinator (3)
π
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
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