Institutional Repository

Browsing College of Science, Engineering and Technology by Author "De Waal, DA"

Browsing College of Science, Engineering and Technology by Author "De Waal, DA"

Sort by: Order: Results:

  • The generation of pre-interpretations for detecting unsolvable planning problems 
    De Waal, DA; Denecker, M; Bruynooghe, M; Thielscher, M (2000)
    In deductive planning, there exists a· particular class of planning problems, called unsolvable planning problems, which although successfully treated theoretically, turns out to be undetectable using ordinary resolution ...
  • Refuting conjectures in first-order theories 
    De Waal, DA; Hattingh, GN (1998)
    Given some first-order theory, a formula (also called a conjecture) may or may not be a theorem of some theory. A theorem prover attempting to prove that the given formula is a theorem may terminate, proving that the formula ...

Search UnisaIR


Browse

My Account