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