Reiter [3] has developed a general theory of diagnosis based on first principles. His algorithm computes all diagnoses which explain the differences between the predicted and observed behavior of aâ€¦ (More)

In an Australian magazine, a monetary prize is awarded to the person with the best answer to a word puzzle called a Crozzle. The placement of words into a ten by fifteen grid obtaining the highestâ€¦ (More)

In this paper, a non-standard hybrid gestetic algtithm is presented. The appb is non-stsmdanl in that it violstes some efthe cotmtmt attributes asscchd with gestetic algorithms in the literature. Theâ€¦ (More)

the input. The size of the input for a SAT problem is the number of variables in the clauses of the formula. For a formula with n variables, there are 2 ~ interpretations for that formula. One methodâ€¦ (More)

Satchmo [MASS] ia a theorem prover implemented in Prolog which attempts to provide aatisfitillity checking through model generation. This paper ~â€œveua brief introduction to SATCHMO and reportsâ€¦ (More)

While numerous diagnostic expert systems have been successfully developed in recent years, they are almost uniformly based on heuristic reasoning techniques (i.e., shallow knowledge) in the form ofâ€¦ (More)

There exist a number of high-performance Multi-Objective Evolutionary Algorithms (MOEAs) for solving Multi-Objective Optimization (MOO) problems; two of the best are NSGA-II and epsilon-MOEA.â€¦ (More)

Two resolution proof strategies developed by Peterson [4] are implemented by modifying Otter, an existing automated theorem prover. The methods, Lock-T refutation and LNL-T refutation, areâ€¦ (More)