http://eulersharp.sourceforge.net/GUIDE Euler Proof Mechanism Euler is an inference engine supporting logic based proofs. It is a backward-forward-backward chaining reasoner enhanced with Euler path detection.

Source URL: eulersharp.sourceforge.net

BaseVISor: A Forward-Chaining Inference Engine Optimized for RDF/OWL Triples Christopher J. Matheus, Robert Dionne, Douglas F. Parent Versatile Information Systems, Inc., Framingham, Massachusetts, U.S.A Kenneth Baclawsk

Source URL: www.vistology.com

Online Generation and Use of Macro-Actions in Forward-Chaining Planning Amanda Smith A Thesis submitted for the degree of Doctor of Philosophy

Source URL: www.inf.kcl.ac.uk

• Computing
• Heuristics
• Macro
• Source code
• Heuristic function
• Heuristic
• Graphplan
• Pruning
• Social actions
• Computer programming
• Search algorithms
• Artificial intelligence

Forward-Chaining Partial-Order Planning Amanda Coles and Andrew Coles and Maria Fox and Derek Long Department of Computer and Information Sciences, University of Strathclyde, Glasgow, G1 1XH, UK email: firstname.lastname

Source URL: www.cis.strath.ac.uk

• Search algorithms
• Mathematics
• Mathematical optimization
• Job shop scheduling
• Partial-order planning
• Planning Domain Definition Language
• A* search algorithm
• STRIPS
• Backtracking
• Artificial intelligence
• Operations research
• Automated planning and scheduling

Teaching Forward-Chaining Planning with JAVA FF Andrew Coles, Maria Fox, Derek Long and Amanda Smith Department of Computer and Information Sciences, University of Strathclyde, Glasgow, G1 1XH, UK email: firstname.lastna

Source URL: www.cis.strath.ac.uk

• Algorithm
• Planner
• Planning
• Best-first search
• A* search algorithm
• Heuristic function
• Automated planning and scheduling
• Artificial intelligence
• Search algorithms
• Mathematics

Service Function ChainingHelium, Lithium and the way forward… Shuva Jyoti Kar Senior Software Engineer, Ericsson & OpenDaylight SFC Contributor https://wiki.opendaylight.org/view/Service_Function_Chaining:Main

Source URL: events.linuxfoundation.org

• Data modeling
• YANG

Conditionalization: Adapting Forward-Chaining Planners to Partially Observable Environments Ugur Kuter Dana Nau

Source URL: rpgoldman.goldman-tribe.org

• Planning
• Dana S. Nau
• Planner
• STRIPS
• Artificial intelligence
• Automated planning and scheduling
• Hierarchical task network

Backward induction or forward reasoning? An experiment of stochastic alternating offer bargaining by Siegfried K. Berninghaus, Werner Güth, Stephan Schosser

Source URL: econpapers.wiwi.kit.edu

• Statistics
• Backward induction
• Ultimatum game
• Subgame perfect equilibrium
• Backward chaining
• Subgame
• Inductive reasoning
• Game theory
• Problem solving
• Science

A. Fred, J. Filipe, M. Partinen, T.Paiva, "PSG-Expert: An Expert System for the Diagnosis of Sleep Disorders". In European Neurological Network, T. Paiva and T. Penzel (Eds), IOS Press, no 78, series Studies in Health Te

Source URL: www.lx.it.pt

• Decision theory
• Knowledge
• Reasoning
• Information systems
• Forward chaining
• Diagnosis
• Inference
• Production system
• CLIPS
• Expert systems
• Artificial intelligence
• Science

Corvid systems, potential customers, support staff, clients and employees are able to obtain ® Expert Systems - Bringing Expertise to Those that Need It

Source URL: www.exsys.com

• Decision theory
• Logic
• Reasoning
• Artificial intelligence
• Logic in computer science
• Inference
• Forward chaining
• KEE
• Backward chaining
• Expert systems
• Science
• Knowledge