background: diabetic foot as a late complication of diabetes imposes high costs to the health care system. the present study aimed to investigate combinatorial educational program based on basnef model on foot care in type 2 diabetic patients referred to diabetes clinic of samirom city. methods: this study is a semi-empirical study, in which 164 eligible patients were selected after the pre-tes...

Collective intelligence paradigms have been increasingly embraced by the public sector as a way to address complex policy challenges. The field is limited, however, our little, comparative understanding of political economy factors that create incentives around adoption certain types collective over others in different organizational settings. This article uses typology citizen-sourced open inn...

We introduce a new proof procedure for abductive logic programming and present two soundness results. Our procedure extends that of Fung and Kowalski by integrating abductive reasoning with constraint solving and by relaxing the restrictions on allowed inputs for which the procedure can operate correctly. An implementation of our proof procedure is available and has been applied successfully in...

Ron Shapiro, Mark Jordan, Velma P. Scantlebury, Carlos Vivas, H. Albin Gritsch, Abdul S. Rao, Massimo Trucco, Adriana Zeevi, Anthony J. Demetris, Parmjeet Randhawa, Robert J. Corry, Francesca Egidi, Horacio Rilo, Camillo Ricordi, Patricia Carroll, Andreas Tzakis, Jerry McCauley, Demetrius Ellis, Nisan Gilboa, William Irish, Sandi Mitchell, John J. Fung, Thomas R. Hakala, Richard L. Simmons, and...

We describe a system implementing a novel extension of Fung and Kowalski’s IFF abductive proof procedure which we call CIFF, and its application to realise intelligent agents that can construct (partial or complete) plans and react to changes in the environment. CIFF extends the original IFF procedure in two ways: by dealing with constraint predicates and by dealing with non-allowed abductive l...