The following pages link to Andreas Herzig (Q302221):
Displayed 16 items.
- (Q5283005) (← links)
- Belief Merging in Dynamic Logic of Propositional Assignments (Q5404966) (← links)
- (Q5419869) (← links)
- A Tableau Method for Public Announcement Logics (Q5434478) (← links)
- Automated Reasoning with Analytic Tableaux and Related Methods (Q5479288) (← links)
- (Q5483003) (← links)
- (Q5688815) (← links)
- (Q5688921) (← links)
- Computational Logic in Multi-Agent Systems (Q5706852) (← links)
- Qualitative uncertainty and dynamics of argumentation through dynamic logic (Q5885770) (← links)
- Resource separation in dynamic logic of propositional assignments (Q5896086) (← links)
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty (Q5900623) (← links)
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty (Q5900651) (← links)
- Deontic Logic in Computer Science (Q5901581) (← links)
- Resource separation in dynamic logic of propositional assignments (Q5918351) (← links)
- Epistemic planning: perspectives on the special issue (Q6098843) (← links)