Sign in
Forward chaining in HALO: an implementation strategy for history-based logic pointcuts.
Charlotte Herzeel
Kris Gybels
Pascal Costanza
Coen De Roover
Theo D'Hondt
Published in:
ICDL (2007)
Keyphrases
</>
forward chaining
backward chaining
defeasible logic
horn clauses
inference engine
planning systems
rule base
knowledge base
automated reasoning
learning algorithm
information systems
knowledge representation
search strategy
reasoning systems