Gotowa bibliografia na temat „Computational reasoning”
Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych
Spis treści
Zobacz listy aktualnych artykułów, książek, rozpraw, streszczeń i innych źródeł naukowych na temat „Computational reasoning”.
Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.
Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.
Artykuły w czasopismach na temat "Computational reasoning"
Dixon, Lucas, Ross Duncan i Aleks Kissinger. "Open Graphs and Computational Reasoning". Electronic Proceedings in Theoretical Computer Science 26 (9.06.2010): 169–80. http://dx.doi.org/10.4204/eptcs.26.16.
Pełny tekst źródłaThompson, Errol. "Teaching Computational Reasoning Through Construals". Education & Self Development 13, nr 3 (30.09.2018): 40–52. http://dx.doi.org/10.26907/esd13.3.05.
Pełny tekst źródłaRayward-Smith, V. J., i A. Gammerman. "Computational Learning and Probabilistic Reasoning". Journal of the Operational Research Society 48, nr 7 (lipiec 1997): 756. http://dx.doi.org/10.2307/3010065.
Pełny tekst źródłaTsafnat, G., i E. W. Coiera. "Computational Reasoning across Multiple Models". Journal of the American Medical Informatics Association 16, nr 6 (28.08.2009): 768–74. http://dx.doi.org/10.1197/jamia.m3023.
Pełny tekst źródłaBrown, A. G. P., i F. P. Coenen. "Spatial reasoning: improving computational efficiency". Automation in Construction 9, nr 4 (lipiec 2000): 361–67. http://dx.doi.org/10.1016/s0926-5805(99)00019-9.
Pełny tekst źródłaBliss, Joan, Jon Ogborn, Richard Boohan, Jonathan Briggs, Tim Brosnan, Derek Brough, Harvey Mellar i in. "Reasoning supported by computational tools". Computers & Education 18, nr 1-3 (styczeń 1992): 1–9. http://dx.doi.org/10.1016/0360-1315(92)90030-9.
Pełny tekst źródłaGuan, J. W., D. A. Bell i Z. Guan. "Computational methods for evidential reasoning". Irish Journal of Psychology 14, nr 3 (styczeń 1993): 508–9. http://dx.doi.org/10.1080/03033910.1993.10557960.
Pełny tekst źródłaGrass, Joshua. "Reasoning about computational resource allocation". XRDS: Crossroads, The ACM Magazine for Students 3, nr 1 (wrzesień 1996): 16–20. http://dx.doi.org/10.1145/332148.332154.
Pełny tekst źródłaGammerman, A. "Computational Learning and Probabilistic Reasoning". Journal of the Operational Research Society 48, nr 7 (lipiec 1997): 756–57. http://dx.doi.org/10.1057/palgrave.jors.2600381.
Pełny tekst źródłaGammerman, A. "Computational Learning and Probabilistic Reasoning". Journal of the Operational Research Society 48, nr 7 (1997): 756. http://dx.doi.org/10.1038/sj.jors.2600381.
Pełny tekst źródłaRozprawy doktorskie na temat "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.
Pełny tekst źródłaPease, Alison. "A computational model of Lakatos-style reasoning". Thesis, University of Edinburgh, 2007. http://hdl.handle.net/1842/2113.
Pełny tekst źródłaSanchez, 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.
Pełny tekst źródłaBachelors
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.
Pełny tekst źródłaGriffith, Todd W. "A computational theory of generative modeling in scientific reasoning". Diss., Georgia Institute of Technology, 1999. http://hdl.handle.net/1853/8177.
Pełny tekst źródłaWong, Yiu Kwong. "Application of computational models and qualitative reasoning to economics". Thesis, Heriot-Watt University, 1996. http://hdl.handle.net/10399/688.
Pełny tekst źródłaSchoter, Andreas. "The computational application of bilattice logic to natural reasoning". Thesis, University of Edinburgh, 1996. http://hdl.handle.net/1842/434.
Pełny tekst źródłaHatzilygeroudis, 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.
Pełny tekst źródłaAronoff, 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.
Pełny tekst źródłaThis 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.
Pełny tekst źródłaKsiążki na temat "Computational reasoning"
A, Gammerman, red. Computational learning and probabilistic reasoning. Chichester: Wiley, 1996.
Znajdź pełny tekst źródła1942-, Chandrasekaran B., Glasgow Janice i Narayanan N. Hari, red. Diagrammatic reasoning: Cognitive and computational perspectives. Menlo Park, Calif: AAAI Press, 1995.
Znajdź pełny tekst źródłaPrade, Henri, i Gilles Richard, red. Computational Approaches to Analogical Reasoning: Current Trends. Berlin, Heidelberg: Springer Berlin Heidelberg, 2014. http://dx.doi.org/10.1007/978-3-642-54516-0.
Pełny tekst źródła1971-, Feeney Aidan, i Heit Evan 1965-, red. Inductive reasoning: Experimental, developmental, and computational approaches. Cambridge: Cambridge University Press, 2007.
Znajdź pełny tekst źródłaMagnani, Lorenzo, Nancy J. Nersessian i Claudio Pizzi, red. Logical and Computational Aspects of Model-Based Reasoning. Dordrecht: Springer Netherlands, 2002. http://dx.doi.org/10.1007/978-94-010-0550-0.
Pełny tekst źródłaLorenzo, Magnani, Nersessian Nancy J, Pizzi Claudio 1944- i International Conference on Model-Based Reasoning: Scientific Discovery, Technological Innovation, Values (2001 : Pavia, Italy )., red. Logical and computational aspects of model-based reasoning. Dordrecht: Kluwer Academic, 2002.
Znajdź pełny tekst źródłaVapnik, Vladimir Naumovich. The nature of statistical learning theory. New York: Springer, 1995.
Znajdź pełny tekst źródłaRennels, 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.
Pełny tekst źródłaRennels, Glenn D. A Computational model of reasoning from the clinical literature. Berlin: Springer-Verlag, 1987.
Znajdź pełny tekst źródłaItaly) COMMA (Conference) (3rd 2010 Desenzano del Garda. Computational models of argument: Proceedings of COMMA 2010. Amsterdam: IOS Press, 2010.
Znajdź pełny tekst źródłaCzęści książek na temat "Computational reasoning"
Hausser, Roland. "Logical Reasoning". W Computational Cognition, 51–67. Cham: Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-37499-9_4.
Pełny tekst źródłaHausser, Roland. "Common Sense Reasoning". W Computational Cognition, 69–79. Cham: Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-37499-9_5.
Pełny tekst źródłaDalla Chiara, M., R. Giuntini i R. Greechie. "Quantum computational logic". W Reasoning in Quantum Theory, 249–66. Dordrecht: Springer Netherlands, 2004. http://dx.doi.org/10.1007/978-94-017-0526-4_17.
Pełny tekst źródłaRosati, Riccardo. "Integrating Ontologies and Rules: Semantic and Computational Issues". W Reasoning Web, 128–51. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11837787_5.
Pełny tekst źródłaHendrickson, Noel. "Applied Counterfactual Reasoning". W Computational Methods for Counterterrorism, 249–62. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-01141-2_13.
Pełny tekst źródłaMartin, Ursula. "Computers, Reasoning and Mathematical Practice". W Computational Logic, 301–46. Berlin, Heidelberg: Springer Berlin Heidelberg, 1999. http://dx.doi.org/10.1007/978-3-642-58622-4_9.
Pełny tekst źródłaBackhouse, Roland. "Datatype-Generic Reasoning". W Logical Approaches to Computational Barriers, 21–34. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11780342_3.
Pełny tekst źródłaCornelis, Chris, i Etienne E. Kerre. "Inclusion-Based Approximate Reasoning". W Computational Science - ICCS 2001, 221–30. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-45718-6_25.
Pełny tekst źródłaPolkowski, Lech T. "Approximate Reasoning: Rough Logics". W Studies in Computational Intelligence, 207–34. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-91680-0_7.
Pełny tekst źródłaDũng, Phan Minh, i Tran Cao Son. "Default Reasoning with Specificity". W Computational Logic — CL 2000, 792–806. Berlin, Heidelberg: Springer Berlin Heidelberg, 2000. http://dx.doi.org/10.1007/3-540-44957-4_53.
Pełny tekst źródłaStreszczenia konferencji na temat "Computational reasoning"
Dias, Rafael, Aniko Costa, Jose Malaquias i Manuel Camara. "Teaching Computational Reasoning without a Computer". W IECON 2019 - 45th Annual Conference of the IEEE Industrial Electronics Society. IEEE, 2019. http://dx.doi.org/10.1109/iecon.2019.8927169.
Pełny tekst źródłaHogan, Alexander H., Kevin Hogan i Christian Tilt. "On the Cruelty of Computational Reasoning". W Politics of the Machines - Art and After. BCS Learning & Development, 2018. http://dx.doi.org/10.14236/ewic/evac18.3.
Pełny tekst źródłaWalker, Vern R., Ji Hae Han, Xiang Ni i Kaneyasu Yoseda. "Semantic types for computational legal reasoning". W ICAIL '17: Sixteenth International Conference on Artificial Intelligence and Law. New York, NY, USA: ACM, 2017. http://dx.doi.org/10.1145/3086512.3086535.
Pełny tekst źródłaNitta, Katsumi, Stephen Wong i Yoshihisa Ohtake. "A computational model for trial reasoning". W the fourth international conference. New York, New York, USA: ACM Press, 1993. http://dx.doi.org/10.1145/158976.158979.
Pełny tekst źródłaSt-Vincent, Pierre, Daniel Poulin i Paul Bratley. "A computational framework for dialectical reasoning". W the fifth international conference. New York, New York, USA: ACM Press, 1995. http://dx.doi.org/10.1145/222092.222224.
Pełny tekst źródłaMaurer, Peter M. "Teaching Induction and Deductive Reasoning". W 2022 International Conference on Computational Science and Computational Intelligence (CSCI). IEEE, 2022. http://dx.doi.org/10.1109/csci58124.2022.00368.
Pełny tekst źródłaWallner, Johannes P. "Computational Argumentation: Reasoning, Dynamics, and Supporting Explainability". W 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.
Pełny tekst źródłaMirzaee, Roshanak, i Parisa Kordjamshidi. "Disentangling Extraction and Reasoning in Multi-hop Spatial Reasoning". W 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.
Pełny tekst źródłaCanavotto, Ilaria, i John Horty. "Piecemeal Knowledge Acquisition for Computational Normative Reasoning". W AIES '22: AAAI/ACM Conference on AI, Ethics, and Society. New York, NY, USA: ACM, 2022. http://dx.doi.org/10.1145/3514094.3534182.
Pełny tekst źródłaGe, Qiang, i Fengbin Zheng. "Study on Family Relations Reasoning Based on Automated Reasoning". W 2010 International Conference on Computational Intelligence and Software Engineering (CiSE). IEEE, 2010. http://dx.doi.org/10.1109/cise.2010.5677058.
Pełny tekst źródłaRaporty organizacyjne na temat "Computational reasoning"
SENGLAUB, MICHAEL E., DAVID L. HARRIS i ELAINE M. RAYBOURN. Foundations for Reasoning in Cognition-Based Computational Representations of Human Decision Making. Office of Scientific and Technical Information (OSTI), listopad 2001. http://dx.doi.org/10.2172/789585.
Pełny tekst źródłaBorgwardt, Stefan, Felix Distel i 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.
Pełny tekst źródłaBorgwardt, Stefan, Marcel Lippmann i Veronika Thost. Reasoning with Temporal Properties over Axioms of DL-Lite. Technische Universität Dresden, 2014. http://dx.doi.org/10.25368/2022.208.
Pełny tekst źródłaBonatti, Piero, Carsten Lutz i Frank Wolter. Expressive Non-Monotonic Description Logics Based on Circumscription. Technische Universität Dresden, 2005. http://dx.doi.org/10.25368/2022.149.
Pełny tekst źródłaDistel, 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.
Pełny tekst źródłaLutz, Carsten, i Maja Miličić. Description Logics with Concrete Domains and Functional Dependencies. Technische Universität Dresden, 2004. http://dx.doi.org/10.25368/2022.143.
Pełny tekst źródłaLiu, Hongkai, Carsten Lutz, Maja Miličić i Frank Wolter. Description Logic Actions with general TBoxes: a Pragmatic Approach. Aachen University of Technology, 2006. http://dx.doi.org/10.25368/2022.156.
Pełny tekst źródłaLutz, Carsten, i Frank Wolter. Modal Logics of Topological Relations. Technische Universität Dresden, 2004. http://dx.doi.org/10.25368/2022.142.
Pełny tekst źródłaGil, Oliver Fernández, i 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.
Pełny tekst źródłaLutz, Carsten, Carlos Areces, Ian Horrocks i Ulrike Sattler. Keys, Nominals, and Concrete Domains. Technische Universität Dresden, 2002. http://dx.doi.org/10.25368/2022.122.
Pełny tekst źródła