Travelled to:1 × Austria
1 × Canada
Collaborated with:J.P.Wallner R.Baumann G.Brewka M.Thielscher V.Zaslawski
Talks about:framework (1) fixpoint (1) calculus (1) approxim (1) abstract (1) dialect (1) default (1) complex (1) theori (1) comput (1)
Person: Hannes Strass
DBLP: Strass:Hannes
Contributed to:
20142010Wrote 2 papers:
- KR-2014-StrassW #approximate #complexity #fixpoint #framework
- Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory (HS, JPW).
- KR-2010-BaumannBSTZ #calculus
- State Defaults and Ramifications in the Unifying Action Calculus (RB, GB, HS, MT, VZ).