Littérature scientifique sur le sujet « Computational reasoning »
Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres
Sommaire
Consultez les listes thématiques d’articles de revues, de livres, de thèses, de rapports de conférences et d’autres sources académiques sur le sujet « Computational reasoning ».
À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.
Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.
Articles de revues sur le sujet "Computational reasoning"
Dixon, Lucas, Ross Duncan et Aleks Kissinger. « Open Graphs and Computational Reasoning ». Electronic Proceedings in Theoretical Computer Science 26 (9 juin 2010) : 169–80. http://dx.doi.org/10.4204/eptcs.26.16.
Texte intégralThompson, Errol. « Teaching Computational Reasoning Through Construals ». Education & ; Self Development 13, no 3 (30 septembre 2018) : 40–52. http://dx.doi.org/10.26907/esd13.3.05.
Texte intégralRayward-Smith, V. J., et A. Gammerman. « Computational Learning and Probabilistic Reasoning ». Journal of the Operational Research Society 48, no 7 (juillet 1997) : 756. http://dx.doi.org/10.2307/3010065.
Texte intégralTsafnat, G., et E. W. Coiera. « Computational Reasoning across Multiple Models ». Journal of the American Medical Informatics Association 16, no 6 (28 août 2009) : 768–74. http://dx.doi.org/10.1197/jamia.m3023.
Texte intégralBrown, A. G. P., et F. P. Coenen. « Spatial reasoning : improving computational efficiency ». Automation in Construction 9, no 4 (juillet 2000) : 361–67. http://dx.doi.org/10.1016/s0926-5805(99)00019-9.
Texte intégralBliss, Joan, Jon Ogborn, Richard Boohan, Jonathan Briggs, Tim Brosnan, Derek Brough, Harvey Mellar et al. « Reasoning supported by computational tools ». Computers & ; Education 18, no 1-3 (janvier 1992) : 1–9. http://dx.doi.org/10.1016/0360-1315(92)90030-9.
Texte intégralGuan, J. W., D. A. Bell et Z. Guan. « Computational methods for evidential reasoning ». Irish Journal of Psychology 14, no 3 (janvier 1993) : 508–9. http://dx.doi.org/10.1080/03033910.1993.10557960.
Texte intégralGrass, Joshua. « Reasoning about computational resource allocation ». XRDS : Crossroads, The ACM Magazine for Students 3, no 1 (septembre 1996) : 16–20. http://dx.doi.org/10.1145/332148.332154.
Texte intégralGammerman, A. « Computational Learning and Probabilistic Reasoning ». Journal of the Operational Research Society 48, no 7 (juillet 1997) : 756–57. http://dx.doi.org/10.1057/palgrave.jors.2600381.
Texte intégralGammerman, A. « Computational Learning and Probabilistic Reasoning ». Journal of the Operational Research Society 48, no 7 (1997) : 756. http://dx.doi.org/10.1038/sj.jors.2600381.
Texte intégralThèses sur le sujet "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.
Texte intégralPease, Alison. « A computational model of Lakatos-style reasoning ». Thesis, University of Edinburgh, 2007. http://hdl.handle.net/1842/2113.
Texte intégralSanchez, 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.
Texte intégralBachelors
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.
Texte intégralGriffith, Todd W. « A computational theory of generative modeling in scientific reasoning ». Diss., Georgia Institute of Technology, 1999. http://hdl.handle.net/1853/8177.
Texte intégralWong, Yiu Kwong. « Application of computational models and qualitative reasoning to economics ». Thesis, Heriot-Watt University, 1996. http://hdl.handle.net/10399/688.
Texte intégralSchoter, Andreas. « The computational application of bilattice logic to natural reasoning ». Thesis, University of Edinburgh, 1996. http://hdl.handle.net/1842/434.
Texte intégralHatzilygeroudis, 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.
Texte intégralAronoff, 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.
Texte intégralThis 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.
Texte intégralLivres sur le sujet "Computational reasoning"
A, Gammerman, dir. Computational learning and probabilistic reasoning. Chichester : Wiley, 1996.
Trouver le texte intégral1942-, Chandrasekaran B., Glasgow Janice et Narayanan N. Hari, dir. Diagrammatic reasoning : Cognitive and computational perspectives. Menlo Park, Calif : AAAI Press, 1995.
Trouver le texte intégralPrade, Henri, et Gilles Richard, dir. Computational Approaches to Analogical Reasoning : Current Trends. Berlin, Heidelberg : Springer Berlin Heidelberg, 2014. http://dx.doi.org/10.1007/978-3-642-54516-0.
Texte intégral1971-, Feeney Aidan, et Heit Evan 1965-, dir. Inductive reasoning : Experimental, developmental, and computational approaches. Cambridge : Cambridge University Press, 2007.
Trouver le texte intégralMagnani, Lorenzo, Nancy J. Nersessian et Claudio Pizzi, dir. Logical and Computational Aspects of Model-Based Reasoning. Dordrecht : Springer Netherlands, 2002. http://dx.doi.org/10.1007/978-94-010-0550-0.
Texte intégralLorenzo, Magnani, Nersessian Nancy J, Pizzi Claudio 1944- et International Conference on Model-Based Reasoning : Scientific Discovery, Technological Innovation, Values (2001 : Pavia, Italy )., dir. Logical and computational aspects of model-based reasoning. Dordrecht : Kluwer Academic, 2002.
Trouver le texte intégralVapnik, Vladimir Naumovich. The nature of statistical learning theory. New York : Springer, 1995.
Trouver le texte intégralRennels, 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.
Texte intégralRennels, Glenn D. A Computational model of reasoning from the clinical literature. Berlin : Springer-Verlag, 1987.
Trouver le texte intégralItaly) COMMA (Conference) (3rd 2010 Desenzano del Garda. Computational models of argument : Proceedings of COMMA 2010. Amsterdam : IOS Press, 2010.
Trouver le texte intégralChapitres de livres sur le sujet "Computational reasoning"
Hausser, Roland. « Logical Reasoning ». Dans Computational Cognition, 51–67. Cham : Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-37499-9_4.
Texte intégralHausser, Roland. « Common Sense Reasoning ». Dans Computational Cognition, 69–79. Cham : Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-37499-9_5.
Texte intégralDalla Chiara, M., R. Giuntini et R. Greechie. « Quantum computational logic ». Dans Reasoning in Quantum Theory, 249–66. Dordrecht : Springer Netherlands, 2004. http://dx.doi.org/10.1007/978-94-017-0526-4_17.
Texte intégralRosati, Riccardo. « Integrating Ontologies and Rules : Semantic and Computational Issues ». Dans Reasoning Web, 128–51. Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11837787_5.
Texte intégralHendrickson, Noel. « Applied Counterfactual Reasoning ». Dans Computational Methods for Counterterrorism, 249–62. Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-01141-2_13.
Texte intégralMartin, Ursula. « Computers, Reasoning and Mathematical Practice ». Dans Computational Logic, 301–46. Berlin, Heidelberg : Springer Berlin Heidelberg, 1999. http://dx.doi.org/10.1007/978-3-642-58622-4_9.
Texte intégralBackhouse, Roland. « Datatype-Generic Reasoning ». Dans Logical Approaches to Computational Barriers, 21–34. Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11780342_3.
Texte intégralCornelis, Chris, et Etienne E. Kerre. « Inclusion-Based Approximate Reasoning ». Dans Computational Science - ICCS 2001, 221–30. Berlin, Heidelberg : Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-45718-6_25.
Texte intégralPolkowski, Lech T. « Approximate Reasoning : Rough Logics ». Dans Studies in Computational Intelligence, 207–34. Cham : Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-91680-0_7.
Texte intégralDũng, Phan Minh, et Tran Cao Son. « Default Reasoning with Specificity ». Dans Computational Logic — CL 2000, 792–806. Berlin, Heidelberg : Springer Berlin Heidelberg, 2000. http://dx.doi.org/10.1007/3-540-44957-4_53.
Texte intégralActes de conférences sur le sujet "Computational reasoning"
Dias, Rafael, Aniko Costa, Jose Malaquias et Manuel Camara. « Teaching Computational Reasoning without a Computer ». Dans IECON 2019 - 45th Annual Conference of the IEEE Industrial Electronics Society. IEEE, 2019. http://dx.doi.org/10.1109/iecon.2019.8927169.
Texte intégralHogan, Alexander H., Kevin Hogan et Christian Tilt. « On the Cruelty of Computational Reasoning ». Dans Politics of the Machines - Art and After. BCS Learning & Development, 2018. http://dx.doi.org/10.14236/ewic/evac18.3.
Texte intégralWalker, Vern R., Ji Hae Han, Xiang Ni et Kaneyasu Yoseda. « Semantic types for computational legal reasoning ». Dans ICAIL '17 : Sixteenth International Conference on Artificial Intelligence and Law. New York, NY, USA : ACM, 2017. http://dx.doi.org/10.1145/3086512.3086535.
Texte intégralNitta, Katsumi, Stephen Wong et Yoshihisa Ohtake. « A computational model for trial reasoning ». Dans the fourth international conference. New York, New York, USA : ACM Press, 1993. http://dx.doi.org/10.1145/158976.158979.
Texte intégralSt-Vincent, Pierre, Daniel Poulin et Paul Bratley. « A computational framework for dialectical reasoning ». Dans the fifth international conference. New York, New York, USA : ACM Press, 1995. http://dx.doi.org/10.1145/222092.222224.
Texte intégralMaurer, Peter M. « Teaching Induction and Deductive Reasoning ». Dans 2022 International Conference on Computational Science and Computational Intelligence (CSCI). IEEE, 2022. http://dx.doi.org/10.1109/csci58124.2022.00368.
Texte intégralWallner, Johannes P. « Computational Argumentation : Reasoning, Dynamics, and Supporting Explainability ». Dans 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.
Texte intégralMirzaee, Roshanak, et Parisa Kordjamshidi. « Disentangling Extraction and Reasoning in Multi-hop Spatial Reasoning ». Dans 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.
Texte intégralCanavotto, Ilaria, et John Horty. « Piecemeal Knowledge Acquisition for Computational Normative Reasoning ». Dans AIES '22 : AAAI/ACM Conference on AI, Ethics, and Society. New York, NY, USA : ACM, 2022. http://dx.doi.org/10.1145/3514094.3534182.
Texte intégralGe, Qiang, et Fengbin Zheng. « Study on Family Relations Reasoning Based on Automated Reasoning ». Dans 2010 International Conference on Computational Intelligence and Software Engineering (CiSE). IEEE, 2010. http://dx.doi.org/10.1109/cise.2010.5677058.
Texte intégralRapports d'organisations sur le sujet "Computational reasoning"
SENGLAUB, MICHAEL E., DAVID L. HARRIS et ELAINE M. RAYBOURN. Foundations for Reasoning in Cognition-Based Computational Representations of Human Decision Making. Office of Scientific and Technical Information (OSTI), novembre 2001. http://dx.doi.org/10.2172/789585.
Texte intégralBorgwardt, Stefan, Felix Distel et 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.
Texte intégralBorgwardt, Stefan, Marcel Lippmann et Veronika Thost. Reasoning with Temporal Properties over Axioms of DL-Lite. Technische Universität Dresden, 2014. http://dx.doi.org/10.25368/2022.208.
Texte intégralBonatti, Piero, Carsten Lutz et Frank Wolter. Expressive Non-Monotonic Description Logics Based on Circumscription. Technische Universität Dresden, 2005. http://dx.doi.org/10.25368/2022.149.
Texte intégralDistel, 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.
Texte intégralLutz, Carsten, et Maja Miličić. Description Logics with Concrete Domains and Functional Dependencies. Technische Universität Dresden, 2004. http://dx.doi.org/10.25368/2022.143.
Texte intégralLiu, Hongkai, Carsten Lutz, Maja Miličić et Frank Wolter. Description Logic Actions with general TBoxes : a Pragmatic Approach. Aachen University of Technology, 2006. http://dx.doi.org/10.25368/2022.156.
Texte intégralLutz, Carsten, et Frank Wolter. Modal Logics of Topological Relations. Technische Universität Dresden, 2004. http://dx.doi.org/10.25368/2022.142.
Texte intégralGil, Oliver Fernández, et 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.
Texte intégralLutz, Carsten, Carlos Areces, Ian Horrocks et Ulrike Sattler. Keys, Nominals, and Concrete Domains. Technische Universität Dresden, 2002. http://dx.doi.org/10.25368/2022.122.
Texte intégral