Practical reasoning. International conference on formal and applied practical reasoning, FAPR '96, Bonn, Germany, June 3--7, 1996. Proceedings (Q1919793)

The articles of mathematical interest will be reviewed individually. Indexed articles: \textit{Van den Acker, Carine; Vanthienen, Jan}, Integrating statistical audit evidence with belief function theory, 1-14 [Zbl 1419.68136] \textit{Antoniou, Grigoris}, A comparative survey of default logic variants, 15-28 [Zbl 1419.68105] \textit{Balbiani, Philippe}, Modal logics with relative accessibility relations, 29-42 [Zbl 1422.03029] \textit{Balbiani, Philippe; Fariñas del Cerro, Luis; Tinchev, Tinko; Vakarelov, Dimiter}, Geometrical structures and modal logic, 43-57 [Zbl 1422.03030] \textit{Das, S. K.; Fox, J.; Krause, P.}, A unified framework for hypothetical and practical reasoning. I: Theoretical foundations, 58-72 [Zbl 1419.68207] \textit{Fox, John; Das, Subrata}, A unified framework for hypothetical and practical reasoning. II: Lessons from medical applications, 73-92 [Zbl 1419.68208] \textit{Doherty, Patrick; Łukaszewicz, Witold; Szałas, Andrzej}, General domain circumscription and its first-order reduction, 93-109 [Zbl 1419.68109] \textit{Engelfriet, Joeri; Treur, Jan}, Specification of nonmonotonic reasoning, 111-125 [Zbl 1419.68112] \textit{Errico, Bruno; Aiello, Luigia Carlucci}, Intelligent agents in the situation calculus: an application to user modelling, 126-140 [Zbl 1419.68113] \textit{Fariñas Del Cerro, Luis; Frias Delgado, Antonio; Herzig, Andreas}, Talkin'bout consistency, or: when logically possible becomes possible, 141-150 [Zbl 1419.68114] \textit{Finocchiaro, Maurice A.}, Reasoning about reasoning, 167-177 [Zbl 1422.03006] \textit{Fisher, Michael; Wooldridge, Michael; Dixon, Clare}, A resolution-based proof method for temporal logics of knowledge and belief, 178-192 [Zbl 1422.03020] \textit{Gabbay, Dov; Rodrigues, Odinaldo}, A methodology for iterated theory change, 193-207 [Zbl 1419.68115] \textit{Geffner, Hector}, A formal framework for causal modeling and argumentation, 208-222 [Zbl 1419.68116] \textit{Gilbert, Michael A.}, Goals in argumentation, 223-230 [Zbl 1419.68117] \textit{Giordano, L.; Martelli, A.; Sapino, M. L.}, An abductive proof procedure for conditional logic programming, 231-245 [Zbl 1419.68118] \textit{Girle, Roderic A.}, Commands in dialogue logic, 246-260 [Zbl 1422.03055] \textit{Giunchiglia, Enrico; Giunchiglia, Fausto}, Ideal and real belief about belief, 261-275 [Zbl 1419.68119] \textit{Gotoda, Hironobu; An, Jianghong; Fujiwara, Yuzuru}, Analogical reasoning of organic reactions based on the structurized compound-reaction diagram, 276-290 [Zbl 1419.68151] \textit{Governatori, Guido}, Labelling ideality and subideality, 291-304 [Zbl 1419.68089] \textit{Hansen, Hans V.}, Aristotle, Whately, and the taxonomy of fallacies, 318-330 [Zbl 1422.03007] \textit{Engelfriet, Joeri; Herre, Heinrich; Treur, Jan}, Nonmonotonic reasoning with multiple belief sets, 331-344 [Zbl 1419.68111] \textit{Johnson, Ralph H.}, The need for a dialectical tier in arguments, 349-360 [Zbl 1422.03008] \textit{Kerber, Manfred; Melis, Erica}, Two kinds of non-monotonic analogical inference, 361-374 [Zbl 1419.68122] \textit{Kreitz, Christoph; Lau, Kung-Kiu; Ornaghi, Mario}, Formal reasoning about modules, reuse and their correctness, 384-398 [Zbl 1419.68040] \textit{May, Wolfgang; Schmitt, Peter H.}, A tableau calculus for first-order branching time logic, 399-413 [Zbl 1422.03028] \textit{Meyer, J.-J. Ch.; van Leeuwen, J. C.}, Possible world semantics for analogous reasoning, 414-429 [Zbl 1419.68124] \textit{Neumann, Ingrid}, Graded inheritance nets for knowledge representation, 436-448 [Zbl 1419.68146] \textit{Parsons, Simon}, Defining normative systems for qualitative argumentation, 449-463 [Zbl 1419.68126] \textit{Prakken, Henry; Sartor, Giovanni}, A system for defeasible argumentation, with defeasible priorities, 510-524 [Zbl 1419.68129] \textit{Prendinger, Helmut}, Modal logic for modelling actions and agents, 525-539 [Zbl 1419.68130] \textit{Radzikowska, Anna}, Formalization of reasoning about default action (preliminary report), 540-554 [Zbl 1419.68131] \textit{Schaub, Torsten; Thielscher, Michael}, Skeptical query-answering in constrained default logic, 567-581 [Zbl 1419.68132] \textit{Shiu, S.; Luo, Z.; Garigliano, R.}, Type theoretic semantics for SemNet, 582-595 [Zbl 1419.68149] \textit{Weber, Steffo}, On the semantics of the unknown, 622-636 [Zbl 1419.68049] \textit{Weydert, Emil}, System J -- revision entailment. Default reasoning through ranking measure updates, 637-649 [Zbl 1419.68137] \textit{Wooldridge, Michael}, Practical reasoning with procedural knowledge (a logic of BDI agents with know-how), 663-678 [Zbl 1419.68138] \textit{Yi, Choong-Ho}, Towards the assessment of logics for concurrent actions, 679-690 [Zbl 1419.68139] \textit{Cimatti, Alessandro; Serafini, Luciano}, Mechanizing multi-agent reasoning with belief contexts, 694-696 [Zbl 1419.68088]