Victor W. Marek - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 55 from 55

2021

Pairwise comparisons matrix decomposition into approximation and orthogonal component using Lie theoryWaldemar W. Koczkodaj, Victor W. Marek, Yusuf Yayli. ijar, 139:201-210, 2021. [doi]

2020

2018

An Edge-Focused Model for Distributed Streaming Data ApplicationsVernon K. Cody Bumgardner, Caylin D. Hickey, Victor W. Marek. percom 2018: 657-662 [doi]

Edge-enabled Distributed Network MeasurementVernon K. Cody Bumgardner, Caylin D. Hickey, Victor W. Marek. percom 2018: 524-529 [doi]

2017

Solving Very Hard Problems: Cube-and-Conquer, a Hybrid SAT Solving MethodMarijn J. H. Heule, Oliver Kullmann, Victor W. Marek. IJCAI 2017: 4864-4868 [doi]

2016

Collating time-series resource data for system-wide job profilingVernon K. Cody Bumgardner, Victor W. Marek, Ray L. Hyatt. noms 2016: 1043-1048 [doi]

Constellation: A secure self-optimizing framework for genomic processingVernon K. Cody Bumgardner, Victor W. Marek, Caylin D. Hickey, Kanna Nandakumar. healthcom 2016: 1-6 [doi]

Cresco: A distributed agent-based edge computing frameworkV. K. Cody Bumgardner, Victor W. Marek, Caylin D. Hickey. cnsm 2016: 400-405 [doi]

Index Sets for Finite Normal Predicate Logic Programs with Function SymbolsDouglas A. Cenzer, Victor W. Marek, Jeffrey B. Remmel. lfcs 2016: 60-75 [doi]

Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-ConquerMarijn J. H. Heule, Oliver Kullmann, Victor W. Marek. sat 2016: 228-245 [doi]

PrefaceDaniela Inclezan, Marco Maratea, Victor W. Marek. FUIN, 147(1), 2016. [doi]

All about Proofs, Proofs for All, 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 pagesVictor W. Marek. tplp, 16(2):236-241, 2016. [doi]

Working with Zdzislaw Pawlak - Personal ReminiscencesVictor W. Marek. FedCSIS 2016: 189-190 [doi]

2014

Scalable hybrid stream and hadoop network analysis systemVernon K. C. Bumgardner, Victor W. Marek. wosp 2014: 219-224 [doi]

Rough Sets and MatroidsVictor W. Marek, Andrzej Skowron. trs, 17:74-81, 2014. [doi]

Satisfiability-based Set Membership FiltersSean Weaver, Katrina J. Ray, Victor W. Marek, Andrew J. Mayer, Alden Walker. jsat, 8:129-148, 2014. [doi]

2013

Zdzisław Pawlak, Databases and Rough SetsVictor W. Marek. In Andrzej Skowron, Zbigniew Suraj, editors, Rough Sets and Intelligent Systems - Professor Zdzisław Pawlak in Memoriam - Volume 1. Volume 42 of Intelligent Systems Reference Library, pages 175-184, Springer, 2013. [doi]

Professor Zdzisław Pawlak (1926-2006): Founder of the Polish School of Artificial IntelligenceAndrzej 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. In Andrzej Skowron, Zbigniew Suraj, editors, Rough Sets and Intelligent Systems - Professor Zdzisław Pawlak in Memoriam - Volume 1. Volume 42 of Intelligent Systems Reference Library, pages 1-56, Springer, 2013. [doi]

2012

Disjunctive Programs with Set ConstraintsVictor W. Marek, Jeffrey B. Remmel. BIRTHDAY 2012: 471-486 [doi]

2011

Guarded resolution for Answer Set ProgrammingVictor W. Marek, Jeffrey B. Remmel. tplp, 11(1):111-123, 2011. [doi]

Effectively Reasoning about Infinite Sets in Answer Set ProgrammingVictor W. Marek, Jeffrey B. Remmel. BIRTHDAY 2011: 131-147 [doi]

PrefaceMauricio Osorio, Victor W. Marek. FUIN, 113(1), 2011. [doi]

2009

Automata and Answer Set ProgrammingVictor W. Marek, Jeffrey B. Remmel. lfcs 2009: 323-337 [doi]

The complexity of recursive constraint satisfaction problemsVictor W. Marek, Jeffrey B. Remmel. APAL, 161(3):447-457, 2009. [doi]

2008

2007

2005

2004

Ultimate approximation and its application in nonmonotonic knowledge representation systemsMarc Denecker, Victor W. Marek, Miroslaw Truszczynski. iandc, 192(1):84-121, 2004. [doi]

Satisfiability and Computing van der Waerden NumbersMichael R. Dransfield, Lengning Liu, Victor W. Marek, Miroslaw Truszczynski. combinatorics, 11(1), 2004. [doi]

Constraint Lingo: towards high-level constraint programmingRaphael A. Finkel, Victor W. Marek, Miroslaw Truszczynski. SPE, 34(15):1481-1504, 2004. [doi]

Logic Programs with Abstract Constraint AtomsVictor W. Marek, Miroslaw Truszczynski. AAAI 2004: 86-91

Answer set programming with default logicVictor W. Marek, Jeffrey B. Remmel. lpnmr 2004: 276-284 [doi]

Automatic Generation of English-language Steps in Puzzle SolvingHemantha Ponnuru, Raphael A. Finkel, Victor W. Marek, Miroslaw Truszczynski. icai 2004: 437-442

2002

On logic programs with cardinality constraintsVictor W. Marek, Jeffrey B. Remmel. lpnmr 2002: 219-228

2001

Computing stable models in parallelRaphael A. Finkel, Victor W. Marek, Neil Moore, Miroslaw Truszczynski. asp 2001: [doi]

Tabular Constraint-Satisfaction Problems and Answer Set ProgrammingRaphael A. Finkel, Victor W. Marek, Miroslaw Truszczynski. asp 2001: [doi]

On the Foundations of Answer Set ProgrammingVictor W. Marek, Jeffrey B. Remmel. asp 2001: [doi]

1999

Stable Models and an Alternative Logic Programming ParadigmVictor W. Marek, Miroslaw Truszczynski. In Krzysztof R. Apt, Victor W. Marek, Mirek Truszczynski, David Scott Warren, editors, The Logic Programming Paradigm - A 25-Year Perspective. Artificial Intelligence, pages 375-398, Springer, 1999. [doi]

1998

Simulating patients with Parallel Health State NetworksWalton Sumner, Miroslaw Truszczynski, Victor W. Marek. amia 1998: [doi]

1994

IntroductionAnil Nerode, Victor W. Marek, V. S. Subrahmanian. mlcs, 1(1):1-3, 1994.

1993

Nonmonotonic logic - context-dependent reasoningVictor W. Marek, Miroslaw Truszczynski. Artificial intelligence, Springer, 1993.

All Publications

Filter by Year

[+]
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1

Researchr

Publications by 'Victor W. Marek'

Viewing Publication 1 - 55 from 55

2021

2020

2018

2017

2016

2014

2013

2012

2011

2009

2008

2007

2005

2004

2002

2001

1999

1998

1994

1993

All Publications

Filter by Year [+]OR AND NOT 1

Filter by TypeOR AND NOT 1

Filter by TagOR AND NOT 1

Filter by Venue [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top Terms [+]OR AND NOT 1

Researchr

Publications by 'Victor W. Marek'

Viewing Publication 1 - 55 from 55

2021

2020

2018

2017

2016

2014

2013

2012

2011

2009

2008

2007

2005

2004

2002

2001

1999

1998

1994

1993

Filter by Year

[+]
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1