Table of Contents

• On the bipolarity in argumentation frameworksLeila Amgoud, Claudette Cayrol, Marie-Christine Lagasquie-Schiex. 1-9 [doi]
• Generation and evaluation of different types of arguments in negotiationLeila Amgoud, Henri Prade. 10-15 [doi]
• Probabilistic reasoning in dynamic multiagent systemsXiangdong An, Yang Xiang, Nick Cercone. 16-24 [doi]
• A complete characterization of a notion of contraction based on information-valueHoracio L. Arló-Costa, Isaac Levi. 25-40 [doi]
• The structural model interpretation of the NESS testRichard A. Baldwin, Eric Neufeld. 41-49 [doi]
• A recursive approach to argumentation: motivation and perspectivesPietro Baroni, Massimiliano Giacomin. 50-58 [doi]
• Checking the acceptability of a set of argumentsPhilippe Besnard, Sylvie Doutre. 59-64 [doi]
• A plausible logic which detects loopsDavid Billington. 65-71 [doi]
• A unifying semantics for belief changeRichard Booth, Samir Chopra, Thomas Andreas Meyer, Aditya Ghose. 72-78 [doi]
• Frame consistency: computing with causal explanationsAndrea Bracciali, Antonis C. Kakas. 79-87 [doi]
• A rank based description language for qualitative preferencesGerhard Brewka. 88-93 [doi]
• Dialogues and HY-argumentsMartin Caminada. 94-99 [doi]
• Logic-based merging: the infinite caseJosé Luis Chacón, Ramón Pino Pérez. 100-108 [doi]
• A first approach to argument-based recommender systems based on defeasible logic programmingCarlos Iván Chesñevar, Ana Gabriela Maguitman, Guillermo Ricardo Simari. 109-117 [doi]
• Preliminary considerations on the modelling of belief change operators by metric spacesJames P. Delgrande. 118-125 [doi]
• Consistency-based approaches to merging knowledge bases: preliminary reportJames P. Delgrande, Torsten Schaub. 126-133 [doi]
• On sceptical vs credulous acceptance for abstract argument systemsSylvie Doutre, Jérôme Mengin. 134-139 [doi]
• Ordinal and absolute representations of positive information in possibilistic logicDidier Dubois, Souhila Kaci, Henri Prade. 140-146 [doi]
• Plan reversals for recovery in execution monitoringThomas Eiter, Esra Erdem, Wolfgang Faber. 147-154 [doi]
• ASP-PROLOG: a system for reasoning about answer set programs in prologOmar El-Khatib, Enrico Pontelli, Tran Cao Son. 155-163 [doi]
• Belief dynamics and defeasible argumentation in rational agentsMarcelo A. Falappa, Alejandro Javier García, Guillermo Ricardo Simari. 164-170 [doi]
• Generalizing the AGM postulates: preliminary results and applicationsGiorgos Flouris, Dimitris Plexousakis, Grigoris Antoniou. 171-179 [doi]
• On Császár s condition in nonmonotonic reasoningAngelo Gilio. 180-188 [doi]
• A SAT-based polynomial space algorithm for answer set programmingEnrico Giunchiglia, Yuliya Lierler, Marco Maratea. 189-196 [doi]
• Paraconsistent default reasoningQing Han, Zuoquan Lin. 197-203 [doi]
• Domain descriptions should be modularAndreas Herzig, Ivan José Varzinczak. 204-211 [doi]
• Combining goal generation and planning in an argumentation frameworkJoris Hulstijn, Leendert W. N. van der Torre. 212-218 [doi]
• Adding modal operators to the action language AAaron Hunter. 219-226 [doi]
• Towards higher impact argumentationAnthony Hunter. 227-232 [doi]
• Enhancing answer set programming with templatesGiovambattista Ianni, Giuseppe Ielpa, Adriana Pietramala, Maria Carmela Santoro, Francesco Calimeri. 233-239 [doi]
• Qualitative and probabilistic uncertainty in reasoning about actions with sensingLuca Iocchi, Thomas Lukasiewicz, Daniele Nardi, Riccardo Rosati. 240-248 [doi]
• Propositional belief merging and belief negotiation modelSébastien Konieczny. 249-257 [doi]
• BackJumping techniques for rules instantiation in the DLV systemNicola Leone, Simona Perri, Francesco Scarcello. 258-266 [doi]
• On acyclic and head-cycle free nested logic programsThomas Linke, Hans Tompits, Stefan Woltran. 267-275 [doi]
• Answer set programming with default logicVictor W. Marek, Jeffrey B. Remmel. 276-284 [doi]
• Finding stable models via quantum computationDavid A. Meyer, James Pommersheim, Jeffrey B. Remmel. 285-291 [doi]
• A sequent calculus for skeptical reasoning in autopeistemic logicRobert Saxon Milnikel. 292-296 [doi]
• Probability, rational belief and belief changeCharles G. Morgan. 297-305 [doi]
• A possibilistic approach to restore consistency in answer set programmingPascal Nicolas, Laurent Garcia, Igor Stéphan. 306-312 [doi]
• Adjusting adjustments - an algorithm for knowledge base extractionAlexander Nittka. 313-320 [doi]
• Semantics of disjunctive programs with monotone aggregates - an operator-based approachNikolay Pelov, Miroslaw Truszczynski. 327-334 [doi]
• A probabilistic approach to default reasoningMiodrag Raskovic, Zoran Ognjanovic, Zoran Markovic. 335-341 [doi]
• Combining individually inconsistent prioritized knowledge basesGuilin Qi, Weiru Liu, David H. Glass. 342-349 [doi]
• A fuzzy logic and default reasoning model of social norm and equilibrium selection in games under unforeseen contingenciesLorenzo Sacconi, Stefano Moretti. 350-359 [doi]
• All s well that ends well - a proposal of global abductionKen Satoh. 360-367 [doi]
• Semantic considerations on rejectionJán Sefránek. 368-376 [doi]
• Actions, planning and defeasible reasoningGuillermo Ricardo Simari, Alejandro Javier García, Marcela Capobianco. 377-384 [doi]
• Theory of multiple-valued defeasible argumentation and its applicationsTakehisa Takahashi, Hajime Sawamura. 385-393 [doi]
• Preferential defeasibility: utility in defeasible logic programmingFernando A. Tohmé, Guillermo Ricardo Simari. 394-399 [doi]
• Splitting an operator: an algebraic modularity result and its application to auto-epistemic logicJoost Vennekens, David Gilis, Marc Denecker. 400-408 [doi]
• Logic programs with annotated disjunctionsJoost Vennekens, Sofie Verbaeten, Maurice Bruynooghe. 409-415 [doi]
• A resource bounded default logicGregory R. Wheeler. 416-422 [doi]