Literatura académica sobre el tema "Computational reasoning"
Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros
Consulte las listas temáticas de artículos, libros, tesis, actas de conferencias y otras fuentes académicas sobre el tema "Computational reasoning".
Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.
También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.
Artículos de revistas sobre el tema "Computational reasoning"
Dixon, Lucas, Ross Duncan y Aleks Kissinger. "Open Graphs and Computational Reasoning". Electronic Proceedings in Theoretical Computer Science 26 (9 de junio de 2010): 169–80. http://dx.doi.org/10.4204/eptcs.26.16.
Texto completoThompson, Errol. "Teaching Computational Reasoning Through Construals". Education & Self Development 13, n.º 3 (30 de septiembre de 2018): 40–52. http://dx.doi.org/10.26907/esd13.3.05.
Texto completoRayward-Smith, V. J. y A. Gammerman. "Computational Learning and Probabilistic Reasoning". Journal of the Operational Research Society 48, n.º 7 (julio de 1997): 756. http://dx.doi.org/10.2307/3010065.
Texto completoTsafnat, G. y E. W. Coiera. "Computational Reasoning across Multiple Models". Journal of the American Medical Informatics Association 16, n.º 6 (28 de agosto de 2009): 768–74. http://dx.doi.org/10.1197/jamia.m3023.
Texto completoBrown, A. G. P. y F. P. Coenen. "Spatial reasoning: improving computational efficiency". Automation in Construction 9, n.º 4 (julio de 2000): 361–67. http://dx.doi.org/10.1016/s0926-5805(99)00019-9.
Texto completoBliss, Joan, Jon Ogborn, Richard Boohan, Jonathan Briggs, Tim Brosnan, Derek Brough, Harvey Mellar et al. "Reasoning supported by computational tools". Computers & Education 18, n.º 1-3 (enero de 1992): 1–9. http://dx.doi.org/10.1016/0360-1315(92)90030-9.
Texto completoGuan, J. W., D. A. Bell y Z. Guan. "Computational methods for evidential reasoning". Irish Journal of Psychology 14, n.º 3 (enero de 1993): 508–9. http://dx.doi.org/10.1080/03033910.1993.10557960.
Texto completoGrass, Joshua. "Reasoning about computational resource allocation". XRDS: Crossroads, The ACM Magazine for Students 3, n.º 1 (septiembre de 1996): 16–20. http://dx.doi.org/10.1145/332148.332154.
Texto completoGammerman, A. "Computational Learning and Probabilistic Reasoning". Journal of the Operational Research Society 48, n.º 7 (julio de 1997): 756–57. http://dx.doi.org/10.1057/palgrave.jors.2600381.
Texto completoGammerman, A. "Computational Learning and Probabilistic Reasoning". Journal of the Operational Research Society 48, n.º 7 (1997): 756. http://dx.doi.org/10.1038/sj.jors.2600381.
Texto completoTesis sobre el tema "Computational reasoning"
Zanuttini, Bruno. "Computational Aspects of Learning, Reasoning, and Deciding". Habilitation à diriger des recherches, Université de Caen, 2011. http://tel.archives-ouvertes.fr/tel-00995250.
Texto completoPease, Alison. "A computational model of Lakatos-style reasoning". Thesis, University of Edinburgh, 2007. http://hdl.handle.net/1842/2113.
Texto completoSanchez, Roberto. "Improving Computational Efficiency in Context-Based Reasoning Simulations". Honors in the Major Thesis, University of Central Florida, 2003. http://digital.library.ucf.edu/cdm/ref/collection/ETH/id/416.
Texto completoBachelors
Engineering and Computer Science
Computer Engineering
Broxvall, Mathias. "A Study in the Computational Complexity of Temporal Reasoning". Doctoral thesis, Linköping : Univ, 2002. http://www.ep.liu.se/diss/science_technology/07/79/index.html.
Texto completoGriffith, Todd W. "A computational theory of generative modeling in scientific reasoning". Diss., Georgia Institute of Technology, 1999. http://hdl.handle.net/1853/8177.
Texto completoWong, Yiu Kwong. "Application of computational models and qualitative reasoning to economics". Thesis, Heriot-Watt University, 1996. http://hdl.handle.net/10399/688.
Texto completoSchoter, Andreas. "The computational application of bilattice logic to natural reasoning". Thesis, University of Edinburgh, 1996. http://hdl.handle.net/1842/434.
Texto completoHatzilygeroudis, Ioannis. "Integrating logic and objects for knowledge representation and reasoning". Thesis, University of Nottingham, 1992. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.334808.
Texto completoAronoff, Caroline Bradley. "A computational characterization of domain-based causal reasoning development in children". Thesis, Massachusetts Institute of Technology, 2018. http://hdl.handle.net/1721.1/119744.
Texto completoThis electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collections.
Cataloged from student-submitted PDF version of thesis.
Includes bibliographical references (pages 71-72).
To better understand human intelligence, we must first understand how humans use and learn from stories. One important aspect of how humans learn from stories is our ability to reason about cause and eect. Psychological evidence suggests that when children develop the ability to learn cause-and-eect relationships from stories, they do so in discrete stages where each new stage enables the child to incorporate new kinds of information. In this thesis, I attempt to shed light on the mechanisms that underlie the development of causal reasoning in children. I create a behavior-level model, an explanatory theory, and an explanation-level model that account for the developmental stages. I implement these models on top of the Genesis Story Understanding System. The result is a psychologically plausible explanation-level model that captures the observed causal reasoning behaviors of children at dierent stages of developments. The model also takes the observations from psychological evidence to another level by proposing mechanisms that enable such development in children.
by Caroline Bradley Aronoff.
M. Eng.
Fischer, Olivier. "Cognitively plausible heuristics to tackle the computational complexity of abductive reasoning /". The Ohio State University, 1991. http://rave.ohiolink.edu/etdc/view?acc_num=osu1487694389394369.
Texto completoLibros sobre el tema "Computational reasoning"
A, Gammerman, ed. Computational learning and probabilistic reasoning. Chichester: Wiley, 1996.
Buscar texto completo1942-, Chandrasekaran B., Glasgow Janice y Narayanan N. Hari, eds. Diagrammatic reasoning: Cognitive and computational perspectives. Menlo Park, Calif: AAAI Press, 1995.
Buscar texto completoPrade, Henri y Gilles Richard, eds. Computational Approaches to Analogical Reasoning: Current Trends. Berlin, Heidelberg: Springer Berlin Heidelberg, 2014. http://dx.doi.org/10.1007/978-3-642-54516-0.
Texto completo1971-, Feeney Aidan y Heit Evan 1965-, eds. Inductive reasoning: Experimental, developmental, and computational approaches. Cambridge: Cambridge University Press, 2007.
Buscar texto completoMagnani, Lorenzo, Nancy J. Nersessian y Claudio Pizzi, eds. Logical and Computational Aspects of Model-Based Reasoning. Dordrecht: Springer Netherlands, 2002. http://dx.doi.org/10.1007/978-94-010-0550-0.
Texto completoLorenzo, Magnani, Nersessian Nancy J, Pizzi Claudio 1944- y International Conference on Model-Based Reasoning: Scientific Discovery, Technological Innovation, Values (2001 : Pavia, Italy )., eds. Logical and computational aspects of model-based reasoning. Dordrecht: Kluwer Academic, 2002.
Buscar texto completoVapnik, Vladimir Naumovich. The nature of statistical learning theory. New York: Springer, 1995.
Buscar texto completoRennels, Glenn D. A Computational Model of Reasoning from the Clinical Literature. Berlin, Heidelberg: Springer Berlin Heidelberg, 1987. http://dx.doi.org/10.1007/978-3-642-93363-9.
Texto completoRennels, Glenn D. A Computational model of reasoning from the clinical literature. Berlin: Springer-Verlag, 1987.
Buscar texto completoItaly) COMMA (Conference) (3rd 2010 Desenzano del Garda. Computational models of argument: Proceedings of COMMA 2010. Amsterdam: IOS Press, 2010.
Buscar texto completoCapítulos de libros sobre el tema "Computational reasoning"
Hausser, Roland. "Logical Reasoning". En Computational Cognition, 51–67. Cham: Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-37499-9_4.
Texto completoHausser, Roland. "Common Sense Reasoning". En Computational Cognition, 69–79. Cham: Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-37499-9_5.
Texto completoDalla Chiara, M., R. Giuntini y R. Greechie. "Quantum computational logic". En Reasoning in Quantum Theory, 249–66. Dordrecht: Springer Netherlands, 2004. http://dx.doi.org/10.1007/978-94-017-0526-4_17.
Texto completoRosati, Riccardo. "Integrating Ontologies and Rules: Semantic and Computational Issues". En Reasoning Web, 128–51. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11837787_5.
Texto completoHendrickson, Noel. "Applied Counterfactual Reasoning". En Computational Methods for Counterterrorism, 249–62. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-01141-2_13.
Texto completoMartin, Ursula. "Computers, Reasoning and Mathematical Practice". En Computational Logic, 301–46. Berlin, Heidelberg: Springer Berlin Heidelberg, 1999. http://dx.doi.org/10.1007/978-3-642-58622-4_9.
Texto completoBackhouse, Roland. "Datatype-Generic Reasoning". En Logical Approaches to Computational Barriers, 21–34. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11780342_3.
Texto completoCornelis, Chris y Etienne E. Kerre. "Inclusion-Based Approximate Reasoning". En Computational Science - ICCS 2001, 221–30. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-45718-6_25.
Texto completoPolkowski, Lech T. "Approximate Reasoning: Rough Logics". En Studies in Computational Intelligence, 207–34. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-91680-0_7.
Texto completoDũng, Phan Minh y Tran Cao Son. "Default Reasoning with Specificity". En Computational Logic — CL 2000, 792–806. Berlin, Heidelberg: Springer Berlin Heidelberg, 2000. http://dx.doi.org/10.1007/3-540-44957-4_53.
Texto completoActas de conferencias sobre el tema "Computational reasoning"
Dias, Rafael, Aniko Costa, Jose Malaquias y Manuel Camara. "Teaching Computational Reasoning without a Computer". En IECON 2019 - 45th Annual Conference of the IEEE Industrial Electronics Society. IEEE, 2019. http://dx.doi.org/10.1109/iecon.2019.8927169.
Texto completoHogan, Alexander H., Kevin Hogan y Christian Tilt. "On the Cruelty of Computational Reasoning". En Politics of the Machines - Art and After. BCS Learning & Development, 2018. http://dx.doi.org/10.14236/ewic/evac18.3.
Texto completoWalker, Vern R., Ji Hae Han, Xiang Ni y Kaneyasu Yoseda. "Semantic types for computational legal reasoning". En ICAIL '17: Sixteenth International Conference on Artificial Intelligence and Law. New York, NY, USA: ACM, 2017. http://dx.doi.org/10.1145/3086512.3086535.
Texto completoNitta, Katsumi, Stephen Wong y Yoshihisa Ohtake. "A computational model for trial reasoning". En the fourth international conference. New York, New York, USA: ACM Press, 1993. http://dx.doi.org/10.1145/158976.158979.
Texto completoSt-Vincent, Pierre, Daniel Poulin y Paul Bratley. "A computational framework for dialectical reasoning". En the fifth international conference. New York, New York, USA: ACM Press, 1995. http://dx.doi.org/10.1145/222092.222224.
Texto completoMaurer, Peter M. "Teaching Induction and Deductive Reasoning". En 2022 International Conference on Computational Science and Computational Intelligence (CSCI). IEEE, 2022. http://dx.doi.org/10.1109/csci58124.2022.00368.
Texto completoWallner, Johannes P. "Computational Argumentation: Reasoning, Dynamics, and Supporting Explainability". En Thirty-Third International Joint Conference on Artificial Intelligence {IJCAI-24}. California: International Joint Conferences on Artificial Intelligence Organization, 2024. http://dx.doi.org/10.24963/ijcai.2024/986.
Texto completoMirzaee, Roshanak y Parisa Kordjamshidi. "Disentangling Extraction and Reasoning in Multi-hop Spatial Reasoning". En Findings of the Association for Computational Linguistics: EMNLP 2023. Stroudsburg, PA, USA: Association for Computational Linguistics, 2023. http://dx.doi.org/10.18653/v1/2023.findings-emnlp.221.
Texto completoCanavotto, Ilaria y John Horty. "Piecemeal Knowledge Acquisition for Computational Normative Reasoning". En AIES '22: AAAI/ACM Conference on AI, Ethics, and Society. New York, NY, USA: ACM, 2022. http://dx.doi.org/10.1145/3514094.3534182.
Texto completoGe, Qiang y Fengbin Zheng. "Study on Family Relations Reasoning Based on Automated Reasoning". En 2010 International Conference on Computational Intelligence and Software Engineering (CiSE). IEEE, 2010. http://dx.doi.org/10.1109/cise.2010.5677058.
Texto completoInformes sobre el tema "Computational reasoning"
SENGLAUB, MICHAEL E., DAVID L. HARRIS y ELAINE M. RAYBOURN. Foundations for Reasoning in Cognition-Based Computational Representations of Human Decision Making. Office of Scientific and Technical Information (OSTI), noviembre de 2001. http://dx.doi.org/10.2172/789585.
Texto completoBorgwardt, Stefan, Felix Distel y Rafael Peñaloza. Gödel Description Logics: Decidability in the Absence of the Finitely-Valued Model Property. Technische Universität Dresden, 2013. http://dx.doi.org/10.25368/2022.199.
Texto completoBorgwardt, Stefan, Marcel Lippmann y Veronika Thost. Reasoning with Temporal Properties over Axioms of DL-Lite. Technische Universität Dresden, 2014. http://dx.doi.org/10.25368/2022.208.
Texto completoBonatti, Piero, Carsten Lutz y Frank Wolter. Expressive Non-Monotonic Description Logics Based on Circumscription. Technische Universität Dresden, 2005. http://dx.doi.org/10.25368/2022.149.
Texto completoDistel, Felix. Model-based Most Specific Concepts in Description Logics with Value Restrictions. Technische Universität Dresden, 2008. http://dx.doi.org/10.25368/2022.167.
Texto completoLutz, Carsten y Maja Miličić. Description Logics with Concrete Domains and Functional Dependencies. Technische Universität Dresden, 2004. http://dx.doi.org/10.25368/2022.143.
Texto completoLiu, Hongkai, Carsten Lutz, Maja Miličić y Frank Wolter. Description Logic Actions with general TBoxes: a Pragmatic Approach. Aachen University of Technology, 2006. http://dx.doi.org/10.25368/2022.156.
Texto completoLutz, Carsten y Frank Wolter. Modal Logics of Topological Relations. Technische Universität Dresden, 2004. http://dx.doi.org/10.25368/2022.142.
Texto completoGil, Oliver Fernández y Anni-Yasmin Turhan. Answering Regular Path Queries Under Approximate Semantics in Lightweight Description Logics. Technische Universität Dresden, 2020. http://dx.doi.org/10.25368/2022.261.
Texto completoLutz, Carsten, Carlos Areces, Ian Horrocks y Ulrike Sattler. Keys, Nominals, and Concrete Domains. Technische Universität Dresden, 2002. http://dx.doi.org/10.25368/2022.122.
Texto completo