2 papers
cs.LO2002
Defining Rough Sets by Extended Logic Programs
Jan Małuszyński, Aida Vitória
We show how definite extended logic programs can be used for defining and reasoning with rough sets. Moreover, a rough-set-specific query language is presented and an answering alg…
cs.SE2000
Slicing of Constraint Logic Programs
Gyongyi Szilagyi, Tibor Gyimothy, Jan Maluszynski
Slicing is a program analysis technique originally developed for imperative languages. It facilitates understanding of data flow and debugging. This paper discusses slicing of Cons…