Reasoning and Being Rational
Reference - Education - Methods and Theories - Learning Theories. Many teachers expect students to be rational, but don't explain what that means. Improve your reasoning. An essay by Rick Garlikov. ...
www.akat.com
Northwestern University -Qualitative reasoning group
Computers - Artificial Intelligence - Academic Departments. Explores the nature of common sense reasoning including qualitative modeling of physical phenomena, analogical reasoning and learning, and creating educational software for science and engineering. ...
www.qrg.northwestern.edu
Case-based Reasoning website of the IIIA
Computers - Artificial Intelligence - Machine Learning - Case-Based Reasoning. Research and development work related to Case-based Reasoning (CBR) performed on the Institut d'Investigació en Intelligència Artificial (IIIA). ...
www.iiia.csic.es
Ethical Reasoning and the Art of Classroom Dialogue
Reference - Education - K through 12 - Educators - Teaching Resources. Techniques for leading classroom dialogue with students in which students feel secure to express their own thoughts instead of pa ...
www.goodcharacter.com
Case-Based Reasoning: Experiences, Lessons, and Future Directions
Computers - Artificial Intelligence - Machine Learning - Case-Based Reasoning. Home page for the AAAI Press book, edited by David Leake. Includes the table of contents and a link to an on-line version of the chapter "CBR in Context: The Present and Future," a tutorial and overview of case-based reasoning ...
www.cs.indiana.edu
Improving Accuracy by Combining Rule-based and Case-based Reasoning
Computers - Artificial Intelligence - Machine Learning - Case-Based Reasoning. Abstract for full paper, PDF full text available. "An architecture is presented for combining rule-based and case-based reasoning." Published in Artificial Intelligence in 1996. ...
www.merl.com
Artificial Intelligence and Case-Based Reasoning (AI-CBR) Group
Computers - Artificial Intelligence - Machine Learning - Case-Based Reasoning. Affiliated with the Laboratory for Knowledge Discovery in Databases (KDD) at Kansas State University - emphasis on open-source software for AI and CBR ...
Automated Reasoning
Society - Philosophy - Reference - Stanford Encyclopedia of Philosophy. Survey of automated deduction and theorem proving; by Frederic Portoraro. ...
plato.stanford.edu
INKA Inductive Theorem Prover
Computers - Programming - Languages - Specification. First-order theorem prover with induction based on the explicit induction paradigm. It is based on a full first-order calculus, a special variant o ...
www.dfki.de
Qualitative Reasoning Research at UTexas
Computers - Artificial Intelligence - Qualitative Physics. Qualitative Reasoning Research at UTexas which has one of the premier QP research centers ...
www.cs.utexas.edu
TMYCIN: Medical Reasoning System
Computers - Artificial Intelligence - Applications - Medical Research and Medicine. Developed by Novak and Causey in 1988, TMYCIN is a medical reasoning system developed at the University of Texas, Au ...
www.cs.cmu.edu
Online Thinking and Reasoning Study
Science - Social Sciences - Psychology - Tests and Testing - Online Experiments. Participate in online reasoning research that investigates how people make decisions and come to conclusions. From the ...
homepage.usask.ca
Stanford University - Formal Reasoning Group
Computers - Artificial Intelligence - Academic Departments. Research on reasoning, including default and nonmonotonic reasoning. ...
www-formal.stanford.edu
Database of Existing Mechanized Reasoning Systems
Science - Math - Logic and Foundations - Software. A list (over 50 entries) of automatic resolution provers (like Otter), interactive provers (like PVS) and other mechanized reasoning tools. ...
www-formal.stanford.edu
Automated Reasoning Group
Reference - Education - Colleges and Universities - Europe - United Kingdom - England - University of Cambridge - Research - School of Technology - Computer Laboratory. Details of the group concerned ...
Scientific Reasoning Research Institute (SRRI)
Reference - Education - Colleges and Universities - North America - United States - Massachusetts - University of Massachusetts - Amherst - Research. An interdisciplinary research organization devoted ...
www.umass.edu
Scientific Reasoning Research Institute (SRRI)
Science - Physics - Education - Research. An interdisciplinary research organization devoted to the study of learning and instruction in the sciences and mathematics. Researchers perform cognitive res ...
Automated Reasoning
Science - Math - Logic and Foundations - Computational Logic - Automated Reasoning. Survey of automated deduction and theorem proving; from the Stanford Encyclopedia of Philosophy by Frederic Portoraro. ...
plato.stanford.edu
University of Ljubljana - Artificial Intelligence Laboratory
Computers - Artificial Intelligence - Academic Departments. Research in machine learning, inductive logic programming, neural networks, and AI applications in system control, and qualitative reasoning. ...
top
