3 citations · 3 across the 4 of their papers we have counts for
Showing 2000Show all
2 papers · 1 filter
cs.AI2000
Description of GADEL
I. Stephan, F. Saubion, P. Nicolas
This article describes the first implementation of the GADEL system : a Genetic Algorithm for Default Logic. The goal of GADEL is to compute extensions in Reiter's default logic. I…
cs.AI2000★ 3 cited
Genetic Algorithms for Extension Search in Default Logic
P. Nicolas, F. Saubion, I. Stephan
A default theory can be characterized by its sets of plausible conclusions, called its extensions. But, due to the theoretical complexity of Default Logic (Sigma_2p-complete), the…