C
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