Keyword

forward chaining

Description: An inference method that applies rules to known facts to derive conclusions, commonly used in expert systems and artificial intelligence.

Primary topic: Edcuational Technology Systems (60%)

Wikidata ID: wiki/Q777433

OpenAlex ID: keywords/forward-chaining

Overcoming the tragedy of super wicked problems: constraining our future selves to ameliorate global climate change

2012 · Kelly Levin, Benjamin Cashore, et al. · Policy Sciences · 1,842

Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis

1977 · Richard M. Stallman, Gerald J. Sussman · Artificial Intelligence · 712

Magic Sets and Other Strange Ways to Implement Logic Programs.

1986 · François Bancilhon, David Maier, et al. · Symposium on Principles of Database Systems · 604

Knowledge Based Solution Strategies in Medical Reasoning

1986 · V PATEL, G GROEN · Cognitive Science · 573

PDF

Magic sets and other strange ways to implement logic programs (extended abstract)

1985 · Francois Bancilhon, David Maier, et al. · ACM SIGACT-SIGMOD Symposium on Principles of Database Systems (PODS) · 536

Aggregating Template Or Rule Antecedents In Real-time Expert Systems With Fuzzy Set Logic

2005 · M. O'Hagan · 2018 52nd Asilomar Conference on Signals, Systems, and Computers · 450

Image analysis and rule-based reasoning for a traffic monitoring system

2000 · R. Cucchiara, M. Piccardi, et al. · IEEE Transactions on Intelligent Transportation Systems · 398

Implementation of logical query languages for databases

1985 · Jeffrey D. Ullman · ACM Transactions on Database Systems · 375

PDF

On rules with existential variables: Walking the decidability line

2011 · Jean-François Baget, Michel Leclère, et al. · Artificial Intelligence · 297

OWLIM – A Pragmatic Semantic Repository for OWL

2005 · Atanas Kiryakov, Damyan Ognyanov, et al. · Lecture notes in computer science · 290

The engineering of knowledge-based systems: theory and practice

1993 · Avelino J. González, Douglas D. Dankel · Prentice-Hall, Inc eBooks · 256

NEOMYCIN: reconfiguring a rule-based expert system for application to teaching

1981 · William J. Clancey, Reed Letsinger · International Joint Conference on Artificial Intelligence · 236

Goal-oriented requirements analysis and reasoning in the Tropos methodology

2005 · Paolo Giorgini, John Mylopoulos, et al. · Engineering Applications of Artificial Intelligence · 226

Increasing Play-Related Statements in Children with Autism Toward Their Siblings: Effects of Video Modeling

1999 · Bridget A. Taylor, Len Levin, et al. · Journal of Developmental and Physical Disabilities · 214

Medical expertise asa function of task difficulty

1990 · Vimla L. Patel, Guy J. Groen, et al. · Memory & Cognition · 199

PDF

Inside the LOOM description classifier

1991 · Robert M. MacGregor · ACM SIGART Bulletin · 177

Strategies in the interfield discovery of the mechanism of protein synthesis

2002 · Lindley Darden, Carl Craver · Studies in History and Philosophy of Science Part C Studies in History and Philosophy of Biological and Biomedical Sciences · 171

Rete: A Fast Algorithm for the Many Pattern/Many Object Pattern Match Problem**This research was sponsored by the Defense Advanced Research Projects Agency (DOD). ARPA Order No. 3597, monitored by the Air Force Avionics Laboratory under Contract F33615-78-C-1551.The views and conclusions contained in this document are those of the author and should not be interpreted as representing the official policies, either expressed or implied, of the Defense Advanced Research Projects Agency or the US Government.

1989 · Charles L. Forgy · Elsevier eBooks · 170

Strategies for Discovering Mechanisms: Schema Instantiation, Modular Subassembly, Forward/Backward Chaining

2002 · Lindley Darden · Philosophy of Science · 169

Formal order-of-magnitude reasoning in process engineering

1988 · M.L. Mavrovouniotis, G. Stephanopoulos · Computers & Chemical Engineering · 149

A Real-Time Expert System for Process Control

1986 · Lowell B. Hawkinson, Carl G. Knickerbocker, et al. · ACS symposium series · 144

Integrity Checking in Deductive Databases

1987 · Robert Kowalski, Fariba Sadri, et al. · 143

The POSTGRES rule manager

1988 · M. Stonebraker, E.N. Hanson, et al. · IEEE Transactions on Software Engineering · 140

The Comparison between Forward and Backward Chaining

2015 · Ajlan Al-Ajlan · International Journal of Machine Learning and Computing · 139

PDF

A Theorem-Proving Approach to Database Integrity

1988 · Fariba Sadri, Robert Kowalski · Elsevier eBooks · 137

Works count: 6,343

Citation count: 26,740