Interpretation and Coherence in Legal Reasoning
Society - Philosophy - Reference - Stanford Encyclopedia of Philosophy. Survey of theories on legal reasoning; by Julie Dickson. ...
plato.stanford.edu
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
Illation: Case Based Reasoning on Java platform
Computers - Artificial Intelligence - Machine Learning - Case-Based Reasoning. Java-based Artificial Intelligence technology: Experience Based Reasoning and Case Based Reasoning, Neural Networks and Natural Language Processing for knowledge management, dissemination, and retrieval. ...
www.illation.com.sg
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 ...
www.kddresearch.org
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
Automated Reasoning
Society - Philosophy - Reference - Stanford Encyclopedia of Philosophy. Survey of automated deduction and theorem proving; by Frederic Portoraro. ...
plato.stanford.edu
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
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 ...
www.cl.cam.ac.uk
Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX)
Computers - Artificial Intelligence - Conferences and Events - Past Conferences and Events. 2005, September 14-17, Koblenz, Germany. Theoretical foundations, implementation, development and applicatio ...
tableaux2005.uni-koblenz.de
Reasoning about Computational Resource Allocation
Computers - Artificial Intelligence - Machine Learning. An introduction to "anytime" algorithms. Published in Crossroads, the student magazine of the ACM. ...
www.acm.org
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 ...
srri.umass.edu
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. ...
www.ailab.si
Inductive Definitions in Type Theory
Science - Math - Logic and Foundations - Nonstandard Logics and Extensions - Intuitionistic Logic - Martin-Löf's Type Theory. Internet resource accompanying a graduate course given by Peter Dybjer. ...
www.cs.chalmers.se
top
