Victor W. Marek

65 papers A* 2A 1B 6C 2Misc 5Journal 31Unranked 12

Year	Rank	Type	Title / Venue / Authors
2021	J	`jnl`	Pairwise comparisons matrix decomposition into approximation and orthogonal component using Lie theory. Int. J. Approx. Reason. Waldemar W. Koczkodaj, Victor W. Marek, Yusuf Yayli
2020	J	`jnl`	Answer Set Programming, by Vladimir Lifschitz, Springer NatureSwitzerland AG, ISBN 978-3-030-24657-0. Theory Pract. Log. Program. Victor W. Marek
2020	J	`jnl`	On the complexity of index sets for finite predicate logic programs which allow function symbols. J. Log. Comput. Douglas Cenzer, Victor W. Marek, Jeffrey B. Remmel
2020	J	`jnl`	On the use of group theory to generalize elements of pairwise comparisons matrix: A cautionary note. Int. J. Approx. Reason. 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
2018	—	`conf`	An Edge-Focused Model for Distributed Streaming Data Applications. PerCom Workshops Vernon K. Cody Bumgardner, Caylin D. Hickey, Victor W. Marek
2018	—	`conf`	Edge-enabled Distributed Network Measurement. PerCom Workshops Vernon K. Cody Bumgardner, Caylin D. Hickey, Victor W. Marek
2017	A*	`conf`	Solving Very Hard Problems: Cube-and-Conquer, a Hybrid SAT Solving Method. IJCAI Marijn J. H. Heule, Oliver Kullmann, Victor W. Marek
2016	B	`conf`	Collating time-series resource data for system-wide job profiling. NOMS Vernon K. Cody Bumgardner, Victor W. Marek, Ray L. Hyatt
2016	C	`conf`	Constellation: A secure self-optimizing framework for genomic processing. HealthCom Vernon K. Cody Bumgardner, Victor W. Marek, Caylin D. Hickey, Kanna Nandakumar
2016	B	`conf`	Cresco: A distributed agent-based edge computing framework. CNSM Vernon K. Cody Bumgardner, Victor W. Marek, Caylin D. Hickey
2016	Misc	`conf`	Index Sets for Finite Normal Predicate Logic Programs with Function Symbols. LFCS Douglas A. Cenzer, Victor W. Marek, Jeffrey B. Remmel
2016	J	`jnl`	Preface. Fundam. Informaticae Daniela Inclezan, Marco Maratea, Victor W. Marek
2016	A	`conf`	Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer. SAT Marijn J. H. Heule, Oliver Kullmann, Victor W. Marek
2016	J	`jnl`	Solving and Verifying the boolean Pythagorean Triples problem via Cube-and-Conquer. CoRR Marijn J. H. Heule, Oliver Kullmann, Victor W. Marek
2016	C	`conf`	Working with Zdzislaw Pawlak - Personal Reminiscences. FedCSIS Victor W. Marek
2014	J	`jnl`	Rough Sets and Matroids. Trans. Rough Sets Victor W. Marek, Andrzej Skowron
2014	J	`jnl`	Satisfiability-based Set Membership Filters. J. Satisf. Boolean Model. Comput. Sean A. Weaver, Katrina J. Ray, Victor W. Marek, Andrew J. Mayer, Alden Walker
2014	B	`conf`	Scalable hybrid stream and hadoop network analysis system. ICPE Vernon K. C. Bumgardner, Victor W. Marek
2013	J	`jnl`	Index sets for Finite Normal Predicate Logic Programs CoRR Douglas Cenzer, Victor W. Marek, Jeffrey B. Remmel
2013	—	`ch.`	Professor Zdzisław Pawlak (1926-2006): Founder of the Polish School of Artificial Intelligence. Rough Sets and Intelligent Systems (1) Andrzej Skowron, Mihir K. Chakraborty, Jerzy W. Grzymala-Busse, Victor W. Marek, Sankar K. Pal, James F. Peters, Grzegorz Rozenberg, Dominik Slezak, Roman Slowinski, Shusaku Tsumoto, Alicja Wakulicz-Deja, Guoyin Wang, Wojciech Ziarko
2013	—	`ch.`	Zdzisław Pawlak, Databases and Rough Sets. Rough Sets and Intelligent Systems (1) Victor W. Marek
2012	—	`conf`	Disjunctive Programs with Set Constraints. Correct Reasoning Victor W. Marek, Jeffrey B. Remmel
2011	—	`conf`	Effectively Reasoning about Infinite Sets in Answer Set Programming. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning Victor W. Marek, Jeffrey B. Remmel
2011	J	`jnl`	Guarded resolution for Answer Set Programming. Theory Pract. Log. Program. Victor W. Marek, Jeffrey B. Remmel
2011	J	`jnl`	Origins of Answer-Set Programming - Some Background And Two Personal Accounts CoRR Victor W. Marek, Ilkka Niemelä, Miroslaw Truszczynski
2011	J	`jnl`	Preface. Fundam. Informaticae Mauricio Osorio, Victor W. Marek
2011	J	`jnl`	Reiter's Default Logic Is a Logic of Autoepistemic Reasoning And a Good One, Too CoRR Marc Denecker, Victor W. Marek, Miroslaw Truszczynski
2009	J	`jnl`	An Application of Proof-Theory in answer Set Programming CoRR Victor W. Marek, Jeffrey B. Remmel
2009	Misc	`conf`	Automata and Answer Set Programming. LFCS Victor W. Marek, Jeffrey B. Remmel
2009	J	`jnl`	The complexity of recursive constraint satisfaction problems. Ann. Pure Appl. Log. Victor W. Marek, Jeffrey B. Remmel
2008	J	`jnl`	Approximation Schemes in Logic and Artificial Intelligence. Trans. Rough Sets Victor W. Marek, Miroslaw Truszczynski
2008	J	`jnl`	Logic programs with monotone abstract constraint atoms. Theory Pract. Log. Program. Victor W. Marek, Ilkka Niemelä, Miroslaw Truszczynski
2008	B	`conf`	On the Continuity of Gelfond-Lifschitz Operator and Other Applications of Proof-Theory in ASP. ICLP Victor W. Marek, Jeffrey B. Remmel
2008	B	`conf`	Quo Vadis Answer Set Programming? ICLP Victor W. Marek
2008	J	`jnl`	Set based logic programming. Ann. Math. Artif. Intell. Howard A. Blair, Victor W. Marek, Jeffrey B. Remmel
2007	J	`jnl`	Characterizing Pawlak's Approximation Operators. Trans. Rough Sets Victor W. Marek
2007	Misc	`conf`	Compactness Properties for Stable Semantics of Logic Programs. LFCS Victor W. Marek, Jeffrey B. Remmel
2007	J	`jnl`	Compactness Properties for Stable Semantics of Logic Programs. Fundam. Informaticae Victor W. Marek, Jeffrey B. Remmel
2007	J	`jnl`	Explanatory Nonmonotonic Reasoning by Alexander Bochman, World Scientific, Hardback: ISBN 981-256-101-3, xiv + 408 pages. Theory Pract. Log. Program. Victor W. Marek
2007	—	`conf`	Rough Sets and Approximation Schemes. RSEISP Victor W. Marek, Miroslaw Truszczynski
2007	—	`ed.`	Transactions on Rough Sets VII, Commemorating the Life and Work of Zdzislaw Pawlak, Part II Trans. Rough Sets James F. Peters, Andrzej Skowron, Victor W. Marek, Ewa Orlowska, Roman Slowinski, Wojciech Ziarko
2006	J	`jnl`	Logic programs with monotone abstract constraint atoms CoRR Victor W. Marek, Ilkka Niemelä, Miroslaw Truszczynski
2005	B	`conf`	Approximating Answer Sets of Unitary Lifschitz-Woo Programs. LPNMR Victor W. Marek, Inna Pivkina, Miroslaw Truszczynski
2005	J	`jnl`	Logic programming with infinite sets. Ann. Math. Artif. Intell. Douglas A. Cenzer, Jeffrey B. Remmel, Victor W. Marek
2005	—	`conf`	Normal Form Theorem for Logic Programs with Cardinality Constraints. Nonmonotonic Reasoning, Answer Set Programming and Constraints Victor W. Marek, Jeffrey B. Remmel
2005	—	`conf`	Set Based Logic Programming. Nonmonotonic Reasoning, Answer Set Programming and Constraints Jeffrey B. Remmel, Victor W. Marek
2005	J	`jnl`	Toward Automating the Discovery of Decreasing Measures. J. Autom. Reason. Robert S. Boyer, Wilfred J. Legato, Victor W. Marek
2004	—	`conf`	Answer set programming with default logic. NMR Victor W. Marek, Jeffrey B. Remmel
2004	Misc	`conf`	Automatic Generation of English-language Steps in Puzzle Solving. IC-AI Hemantha Ponnuru, Raphael A. Finkel, Victor W. Marek, Miroslaw Truszczynski
2004	J	`jnl`	Constraint Lingo: towards high-level constraint programming. Softw. Pract. Exp. Raphael A. Finkel, Victor W. Marek, Miroslaw Truszczynski
2004	A*	`conf`	Logic Programs with Abstract Constraint Atoms. AAAI Victor W. Marek, Miroslaw Truszczynski
2004	J	`jnl`	Satisfiability and Computing van der Waerden Numbers. Electron. J. Comb. Michael R. Dransfield, Lengning Liu, Victor W. Marek, Miroslaw Truszczynski
2004	J	`jnl`	Ultimate approximation and its application in nonmonotonic knowledge representation systems. Inf. Comput. Marc Denecker, Victor W. Marek, Miroslaw Truszczynski
2002	—	`conf`	On logic programs with cardinality constraints. NMR Victor W. Marek, Jeffrey B. Remmel
2001	—	`conf`	Computing stable models in parallel. Answer Set Programming Raphael A. Finkel, Victor W. Marek, Neil Moore, Miroslaw Truszczynski
2001	—	`conf`	On the Foundations of Answer Set Programming. Answer Set Programming Victor W. Marek, Jeffrey B. Remmel
2001	—	`conf`	Tabular Constraint-Satisfaction Problems and Answer Set Programming. Answer Set Programming Raphael A. Finkel, Victor W. Marek, Miroslaw Truszczynski
2000	J	`jnl`	Uniform semantic treatment of default and autoepistemic logics CoRR Marc Denecker, Victor W. Marek, Miroslaw Truszczynski
1999	—	`ch.`	Stable Models and an Alternative Logic Programming Paradigm. The Logic Programming Paradigm Victor W. Marek, Miroslaw Truszczynski
1999	—	`book`	The Logic Programming Paradigm - A 25-Year Perspective The Logic Programming Paradigm Krzysztof R. Apt, Victor W. Marek, Mirek Truszczynski, David Scott Warren
1998	Misc	`conf`	Simulating patients with Parallel Health State Networks. AMIA Walton Sumner, Miroslaw Truszczynski, Victor W. Marek
1998	J	`jnl`	Stable models and an alternative logic programming paradigm CoRR Victor W. Marek, Miroslaw Truszczynski
1994	J	`jnl`	Introduction. Methods Log. Comput. Sci. Anil Nerode, Victor W. Marek, V. S. Subrahmanian
1993	—	`book`	Nonmonotonic logic - context-dependent reasoning. Victor W. Marek, Miroslaw Truszczynski
1973	J	`jnl`	Observations Concerning Elementary Extensions of omega-Models. II. J. Symb. Log. Victor W. Marek