Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 229,804,543 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
Across-authority lightweight ownership transfer protocol
Ming-Hour Yang
Electronic Commerce Research and Applications
2011
Corpus ID: 6635822
2011
2011
PulsExpert: An expert system for the diagnosis and control of diseases in pulse crops
B. Devraj
,
R. Jain
Expert systems with applications
2011
Corpus ID: 5962501
2008
2008
Engineering Associations: From Models to Code and Back through Semantics
Z. Diskin
,
S. Easterbrook
,
J. Dingel
International Conference on Software Technology…
2008
Corpus ID: 209486
Association between classes is a central construct in OO modeling. However, precise semantics of associations has not been…
Expand
2004
2004
Preamble computation in automated test case generation using constraint logic programming
Séverine Colin
,
B. Legeard
,
F. Peureux
Software testing, verification & reliability
2004
Corpus ID: 29768599
BZ‐Testing‐Tools (BZ‐TT) is a tool‐set for automated model‐based test case generation from B abstract machines and Z…
Expand
2001
2001
A Tool for Managing Software Development Knowledge
S. Henninger
,
Jason Schlabach
International Conference on Product Focused…
2001
Corpus ID: 985463
Software development is a knowledge intensive activity involving the integration of diverse knowledge sources that undergo…
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
1993
1993
Knowledge-based system for rostering
K. Chow
,
C. Hui
1993
Corpus ID: 62178030
1991
1991
An Efficient Strategy for Non-Horn Deductive Databases
R. Demolombe
Theoretical Computer Science
1991
Corpus ID: 8608372
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
1983
1983
A Report on FOLIO: An Expert Assistant for Portfolio Managers
P. Cohen
,
Mark D. Lieberman
International Joint Conference on Artificial…
1983
Corpus ID: 7966255
FOLIO is an expert system to assist portfolio managers. It interviews a client and, on the basis of expert knowledge, determines…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE
or Only Accept Required