Laure Brisoux

  • Citations Per Year
Learn More
In this paper, the use of stochastic search to validate firstorder knowledge-based systems is investigated. It is wellknown that such techniques can prove efficient in showing that consistency constraints do hold, at least in the propositional case. Powerful heuristics about the trace of stochastic search allow proofs of inconsistency to be obtained as(More)
  • 1