Vienna University of Technology / Abstract Argumentation Johannes Peter Wallner Institute of Information Systems Vienna University / stable Semantics / /
IndustryTerm
e.g. decision support systems / basic algorithms / namely devising algorithms / optimized search engine / potential future applications / dedicated algorithms / equational systems / search procedure / deterministic polynomial time algorithm / software verification / accessible software / prototype algorithms / dynamic programming algorithms / e-participation / search space / /
Organization
North Atlantic Treaty Organization / Vienna University of Technology / Abstract Argumentation Johannes Peter Wallner Institute / /
Person
Walter A. Carnielli / Phan Minh Dung / Samer Nofal / Wolfgang Dvo / Gerhard Brewka / Francesca Toni / Simon Parsons / Chris Reed / Leila Amgoud / Helmut Veith / Marek Sergot / Stefano Bistarelli / Laurent Simon / Olivier Roussel / Minh Dung / Claudette Cayrol / Max Ostrowski / Alastair Thompson / Torsten Schaub / Uwe Egly / Mark H. Liffiton / Francesco Santini / Georg Weissenbacher / Martin Gebser / Sarah A. Gaggl / Orna Grumberg / Anubhav Gupta / Nikos Gorogiannis / Wolfgang Dvoˇra / Sanjay Modgil / Philip R. Quinlan / Iyad Rahwan / Edmund M. Clarke / Daniel Le Berre / Joao Marques-Silva / Anthony Hunter / Dov M. Gabbay / Stefan Woltran / Paul E. Dunne / Dan Cartwright / Marius Schneider / Johannes P. Wallner / Eugenio Di Tullio / Paolo Mancarella / Henry Prakken / Philippe Besnard / Vladimir Lifschitz / Sharad Malik / Sylvie Doutre / Floriana Grasso / Benjamin Kaufmann / Michael Gelfond / Peter McBurney / Stefan Szeider / Somesh Jha / Henri Prade / Trevor J. M. Bench-Capon / Ofer Arieli / Karem A. Sakallah / Bart Verheij / Michael Morak / Katie Atkinson / Martin W. A. Caminada / Yuan Lu / Roland Kaminski / Ofer Strichman / Bernhard Bliem / /
Advanced Procedures for Hard Problems in Abstract Argumentation Johannes Peter Wallner Institute of Information Systems Vienna University of Technology