Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,065,064 papers from all fields of science
Search
Sign In
Create Free Account
Forward chaining
Known as:
Chaining (disambiguation)
Forward chaining is one of the two main methods of reasoning when using an inference engine and can be described logically as repeated application of…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
31 relations
Automated planning and scheduling
Backward chaining
Belief–desire–intention software model
Business rules engine
Expand
Broader (1)
Logic in computer science
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
A Forward Chaining Based Game Description Language Compiler
T. Cazenave
,
Abdallah Saffidine
2011
Corpus ID: 14319
We present a first attempt at the compilation of the Game Description Language (GDL) using a bottom-up strategy. GDL is…
Expand
2010
2010
Introduction to the Boost C++ Libraries; Volume I - Foundations
Robert Demming
,
D. Duffy
2010
Corpus ID: 59657260
C++ is one of the most important and influential programming languages for application development. It supports the modular…
Expand
2010
2010
Declarative Semantics for the Rule Interchange Format Production Rule Dialect
C. Damásio
,
José Júlio Alferes
,
João Leite
International Workshop on the Semantic Web
2010
Corpus ID: 108564
The Rule Interchange Format Production Rule Dialect (RIFPRD) is a W3C Recommendation to define production rules for the Semantic…
Expand
2005
2005
Logical Implementation of Uncertain Agents
N. Ferreira
,
Michael Fisher
,
W. Hoek
Portuguese Conference on Artificial Intelligence
2005
Corpus ID: 3413772
We consider the representation and execution of agents specified using temporal logics. Previous work in this area has provided a…
Expand
2003
2003
Atomic Memory
R. Brewer
,
E. Hahn
2003
Corpus ID: 5023933
In 1872 Ludwig Boltzmann, a founder of modern thermodynamics, gave a lecture in which he said that the entropy, or disorder, of…
Expand
2000
2000
Adaptive learning expert systems
Sakchai Wiriyacoonkasem
,
A. Esterline
Proceedings of the IEEE SoutheastCon . 'Preparing…
2000
Corpus ID: 55207039
The purpose of this research is to improve the performance of an expert system through the use of a neural network, thus allowing…
Expand
1999
1999
Representing Problem-Solving for Knowledge Refinement
Susan Craw
,
Robin Boswell
AAAI/IAAI
1999
Corpus ID: 6699015
Knowledge refinement tools seek to correct faulty knowledge based systems (KBSs) by identifying and repairing potentially faulty…
Expand
1997
1997
Defthms About Zip and Tie: Reasoning about Powerlists in ACL2
Ruben Gamboa
1997
Corpus ID: 16760783
In [Mis94], Misra introduced the powerlist data structure, which is well suited to express recursive, data-parallel algorithms…
Expand
1993
1993
LFA: a linear forward‐chaining algorithm for AI production systems
Xindong Wu
1993
Corpus ID: 62221329
: The LFA algorithm is a linear forward-chaining algorithm for AI production systems. It finds all the possible solutions for…
Expand
Highly Cited
1983
Highly Cited
1983
ACE: An Expert System for Telephone Cable Maintenance
Gregg T. Vesonder
,
S. Stolfo
,
J. E. Zielinski
,
F. Miller
,
D. H. Copp
International Joint Conference on Artificial…
1983
Corpus ID: 18632956
ACE, a system for Automated Cable Expertise, is a Knowledge-Based Expert System designed to provide troubleshooting reports and…
Expand