Victor W. Marek

Publication Activity (10 Years)

Years Active: 1973-2021
Publications (10 Years): 16

Top Topics

Pairwise Comparisons

Top Venues

Int. J. Approx. Reason.

PerCom Workshops

Theory Pract. Log. Program.

Publications

Waldemar W. Koczkodaj, Victor W. Marek, Yusuf Yayli
Pairwise comparisons matrix decomposition into approximation and orthogonal component using Lie theory. Int. J. Approx. Reason. 139 (2021)
Douglas Cenzer, Victor W. Marek, Jeffrey B. Remmel
On the complexity of index sets for finite predicate logic programs which allow function symbols. J. Log. Comput. 30 (1) (2020)
Victor W. Marek
Answer Set Programming, by Vladimir Lifschitz, Springer NatureSwitzerland AG, ISBN 978-3-030-24657-0. Theory Pract. Log. Program. 20 (3) (2020)
Waldemar W. Koczkodaj, Fang Liu, Victor W. Marek, Jirí Mazurek, Miroslaw Mazurek, Ludmil Mikhailov, Cenap Özel, Witold Pedrycz, Artur Przelaskowski, Andrew Schumann, Ryszard Smarzewski, Dominik Strzalka, Jacek Szybowski, Yusuf Yayli
On the use of group theory to generalize elements of pairwise comparisons matrix: A cautionary note. Int. J. Approx. Reason. 124 (2020)
Vernon K. Cody Bumgardner, Caylin D. Hickey, Victor W. Marek
Edge-enabled Distributed Network Measurement. PerCom Workshops (2018)
Vernon K. Cody Bumgardner, Caylin D. Hickey, Victor W. Marek
An Edge-Focused Model for Distributed Streaming Data Applications. PerCom Workshops (2018)
Marijn J. H. Heule, Oliver Kullmann, Victor W. Marek
Solving Very Hard Problems: Cube-and-Conquer, a Hybrid SAT Solving Method. IJCAI (2017)
Vernon K. Cody Bumgardner, Victor W. Marek, Caylin D. Hickey, Kanna Nandakumar
Constellation: A secure self-optimizing framework for genomic processing. HealthCom (2016)
Marijn J. H. Heule, Oliver Kullmann, Victor W. Marek
Solving and Verifying the boolean Pythagorean Triples problem via Cube-and-Conquer. CoRR (2016)
Marijn J. H. Heule, Oliver Kullmann, Victor W. Marek
Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer. SAT (2016)
Victor W. Marek
, Bruno Woltzenlogel Paleo and David Delahaye, Eds., College Publications, Series Mathematical Logic and Foundations, vol. 55., 2015. Paperback, ISBN 978-1-84890-166-7, vii + 240 pages. Theory Pract. Log. Program. 16 (2) (2016)
Vernon K. Cody Bumgardner, Victor W. Marek, Ray L. Hyatt
Collating time-series resource data for system-wide job profiling. NOMS (2016)
Douglas A. Cenzer, Victor W. Marek, Jeffrey B. Remmel
Index Sets for Finite Normal Predicate Logic Programs with Function Symbols. LFCS (2016)
Daniela Inclezan, Marco Maratea, Victor W. Marek
Preface. Fundam. Informaticae 147 (1) (2016)
Victor W. Marek
Working with Zdzislaw Pawlak - Personal Reminiscences. FedCSIS (2016)
Vernon K. Cody Bumgardner, Victor W. Marek, Caylin D. Hickey
Cresco: A distributed agent-based edge computing framework. CNSM (2016)
Vernon K. C. Bumgardner, Victor W. Marek
Scalable hybrid stream and hadoop network analysis system. ICPE (2014)
Sean A. Weaver, Katrina J. Ray, Victor W. Marek, Andrew J. Mayer, Alden Walker
Satisfiability-based Set Membership Filters. J. Satisf. Boolean Model. Comput. 8 (3/4) (2014)
Victor W. Marek, Andrzej Skowron
Rough Sets and Matroids. Trans. Rough Sets 17 (2014)
Douglas Cenzer, Victor W. Marek, Jeffrey B. Remmel
Index sets for Finite Normal Predicate Logic Programs CoRR (2013)
Victor W. Marek, Jeffrey B. Remmel
Disjunctive Programs with Set Constraints. Correct Reasoning (2012)
Victor W. Marek, Ilkka Niemelä, Miroslaw Truszczynski
Origins of Answer-Set Programming - Some Background And Two Personal Accounts CoRR (2011)
Marc Denecker, Victor W. Marek, Miroslaw Truszczynski
Reiter's Default Logic Is a Logic of Autoepistemic Reasoning And a Good One, Too CoRR (2011)
Victor W. Marek, Jeffrey B. Remmel
Guarded resolution for Answer Set Programming. Theory Pract. Log. Program. 11 (1) (2011)
Mauricio Osorio, Victor W. Marek
Preface. Fundam. Informaticae 113 (1) (2011)
Victor W. Marek, Jeffrey B. Remmel
Effectively Reasoning about Infinite Sets in Answer Set Programming. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning (2011)
Victor W. Marek, Jeffrey B. Remmel
The complexity of recursive constraint satisfaction problems. Ann. Pure Appl. Log. 161 (3) (2009)
Victor W. Marek, Jeffrey B. Remmel
Automata and Answer Set Programming. LFCS (2009)
Victor W. Marek, Jeffrey B. Remmel
An Application of Proof-Theory in answer Set Programming CoRR (2009)
Howard A. Blair, Victor W. Marek, Jeffrey B. Remmel
Set based logic programming. Ann. Math. Artif. Intell. 52 (1) (2008)
Victor W. Marek, Miroslaw Truszczynski
Approximation Schemes in Logic and Artificial Intelligence. Trans. Rough Sets 9 (2008)
Victor W. Marek
Quo Vadis Answer Set Programming? ICLP (2008)
Victor W. Marek, Jeffrey B. Remmel
On the Continuity of Gelfond-Lifschitz Operator and Other Applications of Proof-Theory in ASP. ICLP (2008)
Victor W. Marek, Ilkka Niemelä, Miroslaw Truszczynski
Logic programs with monotone abstract constraint atoms. Theory Pract. Log. Program. 8 (2) (2008)
Victor W. Marek, Jeffrey B. Remmel
Compactness Properties for Stable Semantics of Logic Programs. Fundam. Informaticae 81 (1-3) (2007)
Victor W. Marek, Jeffrey B. Remmel
Compactness Properties for Stable Semantics of Logic Programs. LFCS (2007)
Victor W. Marek, Miroslaw Truszczynski
Rough Sets and Approximation Schemes. RSEISP (2007)
Victor W. Marek
Characterizing Pawlak's Approximation Operators. Trans. Rough Sets 7 (2007)
Victor W. Marek
Explanatory Nonmonotonic Reasoning by Alexander Bochman, World Scientific, Hardback: ISBN 981-256-101-3, xiv + 408 pages. Theory Pract. Log. Program. 7 (4) (2007)
Victor W. Marek, Ilkka Niemelä, Miroslaw Truszczynski
Logic programs with monotone abstract constraint atoms CoRR (2006)
Victor W. Marek, Inna Pivkina, Miroslaw Truszczynski
Approximating Answer Sets of Unitary Lifschitz-Woo Programs. LPNMR (2005)
Robert S. Boyer, Wilfred J. Legato, Victor W. Marek
Toward Automating the Discovery of Decreasing Measures. J. Autom. Reason. 35 (4) (2005)
Douglas A. Cenzer, Jeffrey B. Remmel, Victor W. Marek
Logic programming with infinite sets. Ann. Math. Artif. Intell. 44 (4) (2005)
Victor W. Marek, Jeffrey B. Remmel
Normal Form Theorem for Logic Programs with Cardinality Constraints. Nonmonotonic Reasoning, Answer Set Programming and Constraints (2005)
Jeffrey B. Remmel, Victor W. Marek
Set Based Logic Programming. Nonmonotonic Reasoning, Answer Set Programming and Constraints (2005)
Victor W. Marek, Miroslaw Truszczynski
Logic Programs with Abstract Constraint Atoms. AAAI (2004)
Raphael A. Finkel, Victor W. Marek, Miroslaw Truszczynski
Constraint Lingo: towards high-level constraint programming. Softw. Pract. Exp. 34 (15) (2004)
Marc Denecker, Victor W. Marek, Miroslaw Truszczynski
Ultimate approximation and its application in nonmonotonic knowledge representation systems. Inf. Comput. 192 (1) (2004)
Hemantha Ponnuru, Raphael A. Finkel, Victor W. Marek, Miroslaw Truszczynski
Automatic Generation of English-language Steps in Puzzle Solving. IC-AI (2004)
Victor W. Marek, Jeffrey B. Remmel
Answer set programming with default logic. NMR (2004)
Michael R. Dransfield, Lengning Liu, Victor W. Marek, Miroslaw Truszczynski
Satisfiability and Computing van der Waerden Numbers. Electron. J. Comb. 11 (1) (2004)
Victor W. Marek, Jeffrey B. Remmel
On logic programs with cardinality constraints. NMR (2002)
Victor W. Marek, Jeffrey B. Remmel
On the Foundations of Answer Set Programming. Answer Set Programming (2001)
Raphael A. Finkel, Victor W. Marek, Miroslaw Truszczynski
Tabular Constraint-Satisfaction Problems and Answer Set Programming. Answer Set Programming (2001)
Raphael A. Finkel, Victor W. Marek, Neil Moore, Miroslaw Truszczynski
Computing stable models in parallel. Answer Set Programming (2001)
Marc Denecker, Victor W. Marek, Miroslaw Truszczynski
Uniform semantic treatment of default and autoepistemic logics CoRR (2000)
Walton Sumner, Miroslaw Truszczynski, Victor W. Marek
Simulating patients with Parallel Health State Networks. AMIA (1998)
Victor W. Marek, Miroslaw Truszczynski
Stable models and an alternative logic programming paradigm CoRR (1998)
Anil Nerode, Victor W. Marek, V. S. Subrahmanian
Introduction. Methods Log. Comput. Sci. 1 (1) (1994)
Victor W. Marek
Observations Concerning Elementary Extensions of omega-Models. II. J. Symb. Log. 38 (2) (1973)