141 citations · 303 across the 30 of their papers we have counts for
4 papers · 1 filter
Strong Equivalence of Qualitative Optimization Problems
Wolfgang Faber, Mirosław Truszczyński, Stefan Woltran
We introduce the framework of qualitative optimization problems (or, simply, optimization problems) to represent preference theories. The formalism uses separate modules to describ…
Properties and Applications of Programs with Monotone and Convex Constraints
L. Liu, M. Truszczynski
We study properties of programs with monotone and convex constraints. We extend to these formalisms concepts and results from normal logic programming. They include the notions of…
Revisiting Epistemic Specifications
Miroslaw Truszczynski
In 1991, Michael Gelfond introduced the language of epistemic specifications. The goal was to develop tools for modeling problems that require some form of meta-reasoning, that is,…
Constructions of asymptotically shortest k-radius sequences
Jerzy W. Jaromczyk, Zbigniew Lonc, Miroslaw Truszczynski
Let k be a positive integer. A sequence s over an n-element alphabet A is called a k-radius sequence if every two symbols from A occur in s at distance of at most k. Let f_k(n) den…