203 citations · 260 across the 15 of their papers we have counts for
15 papers
Pairwise Comparisons Matrix Decomposition into Approximation and Orthogonal Component Using Lie Theory
W. W. Koczkodaj, V. W. Marek, Y. Yayli
This paper examines the use of Lie group and Lie Algebra theory to construct the geometry of pairwise comparisons matrices. The Hadamard product (also known as coordinatewise, coor…
On the use of group theory to generalize elements of pairwise comparisons matrix: a cautionary note
W. W. Koczkodaj, F. Liu, V. W. Marek +11
This paper examines the constricted use of group theory in the studies of pairwise comparisons. The presented approach is based on the application of the famous Levi Theorems of 19…
Solving and Verifying the boolean Pythagorean Triples problem via Cube-and-Conquer
Marijn J. H. Heule, Oliver Kullmann, Victor W. Marek
The boolean Pythagorean Triples problem has been a longstanding open problem in Ramsey Theory: Can the set N = of natural numbers be divided into two parts, such th…
Index sets for Finite Normal Predicate Logic Programs
D. Cenzer, V. W. Marek, J. B. Remmel
<Q>_e is the effective list of all finite predicate logic programs. <T_e> is the list of recursive trees. We modify constructions of Marek, Nerode, and Remmel [25] to construct rec…
Origins of Answer-Set Programming - Some Background And Two Personal Accounts
Victor W. Marek, Ilkka Niemela, Miroslaw Truszczynski
We discuss the evolution of aspects of nonmonotonic reasoning towards the computational paradigm of answer-set programming (ASP). We give a general overview of the roots of ASP and…
Reiter's Default Logic Is a Logic of Autoepistemic Reasoning And a Good One, Too
Marc Denecker, Victor W. Marek, Miroslaw Truszczynski
A fact apparently not observed earlier in the literature of nonmonotonic reasoning is that Reiter, in his default logic paper, did not directly formalize informal defaults. Instead…