Sign in

Forward chaining in HALO: An implementation strategy for history-based logic pointcuts.

Charlotte HerzeelKris GybelsPascal CostanzaCoen De RooverTheo D'Hondt
Published in: Comput. Lang. Syst. Struct. (2009)
Keyphrases
  • forward chaining
  • backward chaining
  • defeasible logic
  • horn clauses
  • planning systems
  • expert systems
  • logic programming
  • modal logic
  • state space
  • incomplete information
  • theorem proving
  • blocks world