Login / Signup

Transactional Forward Chaining: A Functional Approach.

Konrad Grzanek
Published in: ICAISC (2015)
Keyphrases
  • forward chaining
  • backward chaining
  • defeasible logic
  • theorem proving
  • planning systems
  • blocks world
  • horn clauses
  • planning graph
  • machine learning
  • artificial intelligence
  • web services
  • expert systems