The mission of the Center for Automated Reasoning (Centaur) is to accelerate the state of the art in automated reasoning research by creating new theory and algorithms, building world-class tools, and creating automated reasoning-based solutions to..
DILab is a central part of the National Science Foundation (NSF) AI Institute for Adult Learning and Online Education (ALOE)... The Design Intelligence Laboratory (DILab) conducts research into computational design and creativity. The goals of our..
CONSULTING AND LEARNING. From time to time, we conduct tutorials on the theme of spatial reasoning and its applications as part of conferences etc. We also consult industry and special interest groups interested in utilising spatial representation..
Major research areas include instructable agents, evidence-based reasoning, ontologies and rules, multistrategy learning with an evolving knowledge representation, graphical user interfaces, integrated logic and probabilistic reasoning in uncertain..
Sawaal.com is leading website for questions and answers covering Quantitative Aptitude, General knowledge, Verbal reasoning, Non Verbal reasoning, Puzzles, Certifications, Competitive Exams , Technology and Interviews...
Cycorp is a leading provider of semantic technologies that bring a new level of intelligence and common sense reasoning to a wide variety of software applications. The Cyc software combines an unparalleled common sense ontology and knowledge base..
I'm a Ph.D. student in the Davis Automated Reasoning Group at UC Davis, advised by Prof. Aditya V. Thakur. I'm interested in programming languages, automated reasoning and machine learning...
We are professionals and very experienced tutors. With us you don't have to struggle with your Maths, English, Verbal reasoning and Non-verbal reasoning any more...
KSL conducts research in the areas of knowledge representation and automated reasoning in the Artificial Intelligence Laboratory of the Department of Computer Science at Stanford University. Current work focuses on enabling technology for the..
Stonereowe exists to solve the critical issues facing our clients, both large and small. Our novel approach to personality theory and measurement is not only what differentiates us, but also what makes us successful... In addition to our personality..
KSL conducts research in the areas of knowledge representation and automated reasoning in the Artificial Intelligence Laboratory of the Department of Computer Science at Stanford University. Current work focuses on enabling technology for the..
Much progress has been made on end-to-end learning for physical understanding and reasoning. If successful, understanding and reasoning about the visual and physical world promises far-reaching applications in robotics, machine vision, and the..
Y Legal Reasoning is a next generation AI platform that scales legal reasoning by productizing firm-specific subject matter expertise, resulting in offerings that solve the needs of firms' clients in context...
The theme of the workshop is "Urban Reasoning" which focuses on reasoning from complex challenges in cities. Urban reasoning is a process that empowers and extends the urban computing's vision as well as its applications. Urban computing aims to help..
Reflective Reasoning is a private practice that provides individual psychotherapy services to individuals, couples, and families. At Reflective Reasoning, we provide treatment that is individualized to our client's specific needs, and we help to..
Every organization has a few seasoned people who always seem to do the right thing in any situation. It is not their knowledge that enables them to do the right thing over 90% of the time. It is their reasoning power and scientific research has..
Principles of Knowledge Representation and Reasoning, Incorporated (KR Inc.) is a not for profit Scientific Foundation incorporated in the state of Massachusetts of the United States of America, concerned with fostering research and communication on..
Continuing the highly successful series of Workshops on Automated Reasoning, this event will provide an informal forum for the automated reasoning community. The workshop aims to bring together researchers from all areas of automated reasoning in..
Sirius-beta works outside conventional AI to deliver insights that elude existing methods; we help you understand possibilities beyond what you've experienced and your data has captured. This is possibilistic reasoning, this is the future of decision..
Algebraic Reasoning provides fun and interesting classroom activities that will get students to think critically, identify patterns, and use spatial reasoning. The Applications menu provides meaningful and motivating applications of algebra and..
Thorny - Decision-making superpowers for designers, engineers and leaders... Thorny helps creative thinkers tackle design and strategy problems where tangled reasoning becomes overwhelming. With simple lists you can create thousands of..
LAMAS&SR is interested in all topics related to logics and strategic reasoning in multi-agent systems, from theoretical foundations to algorithmic methods and implemented tools... International Workshop on Logical Aspects in Multi-Agent Systems and..
The Association for Automated Reasoning (AAR) is a not-for-profit corporation intended for educational and scientific purposes. The objective of the AAR is to advance the field of automated reasoning by disseminating and exchanging information among..
Reasoning Technology uses AI to assist people who are engaged in discourse. While using Reasoning Technology people will be better able to reach conclusions that they can understand. Our approach to AI has turned out to have important advantages...
There once was an international super-group of academic researchers who looked at human reasoning from a novel perspective. This group is no-more. Their work on visual reasoning on the semantic web was awesome and was on this website. It is, like..
Research in the Mind-Emotion Development Lab focuses on developmental changes in knowledge about people in terms of their inner, mental lives-what a person desires, intends, believes, thinks about, and feels emotionally. We investigate age-related..
I'm a postdoctoral researcher at the University of Washington where I work with Prof. Hannaneh Hajishirzi. Previously, I earned my Ph.D. from UMass Amherst, where I worked with Prof. Andrew McCallum. I earned my Masters from the Language Technologies..
The Law School Admission Test (LSAT) is an integral part of law school admission in the United States, Canada, and a growing number of other countries. The test helps law schools make sound admission decisions by assessing critical reading,..
The CORE Latam Project is a regional academic project with the objective to identify and analyze the features and trends of constitutional reasoning in Latin America. Through studying the jurisprudence of constitutional courts and supreme courts from..