default search action
Victor W. Marek
Person information
- affiliation: University of Kentucky, Lexington, KY, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 1993
- [b1]Victor W. Marek, Miroslaw Truszczynski:
Nonmonotonic logic - context-dependent reasoning. Artificial intelligence, Springer 1993, ISBN 978-3-540-56448-5, pp. I-XII, 1-417
Journal Articles
- 2021
- [j64]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: 201-210 (2021) - 2020
- [j63]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: 59-65 (2020) - [j62]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): 107-156 (2020) - [j61]Victor W. Marek:
Answer Set Programming, by Vladimir Lifschitz, Springer NatureSwitzerland AG, ISBN 978-3-030-24657-0. Theory Pract. Log. Program. 20(3): 432-434 (2020) - 2016
- [j60]Daniela Inclezan, Marco Maratea, Victor W. Marek:
Preface. Fundam. Informaticae 147(1): v-vii (2016) - [j59]Victor W. Marek:
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 pages. Theory Pract. Log. Program. 16(2): 236-241 (2016) - 2014
- [j58]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): 129-148 (2014) - [j57]Victor W. Marek, Andrzej Skowron:
Rough Sets and Matroids. Trans. Rough Sets 17: 74-81 (2014) - 2011
- [j56]Mauricio Osorio, Victor W. Marek:
Preface. Fundam. Informaticae 113(1) (2011) - [j55]Victor W. Marek, Jeffrey B. Remmel:
Guarded resolution for Answer Set Programming. Theory Pract. Log. Program. 11(1): 111-123 (2011) - 2009
- [j54]Victor W. Marek, Jeffrey B. Remmel:
The complexity of recursive constraint satisfaction problems. Ann. Pure Appl. Log. 161(3): 447-457 (2009) - 2008
- [j53]Howard A. Blair, Victor W. Marek, Jeffrey B. Remmel:
Set based logic programming. Ann. Math. Artif. Intell. 52(1): 81-105 (2008) - [j52]Victor W. Marek, Ilkka Niemelä, Miroslaw Truszczynski:
Logic programs with monotone abstract constraint atoms. Theory Pract. Log. Program. 8(2): 167-199 (2008) - [j51]Victor W. Marek, Miroslaw Truszczynski:
Approximation Schemes in Logic and Artificial Intelligence. Trans. Rough Sets 9: 135-144 (2008) - 2007
- [j50]Victor W. Marek, Jeffrey B. Remmel:
Compactness Properties for Stable Semantics of Logic Programs. Fundam. Informaticae 81(1-3): 211-239 (2007) - [j49]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): 499-503 (2007) - [j48]Victor W. Marek:
Characterizing Pawlak's Approximation Operators. Trans. Rough Sets 7: 140-150 (2007) - 2005
- [j47]Douglas A. Cenzer, Jeffrey B. Remmel, Victor W. Marek:
Logic programming with infinite sets. Ann. Math. Artif. Intell. 44(4): 309-339 (2005) - [j46]Robert S. Boyer, Wilfred J. Legato, Victor W. Marek:
Toward Automating the Discovery of Decreasing Measures. J. Autom. Reason. 35(4): 355-371 (2005) - 2004
- [j45]Michael R. Dransfield, Lengning Liu, Victor W. Marek, Miroslaw Truszczynski:
Satisfiability and Computing van der Waerden Numbers. Electron. J. Comb. 11(1) (2004) - [j44]Marc Denecker, Victor W. Marek, Miroslaw Truszczynski:
Ultimate approximation and its application in nonmonotonic knowledge representation systems. Inf. Comput. 192(1): 84-121 (2004) - [j43]Raphael A. Finkel, Victor W. Marek, Miroslaw Truszczynski:
Constraint Lingo: towards high-level constraint programming. Softw. Pract. Exp. 34(15): 1481-1504 (2004) - 2003
- [j42]Marc Denecker, V. Wiktor Marek, Miroslaw Truszczynski:
Uniform semantic treatment of default and autoepistemic logics. Artif. Intell. 143(1): 79-122 (2003) - [j41]V. Wiktor Marek, Jeffrey B. Remmel:
On the expressibility of stable logic programming. Theory Pract. Log. Program. 3(4-5): 551-567 (2003) - 2002
- [j40]V. Wiktor Marek, Inna Pivkina, Miroslaw Truszczynski:
Annotated revision programs. Artif. Intell. 138(1-2): 149-180 (2002) - 2001
- [j39]Joeri Engelfriet, V. Wiktor Marek, Jan Treur, Miroslaw Truszczynski:
Default logic and specification of nonmonotonic reasoning. J. Exp. Theor. Artif. Intell. 13(2): 99-112 (2001) - [j38]V. Wiktor Marek, Jan Mycielski:
Foundations of Mathematics in the Twentieth Century. Am. Math. Mon. 108(5): 449-468 (2001) - [j37]Marc Denecker, Maurice Bruynooghe, V. Wiktor Marek:
Logic programming revisited: Logic programs as inductive definitions. ACM Trans. Comput. Log. 2(4): 623-654 (2001) - 1999
- [j36]Pawel Cholewinski, V. Wiktor Marek, Miroslaw Truszczynski, Artur Mikitiuk:
Computing with Default Logic. Artif. Intell. 112(1-2): 105-146 (1999) - [j35]V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel:
Logic Programs, Well-Orderings, and Forward Chaining. Ann. Pure Appl. Log. 96(1-3): 231-276 (1999) - [j34]V. Wiktor Marek, Miroslaw Truszczynski:
Contributions to the Theory of Rough Sets. Fundam. Informaticae 39(4): 389-409 (1999) - 1998
- [j33]Waldemar W. Koczkodaj, Marian Orlowski, V. Wiktor Marek:
Myths about Rough Set Theory. Commun. ACM 41(11): 102-103 (1998) - [j32]Bradley F. Burton, V. Wiktor Marek:
Applications of the JAVA Programming Language to Database Management. SIGMOD Rec. 27(1): 27-34 (1998) - [j31]V. Wiktor Marek, Miroslaw Truszczynski:
Revision Programming. Theor. Comput. Sci. 190(2): 241-277 (1998) - 1997
- [j30]V. Wiktor Marek, Jan Treur, Miroslaw Truszczynski:
Representation Theory for Default Logic. Ann. Math. Artif. Intell. 21(2-4): 343-358 (1997) - [j29]V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel:
Nonmonotonic rule systems with recursive sets of restraints. Arch. Math. Log. 36(4-5): 339-384 (1997) - [j28]V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel:
Complexity of Recursive Normal Default Logic. Fundam. Informaticae 32(2): 139-147 (1997) - 1996
- [j27]Jürgen Dix, Georg Gottlob, V. Wiktor Marek:
Reducing Disjunctive to Non-Disjunctive Semantics by Shift-Operations. Fundam. Informaticae 28(1-2): 87-100 (1996) - 1995
- [j26]Howard A. Blair, V. Wiktor Marek, John S. Schlipf:
The Expressiveness of Locally Stratified Programs. Ann. Math. Artif. Intell. 15(2): 209-229 (1995) - [j25]V. Wiktor Marek, Arcot Rajasekar, Miroslaw Truszczynski:
Complexity of Computing with Extended Propositional Logic Programs. Ann. Math. Artif. Intell. 15(3-4): 357-378 (1995) - 1994
- [j24]V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel:
A Context for Belief Revision: Forward Chaining - Normal Nonmonotonic Rule Systems. Ann. Pure Appl. Log. 67(1-3): 269-323 (1994) - [j23]V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel:
The Stable Models of a Predicate Logic Program. J. Log. Program. 21(3): 129-153 (1994) - [j22]Anil Nerode, Victor W. Marek, V. S. Subrahmanian:
Introduction. Methods Log. Comput. Sci. 1(1): 1-3 (1994) - 1993
- [j21]V. Wiktor Marek, Grigori F. Shvarts, Miroslaw Truszczynski:
Modal Nonmonotonic Logics: Ranges, Characterization, Computation. J. ACM 40(4): 963-990 (1993) - [j20]Helena Rasiowa, V. Wiktor Marek:
Mechanical Proof Systems for Logic II, Consensus Programs and Their Processing. J. Intell. Inf. Syst. 2(2): 149-164 (1993) - 1992
- [j19]V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel:
A Theory of Nonmonotonic Rule Systems II. Ann. Math. Artif. Intell. 5(2-4): 229-263 (1992) - [j18]V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel:
How Complicated is the Set of Stable Models of a Recursive Logic Program? Ann. Pure Appl. Log. 56(1-3): 119-135 (1992) - [j17]V. Wiktor Marek, Miroslaw Truszczynski:
More on modal aspects of default logic. Fundam. Informaticae 17(1-2): 99-116 (1992) - [j16]Melvin Fitting, V. Wiktor Marek, Miroslaw Truszczynski:
The Pure Logic of Necessitation. J. Log. Comput. 2(3): 349-373 (1992) - [j15]V. Wiktor Marek, V. S. Subrahmanian:
The Relationship Between Stable, Supported, Default and Autoepistemic Semantics for General Logic Programs. Theor. Comput. Sci. 103(2): 365-386 (1992) - 1991
- [j14]V. Wiktor Marek, Miroslaw Truszczynski:
Autoepistemic Logic. J. ACM 38(3): 588-619 (1991) - 1990
- [j13]V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel:
A Theory of Nonmonotonic Rule Systems I. Ann. Math. Artif. Intell. 1: 241-273 (1990) - [j12]V. Wiktor Marek, Miroslaw Truszczynski:
Modal Logic for Default Reasoning. Ann. Math. Artif. Intell. 1: 275-302 (1990) - 1988
- [j11]V. Wiktor Marek:
Book review: The Art of Prolog Advanced Programming Techniques by L. Sterling and E. Shapiro (The MIT Press). SIGART Newsl. 105: 12 (1988) - [j10]V. Wiktor Marek:
A Natural Semantics for Modal Logic Over Databases. Theor. Comput. Sci. 56: 187-209 (1988) - 1987
- [j9]V. Wiktor Marek:
Book review: Combinatorics, Set Systems, Hypergraphs, Families of Vectors and Combinatorial Probability by B. Bollobas (Cambridge University Press). SIGART Newsl. 101: 14 (1987) - 1986
- [j8]V. Wiktor Marek:
Executing Temporal Logic Programs by Ben Moszkowski. SIGART Newsl. 98: 15 (1986) - [j7]V. Wiktor Marek, Helena Rasiowa:
Approximating Sets with Equivalence Relations. Theor. Comput. Sci. 48(3): 145-152 (1986) - 1982
- [j6]Carlos A. Di Prisco, V. Wiktor Marek:
On Some σ-Algebras Containing the Projective Sets I. Math. Log. Q. 28(33-38): 525-538 (1982) - 1979
- [j5]Witold Lipski Jr., V. Wiktor Marek:
Information systems: on queries involving cardinalities. Inf. Syst. 4(1): 241-246 (1979) - 1976
- [j4]V. Wiktor Marek, Zdzislaw Pawlak:
Information Storage and Retrieval Systems: Mathematical Foundations. Theor. Comput. Sci. 1(4): 331-354 (1976) - 1975
- [j3]V. Wiktor Marek, M. Srebrny:
No minimal transitive model of Z-. Math. Log. Q. 21(1): 225-228 (1975) - 1973
- [j2]V. Wiktor Marek, M. Srebrny:
On Transitive Models for Fragments of Set Theory. Bull. Acad. Pol. des Sci. Ser. Sci. Math. Astron. Phys. 21(5): 389-392 (1973) - [j1]Victor W. Marek:
Observations Concerning Elementary Extensions of omega-Models. II. J. Symb. Log. 38(2): 227-231 (1973)
Conference and Workshop Papers
- 2018
- [c73]Vernon K. Cody Bumgardner, Caylin D. Hickey, Victor W. Marek:
Edge-enabled Distributed Network Measurement. PerCom Workshops 2018: 524-529 - [c72]Vernon K. Cody Bumgardner, Caylin D. Hickey, Victor W. Marek:
An Edge-Focused Model for Distributed Streaming Data Applications. PerCom Workshops 2018: 657-662 - 2017
- [c71]Marijn J. H. Heule, Oliver Kullmann, Victor W. Marek:
Solving Very Hard Problems: Cube-and-Conquer, a Hybrid SAT Solving Method. IJCAI 2017: 4864-4868 - 2016
- [c70]Vernon K. Cody Bumgardner, Victor W. Marek, Caylin D. Hickey:
Cresco: A distributed agent-based edge computing framework. CNSM 2016: 400-405 - [c69]Victor W. Marek:
Working with Zdzislaw Pawlak - Personal Reminiscences. FedCSIS 2016: 189-190 - [c68]Vernon K. Cody Bumgardner, Victor W. Marek, Caylin D. Hickey, Kanna Nandakumar:
Constellation: A secure self-optimizing framework for genomic processing. HealthCom 2016: 1-6 - [c67]Douglas A. Cenzer, Victor W. Marek, Jeffrey B. Remmel:
Index Sets for Finite Normal Predicate Logic Programs with Function Symbols. LFCS 2016: 60-75 - [c66]Vernon K. Cody Bumgardner, Victor W. Marek, Ray L. Hyatt:
Collating time-series resource data for system-wide job profiling. NOMS 2016: 1043-1048 - [c65]Marijn J. H. Heule, Oliver Kullmann, Victor W. Marek:
Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer. SAT 2016: 228-245 - 2014
- [c64]Vernon K. C. Bumgardner, Victor W. Marek:
Scalable hybrid stream and hadoop network analysis system. ICPE 2014: 219-224 - 2012
- [c63]Victor W. Marek, Jeffrey B. Remmel:
Disjunctive Programs with Set Constraints. Correct Reasoning 2012: 471-486 - 2011
- [c62]Victor W. Marek, Jeffrey B. Remmel:
Effectively Reasoning about Infinite Sets in Answer Set Programming. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning 2011: 131-147 - 2009
- [c61]Victor W. Marek, Jeffrey B. Remmel:
Automata and Answer Set Programming. LFCS 2009: 323-337 - 2008
- [c60]Victor W. Marek:
Quo Vadis Answer Set Programming? ICLP 2008: 83-87 - [c59]Victor W. Marek, Jeffrey B. Remmel:
On the Continuity of Gelfond-Lifschitz Operator and Other Applications of Proof-Theory in ASP. ICLP 2008: 223-237 - 2007
- [c58]Victor W. Marek, Jeffrey B. Remmel:
Compactness Properties for Stable Semantics of Logic Programs. LFCS 2007: 379-400 - [c57]Victor W. Marek, Miroslaw Truszczynski:
Rough Sets and Approximation Schemes. RSEISP 2007: 22-28 - 2006
- [c56]Miroslaw Truszczynski, V. Wiktor Marek, Raphael A. Finkel:
Generating Cellular Puzzles with Logic Programs. IC-AI 2006: 403-407 - 2005
- [c55]Victor W. Marek, Inna Pivkina, Miroslaw Truszczynski:
Approximating Answer Sets of Unitary Lifschitz-Woo Programs. LPNMR 2005: 66-78 - 2004
- [c54]Victor W. Marek, Miroslaw Truszczynski:
Logic Programs with Abstract Constraint Atoms. AAAI 2004: 86-91 - [c53]Hemantha Ponnuru, Raphael A. Finkel, Victor W. Marek, Miroslaw Truszczynski:
Automatic Generation of English-language Steps in Puzzle Solving. IC-AI 2004: 437-442 - [c52]Douglas Cenzer, V. Wiktor Marek, Jeffrey B. Remmel:
Using Logic Programs to Reason about Infinite Sets. AI&M 2004 - [c51]V. Wiktor Marek, Ilkka Niemelä, Miroslaw Truszczynski:
Logic Programs With Monotone Cardinality Atoms. LPNMR 2004: 154-166 - [c50]V. Wiktor Marek, Jeffrey B. Remmel:
Set Constraints in Logic Programming. LPNMR 2004: 167-179 - [c49]Victor W. Marek, Jeffrey B. Remmel:
Answer set programming with default logic. NMR 2004: 276-284 - 2003
- [c48]Michael R. Dransfield, V. Wiktor Marek, Miroslaw Truszczynski:
Satisfiability and Computing van der Waerden Numbers. SAT 2003: 1-13 - 2002
- [c47]Raphael A. Finkel, V. Wiktor Marek, Miroslaw Truszczynski:
Constraint Lingo: A Program for Solving Logic Puzzles and Other Tabular Constraint Problems. JELIA 2002: 513-516 - [c46]Marc Denecker, V. Wiktor Marek, Miroslaw Truszczynski:
Ultimate Approximations in Nonmonotonic Knowledge Representation Systems. KR 2002: 177-190 - [c45]Victor W. Marek, Jeffrey B. Remmel:
On logic programs with cardinality constraints. NMR 2002: 219-228 - 2001
- [c44]Raphael A. Finkel, Victor W. Marek, Neil Moore, Miroslaw Truszczynski:
Computing stable models in parallel. Answer Set Programming 2001 - [c43]Raphael A. Finkel, Victor W. Marek, Miroslaw Truszczynski:
Tabular Constraint-Satisfaction Problems and Answer Set Programming. Answer Set Programming 2001 - [c42]Victor W. Marek, Jeffrey B. Remmel:
On the Foundations of Answer Set Programming. Answer Set Programming 2001 - [c41]V. Wiktor Marek, Jeffrey B. Remmel:
On the Expressibility of Stable Logic Programming. LPNMR 2001: 107-120 - 2000
- [c40]Marc Denecker, V. Wiktor Marek, Miroslaw Truszczynski:
Uniform semantic treatment of default and autoepistemic logic. KR 2000: 74-84 - 1999
- [c39]V. Wiktor Marek, Inna Pivkina, Miroslaw Truszczynski:
Annotated Revision Programs. LPNMR 1999: 49-62 - 1998
- [c38]Marc Denecker, V. Wiktor Marek, Miroslaw Truszczynski:
Fixpoint 3-Valued Semantics for Autoepistemic Logic. AAAI/IAAI 1998: 840-845 - [c37]Walton Sumner, Miroslaw Truszczynski, Victor W. Marek:
Simulating patients with Parallel Health State Networks. AMIA 1998 - [c36]V. Wiktor Marek, Inna Pivkina, Miroslaw Truszczynski:
Revision Programming = Logic Programming + Integrity Constraints. CSL 1998: 73-89 - [c35]V. Wiktor Marek, Miroslaw Truszczynski:
Rough Sets - What Are They About? Rough Sets and Current Trends in Computing 1998: 24 - 1997
- [c34]Joseph D. Oldham, V. Wiktor Marek, Miroslaw Truszczynski:
Intelligent Computation of Presentation Documents. ISMIS 1997: 560-569 - [c33]V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel:
Basic Forward Chaining Construction for Logic Programs. LFCS 1997: 214-225 - 1996
- [c32]Joseph D. Oldham, V. Wiktor Marek:
Toward Intelligent Representation of Database Content. ISMIS 1996: 274-284 - [c31]Joeri Engelfriet, V. Wiktor Marek, Jan Treur, Miroslaw Truszczynski:
Infinitary Default Logic for Specification of Nonmonotonic Reasoning. JELIA 1996: 224-236 - [c30]Pawel Cholewinski, V. Wiktor Marek, Miroslaw Truszczynski:
Default Reasoning System DeReS. KR 1996: 518-528 - [c29]V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel:
On the Complexity of Abduction. LICS 1996: 513-522 - 1995
- [c28]V. Wiktor Marek, Miroslaw Truszczynski:
Revision Programming, Database Updates and Integrity Constraints. ICDT 1995: 368-382 - [c27]Pawel Cholewinski, V. Wiktor Marek, Artur Mikitiuk, Miroslaw Truszczynski:
Experimenting with Nonmonotonic Reasoning. ICLP 1995: 267-281 - [c26]V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel:
Complexity of Normal Default Logic and Related Modes of Nonmonotonic Reasoning. LICS 1995: 178-185 - [c25]V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel:
On Logical Constraints in Logic Programming. LPNMR 1995: 43-56 - [c24]William Brooks, V. Wiktor Marek, Miroslaw Truszczynski:
Algorithms for Maintaining Authorization Bases. OOIS 1995: 99-110 - 1994
- [c23]Jürgen Dix, Georg Gottlob, V. Wiktor Marek:
Causal Models of Disjunctive Logic Programs. ICLP 1994: 290-302 - [c22]V. Wiktor Marek, Miroslaw Truszczynski:
Revision Specifications by Means of Programs. JELIA 1994: 122-136 - [c21]V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel:
On Logical Constraints in Logic Programming. ILPS Workshop: Constraints and Databases 1994 - 1993
- [c20]Helena Rasiowa, V. Wiktor Marek:
Mechanical Proof Systems for Logic II, Consensus Programs and Their Procedding (Extended Abstract). ISMIS 1993: 142-151 - [c19]V. Wiktor Marek:
Complexity Issues in Nonmonotonic Logic and Logic Programming (Abstract). Kurt Gödel Colloquium 1993: 61 - [c18]V. Wiktor Marek, Miroslaw Truszczynski:
Reflective Autoepistemic Logic and Logic Programming. LPNMR 1993: 115-131 - 1992
- [c17]V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel:
Rule Systems and Well-Orderings. Structural Complexity and Recursion-theoretic methods in Logic-Programming 1992: 69-92 - [c16]V. Wiktor Marek, Arcot Rajasekar, Miroslaw Truszczynski:
Complexity of Computing with Extended Propositional Logic Programs. Structural Complexity and Recursion-theoretic methods in Logic-Programming 1992: 93-102 - [c15]V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel:
The Stable Models of a Predicate Logic Program. JICSLP 1992: 446-460 - 1991
- [c14]V. Wiktor Marek, Grigori F. Shvarts, Miroslaw Truszczynski:
Modal Nonmonotonic Logics: Ranges, Characterization, Computation. KR 1991: 395-404 - [c13]V. Wiktor Marek, Miroslaw Truszczynski:
Computing Intersection of Autoepistemic Expansions. LPNMR 1991: 37-50 - [c12]V. Wiktor Marek, Miroslaw Truszczynski:
Normal Form Results for Default Logic. Nonmonotonic and Inductive Logic 1991: 270-283 - 1990
- [c11]V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel:
A Theory of Nonmonotonic Rule Systems. LICS 1990: 79-94 - [c10]V. Wiktor Marek, Grigori Schwarz, Miroslaw Truszczynski:
Ranges of Strong Modal Nonmonotonic Logics. Nonmonotonic and Inductive Logic 1990: 85-99 - 1989
- [c9]Aidong Zhang, V. Wiktor Marek:
On the Classification and Existence of Structures in Default Logic. EPIA 1989: 129-140 - [c8]V. Wiktor Marek, V. S. Subrahmanian:
The Relationship Between Logic Program Semantics and Non-Monotonic Reasoning. ICLP 1989: 600-617 - [c7]V. Wiktor Marek, Miroslaw Truszczynski:
Relating Autoepistemic and Default Logics. KR 1989: 276-288 - [c6]V. Wiktor Marek, Miroslaw Truszczynski:
Stable Semantics for Logic Programs and Default Theories. NACLP 1989: 243-256 - 1987
- [c5]Jerzy W. Jaromczyk, V. Wiktor Marek:
Investigating Logical Properties of the Rule-Based Expert Systems Using Combinatorial and Geometrical Techniques I. ISMIS 1987: 96-106 - 1986
- [c4]V. Wiktor Marek:
Completeness and Consistency in Knowledge Base Systems. Expert Database Conf. 1986: 119-126 - [c3]V. Wiktor Marek, Helena Rasiowa:
Approximating sets with equivalence relations. ISMIS 1986: 190-200 - 1984
- [c2]V. Wiktor Marek:
A Natural Semantics for Modal Logic over Databases and Model-Theoretic Forcing. NMR 1984: 194-240 - 1974
- [c1]Witold Lipski Jr., V. Wiktor Marek:
File Organization, An Application of Graph Theory. ICALP 1974: 270-279
Parts in Books or Collections
- 2013
- [p3]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:
Professor Zdzisław Pawlak (1926-2006): Founder of the Polish School of Artificial Intelligence. Rough Sets and Intelligent Systems (1) 2013: 1-56 - [p2]Victor W. Marek:
Zdzisław Pawlak, Databases and Rough Sets. Rough Sets and Intelligent Systems (1) 2013: 175-184 - 1999
- [p1]Victor W. Marek, Miroslaw Truszczynski:
Stable Models and an Alternative Logic Programming Paradigm. The Logic Programming Paradigm 1999: 375-398
Editorship
- 2007
- [e6]James F. Peters, Andrzej Skowron, Victor W. Marek, Ewa Orlowska, Roman Slowinski, Wojciech Ziarko:
Transactions on Rough Sets VII, Commemorating the Life and Work of Zdzislaw Pawlak, Part II. Lecture Notes in Computer Science 4400, Springer 2007, ISBN 978-3-540-71662-4 [contents] - 1999
- [e5]Krzysztof R. Apt, Victor W. Marek, Mirek Truszczynski, David Scott Warren:
The Logic Programming Paradigm - A 25-Year Perspective. Artificial Intelligence, Springer 1999, ISBN 978-3-642-64249-4 [contents] - 1995
- [e4]V. Wiktor Marek, Anil Nerode:
Logic Programming and Nonmonotonic Reasoning, Third International Conference, LPNMR'95, Lexington, KY, USA, June 26-28, 1995, Proceedings. Lecture Notes in Computer Science 928, Springer 1995, ISBN 3-540-59487-6 [contents] - 1992
- [e3]Howard A. Blair, V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel:
Informal Proceedings of the Workshop Structural Complexity and Recursion-theoretic methods in Logic-Programming, Washington, DC, USA, November 13, 1992. Mathematical Sciences Institute, Cornell University 1992 [contents] - 1991
- [e2]Anil Nerode, V. Wiktor Marek, V. S. Subrahmanian:
Logic Programming and Non-monotonic Reasoning, Proceedings of the First International Workshop, Washington, D.C., USA, July 1991. The MIT Press 1991, ISBN 0-262-64027-9 [contents] - 1990
- [e1]V. Wiktor Marek, Anil Nerode, Dino Pedreschi, V. S. Subrahmanian:
Proceedings of the Workshop Logic Programming and Non-Monotonic Logic, Austin, TX, USA, November 1-2, 1990. 1990 [contents]
Informal and Other Publications
- 2016
- [i18]Marijn J. H. Heule, Oliver Kullmann, Victor W. Marek:
Solving and Verifying the boolean Pythagorean Triples problem via Cube-and-Conquer. CoRR abs/1605.00723 (2016) - 2013
- [i17]Douglas Cenzer, Victor W. Marek, Jeffrey B. Remmel:
Index sets for Finite Normal Predicate Logic Programs. CoRR abs/1303.6555 (2013) - 2011
- [i16]Marc Denecker, Victor W. Marek, Miroslaw Truszczynski:
Reiter's Default Logic Is a Logic of Autoepistemic Reasoning And a Good One, Too. CoRR abs/1108.3278 (2011) - [i15]Victor W. Marek, Ilkka Niemelä, Miroslaw Truszczynski:
Origins of Answer-Set Programming - Some Background And Two Personal Accounts. CoRR abs/1108.3281 (2011) - 2009
- [i14]V. Wiktor Marek, Jeffrey B. Remmel:
Guarded resolution for answer set programming. CoRR abs/0904.3953 (2009) - [i13]Victor W. Marek, Jeffrey B. Remmel:
An Application of Proof-Theory in answer Set Programming. CoRR abs/0905.0197 (2009) - 2006
- [i12]Victor W. Marek, Ilkka Niemelä, Miroslaw Truszczynski:
Logic programs with monotone abstract constraint atoms. CoRR abs/cs/0608103 (2006) - 2005
- [i11]Victor W. Marek, Jeffrey B. Remmel:
Normal Form Theorem for Logic Programs with Cardinality Constraints. Nonmonotonic Reasoning, Answer Set Programming and Constraints 2005 - [i10]Jeffrey B. Remmel, Victor W. Marek:
Set Based Logic Programming. Nonmonotonic Reasoning, Answer Set Programming and Constraints 2005 - 2003
- [i9]V. Wiktor Marek, Jeffrey B. Remmel:
On the Expressibility of Stable Logic Programming. CoRR cs.AI/0312053 (2003) - [i8]V. Wiktor Marek, Ilkka Niemelä, Miroslaw Truszczynski:
Logic programs with monotone cardinality atoms. CoRR cs.LO/0310063 (2003) - [i7]Michael R. Dransfield, V. Wiktor Marek, Miroslaw Truszczynski:
Satisfiability and computing van der Waerden numbers. CoRR cs.LO/0310064 (2003) - 2002
- [i6]Marc Denecker, V. Wiktor Marek, Miroslaw Truszczynski:
Ultimate approximations in nonmonotonic knowledge representation systems. CoRR cs.AI/0205014 (2002) - 2001
- [i5]V. Wiktor Marek, Inna Pivkina, Miroslaw Truszczynski:
Annotated revision programs. CoRR cs.AI/0107026 (2001) - 2000
- [i4]Marc Denecker, Victor W. Marek, Miroslaw Truszczynski:
Uniform semantic treatment of default and autoepistemic logics. CoRR cs.AI/0002002 (2000) - 1999
- [i3]Marc Denecker, V. Wiktor Marek, Miroslaw Truszczynski:
Fixpoint 3-valued semantics for autoepistemic logic. CoRR cs.LO/9901003 (1999) - [i2]V. Wiktor Marek, Jan Treur, Miroslaw Truszczynski:
Representation Theory for Default Logic. CoRR cs.LO/9901016 (1999) - 1998
- [i1]Victor W. Marek, Miroslaw Truszczynski:
Stable models and an alternative logic programming paradigm. CoRR cs.LO/9809032 (1998)
Coauthor Index
aka: Mirek Truszczynski
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-02 21:46 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint