Добірка наукової літератури з теми "Computational reasoning"
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся зі списками актуальних статей, книг, дисертацій, тез та інших наукових джерел на тему "Computational reasoning".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Статті в журналах з теми "Computational reasoning"
Dixon, Lucas, Ross Duncan, and Aleks Kissinger. "Open Graphs and Computational Reasoning." Electronic Proceedings in Theoretical Computer Science 26 (June 9, 2010): 169–80. http://dx.doi.org/10.4204/eptcs.26.16.
Повний текст джерелаThompson, Errol. "Teaching Computational Reasoning Through Construals." Education & Self Development 13, no. 3 (September 30, 2018): 40–52. http://dx.doi.org/10.26907/esd13.3.05.
Повний текст джерелаRayward-Smith, V. J., and A. Gammerman. "Computational Learning and Probabilistic Reasoning." Journal of the Operational Research Society 48, no. 7 (July 1997): 756. http://dx.doi.org/10.2307/3010065.
Повний текст джерелаTsafnat, G., and E. W. Coiera. "Computational Reasoning across Multiple Models." Journal of the American Medical Informatics Association 16, no. 6 (August 28, 2009): 768–74. http://dx.doi.org/10.1197/jamia.m3023.
Повний текст джерелаBrown, A. G. P., and F. P. Coenen. "Spatial reasoning: improving computational efficiency." Automation in Construction 9, no. 4 (July 2000): 361–67. http://dx.doi.org/10.1016/s0926-5805(99)00019-9.
Повний текст джерелаBliss, 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 (January 1992): 1–9. http://dx.doi.org/10.1016/0360-1315(92)90030-9.
Повний текст джерелаGuan, J. W., D. A. Bell, and Z. Guan. "Computational methods for evidential reasoning." Irish Journal of Psychology 14, no. 3 (January 1993): 508–9. http://dx.doi.org/10.1080/03033910.1993.10557960.
Повний текст джерелаGrass, Joshua. "Reasoning about computational resource allocation." XRDS: Crossroads, The ACM Magazine for Students 3, no. 1 (September 1996): 16–20. http://dx.doi.org/10.1145/332148.332154.
Повний текст джерелаGammerman, A. "Computational Learning and Probabilistic Reasoning." Journal of the Operational Research Society 48, no. 7 (July 1997): 756–57. http://dx.doi.org/10.1057/palgrave.jors.2600381.
Повний текст джерелаGammerman, 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.
Повний текст джерелаДисертації з теми "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.
Повний текст джерелаPease, Alison. "A computational model of Lakatos-style reasoning." Thesis, University of Edinburgh, 2007. http://hdl.handle.net/1842/2113.
Повний текст джерелаSanchez, 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.
Повний текст джерелаBachelors
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.
Повний текст джерелаGriffith, Todd W. "A computational theory of generative modeling in scientific reasoning." Diss., Georgia Institute of Technology, 1999. http://hdl.handle.net/1853/8177.
Повний текст джерелаWong, Yiu Kwong. "Application of computational models and qualitative reasoning to economics." Thesis, Heriot-Watt University, 1996. http://hdl.handle.net/10399/688.
Повний текст джерелаSchoter, Andreas. "The computational application of bilattice logic to natural reasoning." Thesis, University of Edinburgh, 1996. http://hdl.handle.net/1842/434.
Повний текст джерелаHatzilygeroudis, 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.
Повний текст джерелаAronoff, 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.
Повний текст джерелаThis 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.
Повний текст джерелаКниги з теми "Computational reasoning"
A, Gammerman, ed. Computational learning and probabilistic reasoning. Chichester: Wiley, 1996.
Знайти повний текст джерела1942-, Chandrasekaran B., Glasgow Janice, and Narayanan N. Hari, eds. Diagrammatic reasoning: Cognitive and computational perspectives. Menlo Park, Calif: AAAI Press, 1995.
Знайти повний текст джерелаPrade, Henri, and 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.
Повний текст джерела1971-, Feeney Aidan, and Heit Evan 1965-, eds. Inductive reasoning: Experimental, developmental, and computational approaches. Cambridge: Cambridge University Press, 2007.
Знайти повний текст джерелаMagnani, Lorenzo, Nancy J. Nersessian, and 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.
Повний текст джерелаLorenzo, Magnani, Nersessian Nancy J, Pizzi Claudio 1944-, and 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.
Знайти повний текст джерелаVapnik, Vladimir Naumovich. The nature of statistical learning theory. New York: Springer, 1995.
Знайти повний текст джерелаRennels, 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.
Повний текст джерелаRennels, Glenn D. A Computational model of reasoning from the clinical literature. Berlin: Springer-Verlag, 1987.
Знайти повний текст джерелаItaly) COMMA (Conference) (3rd 2010 Desenzano del Garda. Computational models of argument: Proceedings of COMMA 2010. Amsterdam: IOS Press, 2010.
Знайти повний текст джерелаЧастини книг з теми "Computational reasoning"
Hausser, Roland. "Logical Reasoning." In Computational Cognition, 51–67. Cham: Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-37499-9_4.
Повний текст джерелаHausser, Roland. "Common Sense Reasoning." In Computational Cognition, 69–79. Cham: Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-37499-9_5.
Повний текст джерелаDalla Chiara, M., R. Giuntini, and R. Greechie. "Quantum computational logic." In Reasoning in Quantum Theory, 249–66. Dordrecht: Springer Netherlands, 2004. http://dx.doi.org/10.1007/978-94-017-0526-4_17.
Повний текст джерелаRosati, Riccardo. "Integrating Ontologies and Rules: Semantic and Computational Issues." In Reasoning Web, 128–51. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11837787_5.
Повний текст джерелаHendrickson, Noel. "Applied Counterfactual Reasoning." In Computational Methods for Counterterrorism, 249–62. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-01141-2_13.
Повний текст джерелаMartin, Ursula. "Computers, Reasoning and Mathematical Practice." In Computational Logic, 301–46. Berlin, Heidelberg: Springer Berlin Heidelberg, 1999. http://dx.doi.org/10.1007/978-3-642-58622-4_9.
Повний текст джерелаBackhouse, Roland. "Datatype-Generic Reasoning." In Logical Approaches to Computational Barriers, 21–34. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11780342_3.
Повний текст джерелаCornelis, Chris, and Etienne E. Kerre. "Inclusion-Based Approximate Reasoning." In Computational Science - ICCS 2001, 221–30. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-45718-6_25.
Повний текст джерелаPolkowski, Lech T. "Approximate Reasoning: Rough Logics." In Studies in Computational Intelligence, 207–34. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-91680-0_7.
Повний текст джерелаDũng, Phan Minh, and Tran Cao Son. "Default Reasoning with Specificity." In Computational Logic — CL 2000, 792–806. Berlin, Heidelberg: Springer Berlin Heidelberg, 2000. http://dx.doi.org/10.1007/3-540-44957-4_53.
Повний текст джерелаТези доповідей конференцій з теми "Computational reasoning"
Dias, Rafael, Aniko Costa, Jose Malaquias, and Manuel Camara. "Teaching Computational Reasoning without a Computer." In IECON 2019 - 45th Annual Conference of the IEEE Industrial Electronics Society. IEEE, 2019. http://dx.doi.org/10.1109/iecon.2019.8927169.
Повний текст джерелаHogan, Alexander H., Kevin Hogan, and Christian Tilt. "On the Cruelty of Computational Reasoning." In Politics of the Machines - Art and After. BCS Learning & Development, 2018. http://dx.doi.org/10.14236/ewic/evac18.3.
Повний текст джерелаWalker, Vern R., Ji Hae Han, Xiang Ni, and Kaneyasu Yoseda. "Semantic types for computational legal reasoning." In ICAIL '17: Sixteenth International Conference on Artificial Intelligence and Law. New York, NY, USA: ACM, 2017. http://dx.doi.org/10.1145/3086512.3086535.
Повний текст джерелаNitta, Katsumi, Stephen Wong, and Yoshihisa Ohtake. "A computational model for trial reasoning." In the fourth international conference. New York, New York, USA: ACM Press, 1993. http://dx.doi.org/10.1145/158976.158979.
Повний текст джерелаSt-Vincent, Pierre, Daniel Poulin, and Paul Bratley. "A computational framework for dialectical reasoning." In the fifth international conference. New York, New York, USA: ACM Press, 1995. http://dx.doi.org/10.1145/222092.222224.
Повний текст джерелаMaurer, Peter M. "Teaching Induction and Deductive Reasoning." In 2022 International Conference on Computational Science and Computational Intelligence (CSCI). IEEE, 2022. http://dx.doi.org/10.1109/csci58124.2022.00368.
Повний текст джерелаWallner, Johannes P. "Computational Argumentation: Reasoning, Dynamics, and Supporting Explainability." In 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.
Повний текст джерелаMirzaee, Roshanak, and Parisa Kordjamshidi. "Disentangling Extraction and Reasoning in Multi-hop Spatial Reasoning." In 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.
Повний текст джерелаCanavotto, Ilaria, and John Horty. "Piecemeal Knowledge Acquisition for Computational Normative Reasoning." In AIES '22: AAAI/ACM Conference on AI, Ethics, and Society. New York, NY, USA: ACM, 2022. http://dx.doi.org/10.1145/3514094.3534182.
Повний текст джерелаGe, Qiang, and Fengbin Zheng. "Study on Family Relations Reasoning Based on Automated Reasoning." In 2010 International Conference on Computational Intelligence and Software Engineering (CiSE). IEEE, 2010. http://dx.doi.org/10.1109/cise.2010.5677058.
Повний текст джерелаЗвіти організацій з теми "Computational reasoning"
SENGLAUB, MICHAEL E., DAVID L. HARRIS, and ELAINE M. RAYBOURN. Foundations for Reasoning in Cognition-Based Computational Representations of Human Decision Making. Office of Scientific and Technical Information (OSTI), November 2001. http://dx.doi.org/10.2172/789585.
Повний текст джерелаBorgwardt, Stefan, Felix Distel, and 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.
Повний текст джерелаBorgwardt, Stefan, Marcel Lippmann, and Veronika Thost. Reasoning with Temporal Properties over Axioms of DL-Lite. Technische Universität Dresden, 2014. http://dx.doi.org/10.25368/2022.208.
Повний текст джерелаBonatti, Piero, Carsten Lutz, and Frank Wolter. Expressive Non-Monotonic Description Logics Based on Circumscription. Technische Universität Dresden, 2005. http://dx.doi.org/10.25368/2022.149.
Повний текст джерелаDistel, 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.
Повний текст джерелаLutz, Carsten, and Maja Miličić. Description Logics with Concrete Domains and Functional Dependencies. Technische Universität Dresden, 2004. http://dx.doi.org/10.25368/2022.143.
Повний текст джерелаLiu, Hongkai, Carsten Lutz, Maja Miličić, and Frank Wolter. Description Logic Actions with general TBoxes: a Pragmatic Approach. Aachen University of Technology, 2006. http://dx.doi.org/10.25368/2022.156.
Повний текст джерелаLutz, Carsten, and Frank Wolter. Modal Logics of Topological Relations. Technische Universität Dresden, 2004. http://dx.doi.org/10.25368/2022.142.
Повний текст джерелаGil, Oliver Fernández, and 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.
Повний текст джерелаLutz, Carsten, Carlos Areces, Ian Horrocks, and Ulrike Sattler. Keys, Nominals, and Concrete Domains. Technische Universität Dresden, 2002. http://dx.doi.org/10.25368/2022.122.
Повний текст джерела