Practical Reasoning

Integrating statistical audit evidence with belief function theory.- A comparative survey of default logic variants.- Modal logics with relative accessibility relations.- Geometrical structures and modal logic.- A unified framework for hypothetical and practical reasoning (1): Theoretical foundations.- A unified framework for hypothetical and practical reasoning (2): Lessons from medical applications.- General domain circumscription and its first-order reduction.- Reasoning about rational, but not logically omniscient agents (extended abstract).- Specification of nonmonotonic reasoning.- Intelligent agents in the Situation Calculus: An application to user modelling.- Talkin'bout consistency, or: When logically possible becomes possible.- The analysis and evaluation of legal argumentation from a pragma-dialectical perspective.- Reasoning about reasoning.- A resolution-based proof method for temporal logics of knowledge and belief.- A methodology for iterated theory change.- A formal framework for causal modeling and argumentation.- Goals in argumentation.- An abductive proof procedure for conditional logic programming.- Commands in dialogue logic.- Ideal and real belief about belief.- Analogical reasoning of organic reactions based on the structurized compound-reaction diagram.- Labelling ideality and subideality.- Mind, morals, and reasons.- Aristotle, Whately, and the taxonomy of fallacies.- Nonmonotonic reasoning with multiple belief sets.- SEdit — Graphically validating technical systems.- The need for a dialectical tier in arguments.- Two kinds of non-monotonic analogical inference.- The normative reconstruction of analogy argumentation in judicial decisions: A pragma-dialectical perspective.- Formal reasoning about modules, reuse and their correctness.- A tableau calculus for first-order branching time logic.- Possible world semantics for analogous reasoning.- Using temporary integrity constraints to optimize databases.- Graded inheritance nets for knowledge representation.- Defining normative systems for qualitative argumentation.- Complex argumentation in judicial decisions. Analysing conflicting arguments.- Combining partitions and modal logic for user modeling.- Reason in a changing world.- A system for defeasible argumentation, with defeasible priorities.- Modal logic for modelling actions and agents.- Formalization of reasoning about default action (preliminary report).- An architecture for argumentative dialogue planning.- Skeptical query-answering in Constrained Default Logic.- Type theoretic semantics for SemNet.- From syllogisms to audiences: The prospects for logic in a rhetorical model of argumentation.- Human reasoning with negative defaults.- On the semantics of the unknown.- System J — Revision entailment.- Deep disagreements and public demoralization.- Practical reasoning with procedural knowledge.- Towards the assessment of logics for concurrent actions.- Default reasoning and belief revision in the CIN Project.- Mechanizing multi-agent reasoning with belief contexts.- Arguments and mental models: A position paper.- Argumentation and decision making: A position paper.- The implementation of LENA.- The implementation of CondLP.- How to reason about akratic action practically?.