Practical reasoning. International conference on formal and applied practical reasoning, FAPR '96, Bonn, Germany, June 3--7, 1996. Proceedings
type: Item
instance of: scholarly article
title: Practical reasoning. International conference on formal and applied practical reasoning, FAPR '96, Bonn, Germany, June 3--7, 1996. Proceedings
zbMATH Open document ID: 0937.00049
published in: Lecture Notes in Computer Science
publication date: 1996-07-25T00:00:00Z
review text: 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, …
Mathematics Subject Classification ID: 00B25
Mathematics Subject Classification ID: 68-06
Mathematics Subject Classification ID: 03-06
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 68T27
zbMATH DE Number: 909943
zbMATH Keywords: Bonn (Germany)
zbMATH Keywords: Proceedings
zbMATH Keywords: Conference
zbMATH Keywords: FAPR '96
zbMATH Keywords: Formal practical reasoning
zbMATH Keywords: Applied practical reasoning
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 909943