3 citations · 3 across the 2 of their papers we have counts for
2 papers
cs.PL2005★ 3 cited
Extending Prolog with Incomplete Fuzzy Information
Susana Munoz-Hernandez, Claudio Vaucheret
Incomplete information is a problem in many aspects of actual environments. Furthermore, in many sceneries the knowledge is not represented in a crisp way. It is common to find fuz…
cs.SE2002
More Precise Yet Efficient Type Inference for Logic Programs
Claudio Vaucheret, Francisco Bueno
Type analyses of logic programs which aim at inferring the types of the program being analyzed are presented in a unified abstract interpretation-based framework. This covers most…