• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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