AutomatedReasoning
Society - Philosophy - Reference - Stanford Encyclopedia of Philosophy. Survey of automated deduction and theorem proving; by Frederic Portoraro. ...
plato.stanford.edu
AutomatedReasoning Group
Reference - Education - Colleges and Universities - Europe - United Kingdom - England - University of Cambridge - Research - School of Technology - Computer Laboratory. Details of the group concerned ...
AutomatedReasoning
Science - Math - Logic and Foundations - Computational Logic - AutomatedReasoning. Survey of automated deduction and theorem proving; from the Stanford Encyclopedia of Philosophy by Frederic Portoraro. ...
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
Journal of AutomatedReasoning
Computers - Artificial Intelligence - Publications - Journals. Interdisciplinary Journal covering theory, implementation and application. Online archive and full text for subscribers. ...
www.springerlink.com
Journal of AutomatedReasoning
Science - Math - Logic and Foundations - Publications - Journals. Interdisciplinary Journal covering theory, implementation and application. Online archive and full text for subscribers. ...
www.springerlink.com
AutomatedReasoning Project
Science - Math - Logic and Foundations - Software. Web resource provided by research group. Includes access to software developed by the team, covering such projects as FINDER (Finite Domain Enumerato ...
cslab.anu.edu.au
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
Automated Info Solutions
Reference - Knowledge Management - Knowledge Discovery - Text Mining. Products and services offering automated collection of data from public web sites. Features overviews and contact information. ...
www.automated-info-solutions.com
Automated Control Services
Regional - Europe - United Kingdom - Business and Economy - Construction and Maintenance - Contractors - Electrical. Installers of automated windows, doors, gates and access control systems. Includes ...
www.automatedcontrolservices.co.uk
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
BAT (Bayesian Automated Taxi) project
Computers - Artificial Intelligence - Belief Networks - Projects and Systems. Developing next generation real-time decision making tools for vision-guided automated intelligent cars. ...
www.cs.berkeley.edu
MACPASS - Automated Toll Collection System
Recreation - Roads and Highways - Toll and Automated. Service available for crossing of various bridges in the Maritime Provinces of Canada. FAQs, price information, and application forms. ...
www.macpass.com
Plasma Cutting Machines at Automated Products
Business - Industrial Goods and Services - Machinery and Tools - Plasma Technology. Automated Products offers quality affordable services for CNC cutting machines. Parts are available as well as diagnostic, repair, training and retrofitting services. ...
www.automated-products.com
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. ...
top
