{"entities":{"Q1919793":{"pageid":1930535,"ns":120,"title":"Item:Q1919793","lastrevid":78073208,"modified":"2026-05-06T10:43:14Z","type":"item","id":"Q1919793","labels":{"en":{"language":"en","value":"Practical reasoning. International conference on formal and applied practical reasoning, FAPR '96, Bonn, Germany, June 3--7, 1996. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 909943"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1919793$7561EF65-25B0-4C92-874D-4486FC31CB3C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"16ad8f181c98da305e00dc2fac2af7473150b246","datavalue":{"value":{"text":"Practical reasoning. International conference on formal and applied practical reasoning, FAPR '96, Bonn, Germany, June 3--7, 1996. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1919793$CED036FD-CFD7-4AF3-BDD2-5B96A334EBA4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"08bbc1db8e26e38f5a36a3efd34960b06f6d68e0","datavalue":{"value":"0937.00049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1919793$503F52F6-A639-43CD-836A-027FF4435D8F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1919793$B84062C3-02C6-4ADB-823B-29747D4F1468","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ba95dc5f244e89f82fc4fa060f8a613ee2feaf71","datavalue":{"value":{"time":"+1996-07-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1919793$5F5489E2-3676-424C-8869-B1D69B22B00B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c96b4d25e5fcbf931623077f786d1a3d0315b335","datavalue":{"value":"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\u00f1as 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; \u0141ukaszewicz, Witold; Sza\u0142as, 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\u00f1as 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]","type":"string"},"datatype":"string"},"type":"statement","id":"Q1919793$8AAE66C6-3F95-4951-B355-D584CBD3EE30","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1919793$58A748FB-2CDE-4E20-9575-D2D35A5622DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1919793$5976CDB0-7883-4318-8DDF-2E58C1899B81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1971b12f93143b2604d15a1750f495d71fae62d","datavalue":{"value":"03-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1919793$C38F7AAA-0A7E-4001-A4D1-B7741BD085EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1919793$E6B02A28-7777-4A5A-9F99-7FC88B5AD6D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1919793$771688F8-C98B-4E7F-A914-8347CB65362F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4939d28eae6ef3e258232cc56924e6db696dc83d","datavalue":{"value":"909943","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1919793$67D1F516-8FFA-4F09-8690-923904DEC98F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fca95d18af6b8bec20c149b9212bebb9e6a7625f","datavalue":{"value":"Bonn (Germany)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1919793$E90AF551-8F7F-4506-A83D-119EB26BEA45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1919793$1752EDE4-DC03-4120-906B-45491FAE658B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d83ae477e518ffecea78688f13a2aaaeca13299","datavalue":{"value":"Conference","type":"string"},"datatype":"string"},"type":"statement","id":"Q1919793$4555C30C-E876-469E-A668-1A68A4E592F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36672fdd1112ced920f75d301b03dfd430d2fc23","datavalue":{"value":"FAPR '96","type":"string"},"datatype":"string"},"type":"statement","id":"Q1919793$9695A2EF-5133-4F4C-B678-3BE0EFFAE181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0606edeadd3cd110608ba5a1c94a1ef70a1899f0","datavalue":{"value":"Formal practical reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1919793$B2C2AF64-AA71-4889-B7E4-D60924114A08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f548ba5314b9db899f393e0862b3e6f238d73e2","datavalue":{"value":"Applied practical reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1919793$6F711600-F16C-4C18-8E93-4241DFE647CA","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1919793$79C175CE-9B70-4775-8FCC-4497250D4006","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Practical reasoning. International conference on formal and applied practical reasoning, FAPR '96, Bonn, Germany, June 3--7, 1996. Proceedings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Practical_reasoning._International_conference_on_formal_and_applied_practical_reasoning,_FAPR_%2796,_Bonn,_Germany,_June_3--7,_1996._Proceedings"}}}}}