{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:14Z","timestamp":1761611174994},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2006,3,14]],"date-time":"2006-03-14T00:00:00Z","timestamp":1142294400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["JoLLI"],"published-print":{"date-parts":[[2006,8,17]]},"DOI":"10.1007\/s10849-005-9008-4","type":"journal-article","created":{"date-parts":[[2006,3,13]],"date-time":"2006-03-13T14:06:29Z","timestamp":1142258789000},"page":"83-108","source":"Crossref","is-referenced-by-count":10,"title":["Means-End Relations and a Measure of Efficacy"],"prefix":"10.1007","volume":"15","author":[{"given":"Jesse","family":"Hughes","sequence":"first","affiliation":[]},{"given":"Albert","family":"Esterline","sequence":"additional","affiliation":[]},{"given":"Bahram","family":"Kimiaghalam","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,3,14]]},"reference":[{"key":"9008_CR1","doi-asserted-by":"crossref","unstructured":"Bianco, A. and de Alfaro, L., 1995, \u201cModel checking of probabilistic and nondeterministic systems,\u201d FSTTCS: Foundations of Software Technology and Theoretical Computer Science 15.","DOI":"10.21236\/ADA461346"},{"key":"9008_CR2","doi-asserted-by":"crossref","unstructured":"Boutilier, C., 1994, \u201cToward a logic for qualitative decision theory,\u201d in Proceedings of the 4th International Conference on Knowledge Representation and Reasoning, KR'94, pp. 75\u201386.","DOI":"10.1016\/B978-1-4832-1452-8.50104-4"},{"key":"9008_CR3","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF00249673","volume":"17","author":"M.A. Brown","year":"1988","unstructured":"Brown, M.A., 1988, \u201cOn the logic of ability,\u201d Journal of Philosophical Logic 17, 1\u201326.","journal-title":"Journal of Philosophical Logic"},{"key":"9008_CR4","unstructured":"Brown, M.A., 2005, \u201cMeans and ends in branching time,\u201d Presented at the Norms, Reasoning and Knowledge in Technology workshop."},{"key":"9008_CR5","unstructured":"Castilho, M., Herzig, A., and Varzinczak, I., 2002, \u201cIt depends on the context! A decidable logic of actions and plans based on a ternary dependence relation,\u201d in 9th Intl. Workshop on Non-Monotonic Reasoning NMR'2002."},{"key":"9008_CR6","doi-asserted-by":"crossref","unstructured":"Castilho, M.A., Gasquet, O., and Herzig, A., 1999, \u201cFormalizing action and change in modal logic I: the frame problem,\u201d Journal of Logic and Computation 9(5).","DOI":"10.1093\/logcom\/9.5.701"},{"key":"9008_CR7","doi-asserted-by":"crossref","unstructured":"H\u00e1jek, P., 1998, Metamathematics of Fuzzy Logic, Vol. 4 of Trends in Logic. Kluwer Academic Publishers.","DOI":"10.1007\/978-94-011-5300-3"},{"key":"9008_CR8","unstructured":"H\u00e1jek, P., Godo, L., and Esteva, F., 1995, \u201cFuzzy logic and probability,\u201d in Proceedings of the Eleventh Annual Conference on Uncertainty in Artificial Intelligence (UAI-95). Montreal, Quebec, Canada."},{"key":"9008_CR9","first-page":"811","volume":"10","author":"P. H\u00e1jek","year":"2000","unstructured":"H\u00e1jek, P., Godo, L., and Esteva, F., 2000, \u201cReasoning about probability using fuzzy logic,\u201d Neural Network World 10, 811\u2013824.","journal-title":"Neural Network World"},{"key":"9008_CR10","first-page":"390","volume-title":"Readings in Nonmonotonic Reasoning","author":"S. Hanks","year":"1987","unstructured":"Hanks, S. and McDermott, D., 1987, \u201cDefault reasoning, nonmonotonic logics, and the frame problem,\u201d in M. L. Ginsberg, ed., Readings in Nonmonotonic Reasoning. Los Altos, CA: Kaufmann, pp. 390\u2013395."},{"issue":"5","key":"9008_CR11","doi-asserted-by":"crossref","first-page":"512","DOI":"10.1007\/BF01211866","volume":"6","author":"H. Hansson","year":"1994","unstructured":"Hansson, H. and Jonsson, B., 1994, \u201cA logic for reasoning about time and reliability,\u201d Formal Aspects of Computing 6(5), 512\u2013535.","journal-title":"Formal Aspects of Computing"},{"key":"9008_CR12","doi-asserted-by":"crossref","unstructured":"Harel, D., 1984, \u201cDynamic Logic,\u201d in D. Gabbay and F. Guenthner, eds., Handbook of Philosophical Logic, Vol. II. D. Reidel Publishing Company, pp. 497\u2013604.","DOI":"10.1007\/978-94-009-6259-0_10"},{"key":"9008_CR13","unstructured":"Hughes, J., 2005, \u201cMeans-end relations and artifactual functions: a sketch,\u201d Presented at the Norms, Reasoning and Knowledge in Technology workshop, available at http:\/\/phiwumbda.org\/=jesse\/papers\/index.html ."},{"key":"9008_CR14","unstructured":"Hughes, J., Kroes, P., and Zwart, S., 2005, \u201cA semantics for means-end relations,\u201d Presented at SEP 2005, available at http:\/\/phiwumbda.org\/~jesse\/papers\/index.html ."},{"key":"9008_CR15","unstructured":"Hughes, J. and Zwart, S., 2005, \u201cA semantics for functional efficacy,\u201d Presented at SPT 2005, available at http:\/\/phiwumbda.org\/~jesse\/papers\/index.html ."},{"key":"9008_CR16","unstructured":"Klir, G.J. and Yuan, B., 1995, Fuzzy Sets and Fuzzy Logic: Theory and Applications, Prentice Hall PTR."},{"key":"9008_CR17","doi-asserted-by":"crossref","unstructured":"Kozen, D., 1983, \u201cA probabilistic PDL,\u201d in STOC '83: Proceedings of the Fifteenth Annual ACM Symposium on Theory of Computing, New York, NY, USA, pp. 291\u2013297.","DOI":"10.1145\/800061.808758"},{"key":"9008_CR18","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1007\/978-1-4615-1567-8_13","volume-title":"Logic-Based Artificial Intelligence","author":"J.-J.C. Meyer","year":"2000","unstructured":"Meyer, J.-J.C., 2000, \u201cDynamic logic for reasoning about actions and agents,\u201d in Logic-Based Artificial Intelligence. Norwell, MA, USA: Kluwer Academic Publishers, pp. 281\u2013311."},{"issue":"1","key":"9008_CR19","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1023\/B:AIRE.0000044308.48654.c1","volume":"22","author":"F.J. Pelletier","year":"2004","unstructured":"Pelletier, F.J., 2004, \u201cOn some alleged misconceptions about fuzzy logic,\u201d Artificial Intelligence Review 22(1), 71\u201382.","journal-title":"Artificial Intelligence Review"},{"key":"9008_CR20","doi-asserted-by":"crossref","unstructured":"Pollock, J.L., 2002, \u201cThe logical foundations of means-end reasoning,\u201d in R. Elio, ed., Common Sense, Reasoning and Rationality. Oxford University Press.","DOI":"10.1093\/0195147669.003.0003"},{"issue":"2","key":"9008_CR21","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1007\/BF00173701","volume":"5","author":"H. Prendinger","year":"1996","unstructured":"Prendinger, H. and Schurz, G., 1996, \u201cReasoning about action and change. A dynamic logic approach,\u201d Journal of Logic, Language and Information 5(2), 209\u2013245.","journal-title":"Journal of Logic, Language and Information"},{"key":"9008_CR22","doi-asserted-by":"crossref","unstructured":"Puterman, M.L., 1994, Markov Decision Processes: Discrete Stochastic Dynamic Programming. John Wiley & Sons, Inc.","DOI":"10.1002\/9780470316887"},{"issue":"2","key":"9008_CR23","doi-asserted-by":"crossref","first-page":"159","DOI":"10.2307\/2183102","volume":"72","author":"G.H. von Wright","year":"1963","unstructured":"von Wright, G.H., 1963, \u201cPractical inference,\u201d The Philosophical Review 72(2), 159\u2013179.","journal-title":"The Philosophical Review"},{"key":"9008_CR24","doi-asserted-by":"crossref","unstructured":"Zhang, D. and Foo, N., 2002, \u201cDealing with the ramification problem in the extended propositional dynamic logic,\u201d in F. Wolter, H. Wansing, M. de Rijke, and M. Zakharyaschev, eds., Advances in Modal Logic Vol. 3. World Scientific, pp. 173\u2013191.","DOI":"10.1142\/9789812776471_0010"}],"container-title":["Journal of Logic, Language and Information"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-005-9008-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10849-005-9008-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-005-9008-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T02:31:01Z","timestamp":1559269861000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10849-005-9008-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,3,14]]},"references-count":24,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2006,8,17]]}},"alternative-id":["9008"],"URL":"https:\/\/doi.org\/10.1007\/s10849-005-9008-4","relation":{},"ISSN":["0925-8531","1572-9583"],"issn-type":[{"value":"0925-8531","type":"print"},{"value":"1572-9583","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,3,14]]}}}