Abstract is missing.
- Integrating Statistical Audit Evidence with Belief Function TheoryCarine Van den Acker, Jan Vanthienen. 1-14
- A Comparative Survey of Default Logic VariantsGrigoris Antoniou. 15-28
- Modal Logics with Relative Accessibility RelationsPhilippe Balbiani. 29-42
- Geometrical Structures and Modal LogicPhilippe Balbiani, Luis Fariñas del Cerro, Tinko Tinchev, Dimiter Vakarelov. 43-57
- A Unified Framework for Hypothetical and Practical Reasoning (1): Theoretical FoundationsSubrata Kumar Das, John Fox, Paul Krause. 58-72
- A Unified Framework for Hypothetical and Practical Reasoning (2): Lessons from Medical ApplicationsJohn Fox, Subrata Kumar Das. 73-92
- General Domain Circumscription in its First-Order ReductionPatrick Doherty, Witold Lukaszewicz, Andrzej Szalas. 93-109
- Reasoning about Rational, but not Logically Omniscient Agents (Extended Abstract)Ho Ngoc Duc. 110
- Specification of Nonmonotonic ReasonongJoeri Engelfriet, Jan Treur. 111-125
- Intelligent Agents in the Situation Calculus: an Application to User ModellingBruno Errico, Luigia Carlucci Aiello. 126-140
- Talkin bout Consistency, or: When Logically Possible Becomes PossibleLuis Fariñas del Cerro, Antonio Frias Delgado, Andreas Herzig. 141-150
- The Analysis and Evaluation of Legal Argumentation from a Pragma-Dialectical PerspectiveEveline T. Feteris. 151-166
- Reasoning About ReasoningMaurice A. Finocchiaro. 167-177
- A Resolution-Based Proof Method for Temporal Logics of Knowledge and BeliefMichael Fisher, Michael Wooldridge, Clare Dixon. 178-192
- A Methodology for Iterated Theory ChangeDov M. Gabbay, Odinaldo Rodrigues. 193-207
- A Formal Framework for Clausal Modeling and ArgumentationHector Geffner. 208-222
- Goals in ArgumentationMichael A. Gilbert. 223-230
- An Abductive Proof Procedure for Conditional Logic ProgrammingLaura Giordano, Alberto Martelli, Maria Luisa Sapino. 231-245
- Commands in Dialogue LogicRoderic A. Girle. 246-260
- Ideal and Real Belief about BeliefEnrico Giunchiglia, Fausto Giunchiglia. 261-275
- Analogical Reasoning of Organic Reactions Based on the Structurized Compound-Reaction DiagramHironobu Gotoda, Jianghong An, Yuzuru Fujiwara. 276-290
- Labelling Ideality and SubidealityGuido Governatori. 291-304
- Mind, Morals, and ReasonsMarcello Guarini. 305-317
- Aristotle, Whately, and the Taxonomy of FallaciesHans V. Hansen. 318-330
- Nonmonotonic Reasoning with Multiple Belief SetsJoeri Engelfriet, Heinrich Herre, Jan Treur. 331-344
- SEdit - Graphically Validating Technical SystemsGerd Große, Christoph S. Herrmann, Enno Sandner. 345-348
- The Need for a Dialectical Tier in ArgumentsRalph H. Johnson. 349-360
- Two Kinds of Non-Monotonic Analogical InferenceManfred Kerber, Erica Melis. 361-374
- The Normative Reconstruction of Analogy Argumentation in Judical Decisions: a Pragma-Dialectical PerspectiveHarm Kloosterhuis. 375-383
- Formal Reasoning about Modules, Reuse and their CorrectnessChristoph Kreitz, Kung-Kiu Lau, Mario Ornaghi. 384-398
- A Tableau Calculus for First-Order Branching Time LogicWolfgang May, Peter H. Schmitt. 399-413
- Possible World Semantics for Analogous ReasoningJohn-Jules Ch. Meyer, J. C. van Leeuwen. 414-429
- Using Temporary Integrity Constraints to Optimize DatabasesDanilo Montesi, Chiara Renso, Franco Turini. 430-435
- Graded Inheritance Nets for Knowledge RepresentationIngrid Neumann. 436-448
- Defining Normative Systems for Qualitative ArgumentationSimon Parsons. 449-463
- Complex Argumentation in Judicial Decisions. Analysing Conflicting ArgumentsJosé Plug. 464-479
- Combining Partitions and Modal Logic for User ModelingWolfgang Pohl. 480-494
- Reason in a Changing WorldJohn L. Pollock. 495-509
- A System for Defeasible Argumentation, with Defeasible PrioritiesHenry Prakken, Giovanni Sartor. 510-524
- Modal Logic for Modelling Actions and AgentsHelmut Prendinger. 525-539
- Formalization of Reasoning about Default Action (Preliminary Report)Anna Radzikowska. 540-554
- An Architecture fro Argumentative Dialogue PlanningChris Reed, Derek Long, Maria Fox. 555-566
- Skeptical Query-Answering in Constrained Default LogicTorsten Schaub, Michael Thielscher. 567-581
- Type Theoretic Semantics for SemNetSimon Shiu, Zhaohui Luo, Roberto Garigliano. 582-595
- From Syllogisms to Audiences: The Prospect for Logic in a Rhetorical Model of ArgumentationChristopher W. Tindale. 596-605
- Human Reasoning with Negative DefaultsCarl Vogel. 606-621
- On the Semantics of the UnknownSteffo Weber. 622-636
- System J - Revision Entailment. Default Reasoning through Ranking Measure UpdatesEmil Weydert. 637-649
- Deep Disagreement and Public DemoralizationJohn Woods. 650-662
- Practical Reasoning with Procedural KnowledgeMichael Wooldridge. 663-678
- Towards the Assessment of Logics for Concurrent ActionsChoong-Ho Yi. 679-690
- Default Reasoning and Belief Revision in the CIN ProjectGrigoris Antoniou, Mary-Anne Williams. 691-693
- Mechanizing Multi-Agent Reasoning with Belief ContextsAlessandro Cimatti, Luciano Serafini. 694-696
- Arguments and Mental Models: A Position PaperDavid W. Green. 697-704
- Argumentation and Decision Making: A Position PaperSimon Parsons, John Fox. 705-709
- The Implementation of LENAClaudia M. G. M. Oliveira. 710-712
- The Implementation of CondLPClaudia M. G. M. Oliveira. 713-715
- How To Reason About ::::Akratic:::: Action Practically?Valentyn Omelyanchyk. 716-719