29 citations · 41 across the 4 of their papers we have counts for
4 papers
Logical Foundations and Complexity of 4QL, a Query Language with Unrestricted Negation
Jan Maluszynski, Andrzej Szalas
The paper discusses properties of a DATALOG-like query language 4QL, originally outlined in [MS10]. Negated literals in heads of rules naturally lead to inconsistencie…
Hybrid Rules with Well-Founded Semantics
W. Drabent, J. Maluszynski
A general framework is proposed for integration of rules and external first order theories. It is based on the well-founded semantics of normal logic programs and inspired by ideas…
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…
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…