Edit Profile Marek, V. Wiktor Compute Distance To: Compute Author ID: marek.wiktor Published as: Marek, W.; Marek, Wiktor; Marek, Victor W.; Marek, V. W.; Marek, V. Wiktor; Marek, Victor External Links: MGP · Wikidata · dblp · GND Documents Indexed: 176 Publications since 1964, including 21 Books Biographic References: 2 Publications all top 5 Co-Authors 29 single-authored 38 Truszczyński, Mirosław 28 Remmel, Jeffrey B. 11 Nerode, Anil 9 Onyszkiewicz, Janusz 9 Pawlak, Zdzisław 8 Lipski, Witold jun. 7 Di Prisco, Carlos Augusto 7 Srebrny, Marian 6 Denecker, Marc 6 Zbierski, Pawel 5 Skowron, Andrzej 4 Cenzer, Douglas 4 Traczyk, Tadeusz 3 Niemelä, Ilkka N. F. 3 Pivkina, Inna 3 Treur, Jan 2 Apt, Krzysztof Rafal 2 Blair, Howard A. 2 Dransfield, Michael R. 2 Engelfriet, Joeri 2 Ershov, Yuriĭ Leonidovich 2 Goncharov, Sergeĭ Savost’yanovich 2 Orłowska, Ewa S. 2 Peters, James Francis III 2 Rasiowa, Helena 2 Schwarz, Grigori F. 2 Słowiński, Roman 2 Ziarko, Wojciech P. 1 Boyer, Robert S. 1 Brewka, Gerhard 1 Bruynooghe, Maurice 1 Chakraborty, Mihir Kumar 1 Cholewiński, Paweł 1 Czarnota, Kazimierz 1 Dix, Jurgen 1 Ehrenfeucht, Andrzej 1 Finkel, Raphael Ari 1 Fitting, Melvin Chris 1 Gottlob, Georg 1 Grzymala-Busse, Jerzy W. 1 Hájek, Petr 1 Heule, Marijn J. H. 1 Inclezan, Daniela 1 Jaegermann, Michal 1 Jankowski, Andrzej Wojciech 1 Koczkodaj, Waldemar W. 1 Krajewski, Stanisław 1 Krawczyk, Adam 1 Kullmann, Oliver 1 Legato, Wilfred J. 1 Liu, Fang 1 Liu, Lengning 1 Lolli, Gabriele 1 Lonc, Zbigniew 1 Maratea, Marco 1 Marciszewski, Witold 1 Mayer, Andrew J. 1 Mazurek, Jiří 1 Mazurek, Mirosław 1 Mikhailov, Ludmil 1 Mikitiuk, Artur 1 Mirkowska, A. 1 Mostowski, Andrzej Stanisław 1 Mycielski, Jan 1 Osoria, Mauricio 1 Ozel, Cenap 1 Pedrycz, Witold 1 Perzanowski, Jerzy 1 Poletyło, Mikołaj 1 Polkowski, Lech T. 1 Przelaskowski, Artur 1 Rajasekar, Arcot K. 1 Rauszer, Cecylia M. 1 Ray, Katrina J. 1 Rode-Babczenko, Izabella 1 Rozenberg, Grzegorz 1 Salwicki, Andrzej 1 Schlipf, John Stewart 1 Shvarts, Grigori F. 1 Ślęzak, Dominik 1 Smarzewski, Ryszard 1 Sobolewski, Michal 1 Sochor, Antonin 1 Stanosz, Barbara 1 Stonert, Henryk 1 Strzalka, Dominik 1 Subrahmanian, V. S. 1 Szybowski, Jacek 1 Tabin, Marek 1 Tsumoto, Shusaku 1 Vopenka, Petr 1 Wakulicz-Deja, Alicja 1 Walker, Alden 1 Wang, Guoyin 1 Warren, David Scott 1 Weaver, Sean A. 1 Wojcicki, Ryszard 1 Woleński, Jan 1 Yayli, Yusuf 1 Zarach, Andrzej M. ...and 2 more Co-Authors all top 5 Serials 15 Bulletin de l’Académie Polonaise des Sciences, Série des Sciences Mathématiques, Astronomiques et Physiques 12 Annales Societatis Mathematicae Polonae. Series IV 10 Prace, Centrum obliczeniowe (CO), Polska Akademia Nauk (PAN) 8 Annals of Mathematics and Artificial Intelligence 5 Theoretical Computer Science 4 Fundamenta Mathematicae 4 Annals of Pure and Applied Logic 4 Fundamenta Informaticae 3 Artificial Intelligence 3 Dissertationes Mathematicae 3 Theory and Practice of Logic Programming 3 Comptes Rendus Hebdomadaires des Séances de l’Académie des Sciences, Série A 2 Annals of Mathematical Logic 2 Journal of the Association for Computing Machinery 2 Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 2 Journal of Logic and Computation 2 Podstawy Sterowania 2 Bulletin of the Polish Academy of Sciences, Mathematics 2 Lecture Notes in Computer Science 2 Studies in Logic and the Foundations of Mathematics 2 Studies in Logic (London) 1 American Mathematical Monthly 1 Commentationes Mathematicae Universitatis Carolinae 1 The Journal of Symbolic Logic 1 Proceedings of the American Mathematical Society 1 Studia Logica 1 Roczniki Polskiego Towarzystwa Matematycznego. Seria II. Wiadomości Matematyczne 1 The Journal of Logic Programming 1 Information and Computation 1 Journal of Automated Reasoning 1 JCMCC. The Journal of Combinatorial Mathematics and Combinatorial Computing 1 International Journal of Approximate Reasoning 1 JETAI. Journal of Experimental & Theoretical Artificial Intelligence 1 Information Systems 1 Bulletin de l’Académie Polonaise des Sciences. Série des Sciences Mathématiques 1 Archive for Mathematical Logic 1 The Electronic Journal of Combinatorics 1 European Mathematical Society Newsletter 1 ACM Transactions on Computational Logic 1 Bollettino della Unione Matematica Italiana. Series V. A 1 Lecture Notes in Mathematics 1 Journal of Satisfiability, Boolean Modeling and Computation all top 5 Fields 108 Computer science (68-XX) 97 Mathematical logic and foundations (03-XX) 15 General and overarching topics; collections (00-XX) 10 History and biography (01-XX) 8 Combinatorics (05-XX) 5 Order, lattices, ordered algebraic structures (06-XX) 1 Number theory (11-XX) 1 Operations research, mathematical programming (90-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 88 Publications have been cited 671 times in 441 Documents Cited by ▼ Year ▼ Stable models and an alternative logic programming paradigm. Zbl 0979.68524Marek, Victor W.; Truszczyński, Mirosław 89 1999 Autoepistemic logic. Zbl 0799.68176Marek, Wiktor; Truszczynski, Miroslaw 79 1991 Nonmonotonic logic. Context-dependent reasoning. Foreword by Ray Reiter. Zbl 0784.03018Marek, V. W.; Truszczyński, M. 63 1993 Approximations, stable operators, well-founded fixpoints and applications in nonmonotonic reasoning. Zbl 0988.68183Denecker, Marc; Marek, Victor; Truszczyński, Mirosław 22 2000 A theory of nonmonotonic rule systems I. Zbl 0878.68035Marek, W.; Nerode, A.; Remmel, J. 21 1990 Uniform semantic treatment of default and autoepistemic logics. Zbl 1010.03021Denecker, Marc; Marek, Victor W.; Truszczyński, Mirosław 20 2003 Solving and verifying the Boolean Pythagorean triples problem via cube-and-conquer. Zbl 1403.68226Heule, Marijn J. H.; Kullmann, Oliver; Marek, Victor W. 20 2016 The relationship between stable, supported, default and autoepistemic semantics for general logic programs. Zbl 0753.68062Marek, W.; Subrahmanian, V. S. 20 1992 Information storage and retrieval systems: Mathematical foundations. Zbl 0354.68035Marek, Wiktor; Pawlak, Zdzislaw 16 1976 Relating autoepistemic and default logics. Zbl 0706.03024Marek, Wiktor; Truszczyński, Mirosław 16 1989 Ultimate approximation and its application in nonmonotonic knowledge representation systems. Zbl 1074.68069Denecker, Marc; Marek, Victor W.; Truszczyński, Mirosław 16 2004 A theory of nonmonotonic rule systems. II. Zbl 0865.03017Marek, W.; Nerode, A.; Remmel, J. 13 1992 Modal nonmonotonic logics: Ranges, characterization, computation. Zbl 0783.68121Marek, V. Wiktor; Schwarz, Grigori F.; Truszczyński, Mirosław 12 1993 Logic programs with monotone abstract constraint atoms. Zbl 1142.68018Marek, Victor W.; Niemelä, Ilkka; Truszczyński, Mirosław 12 2008 Modal logic for default reasoning. Zbl 0871.03009Marek, W.; Truszczyński, M. 11 1990 How complicated is the set of stable models of a recursive logic program? Zbl 0766.03024Marek, W.; Nerode, A.; Remmel, J. 11 1992 Revision programming. Zbl 0893.68054Marek, Victor W.; Truszczyński, Mirosław 10 1998 The stable models of a predicate logic program. Zbl 0836.68013Marek, V. Wiktor; Nerode, Anil; Remmel, Jeffrey B. 10 1994 Satisfiability and computing van der Waerden numbers. Zbl 1054.05097Dransfield, Michael R.; Liu, Lengning; Marek, Victor W.; Truszczyński, Mirosław 10 2004 Handbook of recursive mathematics. Vol. 1: Recursive model theory. Zbl 0905.03001Ershov, Yu. L. (ed.); Goncharov, S. S. (ed.); Nerode, A. (ed.); Remmel, J. B. (ed.); Marek, V. W. (ed.) 9 1998 A context for belief revision: forward chaining-normal nonmonotonic rule systems. Zbl 0798.03028Marek, V. W.; Nerode, A.; Remmel, J. B. 9 1994 Second order arithmetic and related topics. Zbl 0299.02066Apt, Krysztof R.; Marek, W. 9 1974 Stable theories in autoepistemic logic. Zbl 0673.03016Marek, W. 8 1989 Logic programming revisited: logic programs as inductive definitions. Zbl 1365.68148Denecker, Marc; Bruynooghe, Maurice; Marek, Victor 8 2001 Set constraints in logic programming. Zbl 1122.68381Marek, Victor W.; Remmel, Jeffrey B. 8 2004 Logic programs, well-orderings, and forward chaining. Zbl 0927.68021Marek, V. W.; Nerode, A.; Remmel, J. B. 7 1999 On the classification and existence of structures in default logic. Zbl 0810.03019Zhang, Aidong; Marek, Wiktor 7 1990 The expressiveness of locally stratified programs. Zbl 0855.68016Blair, Howard A.; Marek, V. Wiktor; Schlipf, John S. 6 1995 Rough sets and information systems. Zbl 0546.68088Marek, Wiktor; Pawlak, Zdzisław 6 1984 Handbook of recursive mathematics. Vol. 2: Recursive algebra, analysis and combinatorics. Zbl 0905.03002Ershov, Yu. L. (ed.); Goncharov, S. S. (ed.); Nerode, A. (ed.); Remmel, J. B. (ed.); Marek, V. W. (ed.) 5 1998 Normal form results for default logic. Zbl 0819.68123Marek, V. W.; Truszczynski, M. 5 1993 Gaps in the constructible universe. Zbl 0279.02049Marek, W.; Srebrny, M. 5 1974 The pure logic of necessitation. Zbl 0819.03011Fitting, Melvin C.; Marek, V. Wiktor; Truszczyński, Mirosław 5 1992 On the expressibility of stable logic programming. Zbl 1079.68015Marek, Victor W.; Remmel, Jeffrey B. 5 2003 Computing with default logic. Zbl 0996.68195Cholewiński, Paweł; Marek, Victor W.; Mikitiuk, Artur; Truszczyński, Mirosław 4 1999 Contributions to the theory of rough sets. Zbl 0944.68051Marek, V. Wiktor; Truszczyński, Mirosław 4 1999 The logic programming paradigm. A 25-year perspective. Zbl 0919.00027Apt, K. R. (ed.); Marek, V. W. (ed.); Truszczynski, M. (ed.); Warren, D. S. (ed.) 4 1999 Introduction to mathematics of satisfiability. Zbl 1184.68001Marek, Victor W. 4 2009 Andrzej Mostowski and foundational studies. Zbl 1134.03004Ehrenfeucht, A. (ed.); Marek, V. W. (ed.); Srebrny, M. (ed.) 4 2008 Reducing disjunctive to non-disjunctive semantics by shift-operations. Zbl 0863.68088Dix, Jürgen; Gottlob, Georg; Marek, Wiktor 3 1996 Representation theory for default logic. Zbl 0890.68121Marek, V. Wiktor; Treur, Jan; Truszczyński, Mirosław 3 1997 Revision specifications by means of programs. Zbl 0988.68626Marek, V. W.; Truszczyński, M. 3 1994 On information storage and retrieval systems. Zbl 0315.68075Lipski, Witold; Marek, Wiktor 3 1975 On the foundations of information retrieval. Zbl 0325.68054Marek, W.; Pawlak, Z. 3 1974 Gradual approximating sets by means of equivalence relations. Zbl 0645.04001Marek, Wiktor; Rasiowa, Helena 3 1987 Reiter’s default logic is a logic of autoepistemic reasoning and a good one, too. Zbl 1259.68186Denecker, Marc; Marek, Victor W.; Truszczynski, Mirosław 3 2011 Logic programs with monotone cardinality atoms. Zbl 1122.68380Marek, Victor W.; Niemelä, Ilkka; Truszczyński, Mirosław 3 2004 Set based logic programming. Zbl 1175.68099Blair, H. A.; Marek, V. W.; Remmel, J. B. 3 2008 Satisfiability and computing van der Waerden numbers. Zbl 1204.05097Dransfield, Michael R.; Marek, Victor W.; Truszczyński, Mirosław 3 2004 On the expressibility of stable logic programming. Zbl 1007.68024Marek, V. W.; Remmel, J. B. 2 2001 Fixpoint 3-valued semantics for autoepistemic logic. Zbl 0938.03046Denecker, Marc; Marek, V. Wiktor; Truszczyński, Mirosław 2 1999 An application of graph theory to information retrieval. Zbl 0304.68043Lipski, W.; Marek, W. 2 1974 Set theory and hierarchy theory. A memorial tribute to Andrzej Mostowski, Bierutowice, Poland 1975. Zbl 0324.00007Marek, W. (ed.); Srebrny, M. (ed.); Zarach, A. (ed.) 2 1976 Mathematical foundations of information storage and retrieval. I. Zbl 0326.68067Marek, Wiktor; Pawlak, Zdzislaw 2 1973 Complexity of recursive normal default logic. Zbl 0937.03038Marek, V. Wiktor; Nerode, Anil; Remmel, Jeffrey B. 2 1997 Modal nonmonotonic logics: Ranges, characterization, computation. Zbl 0765.03014Marek, Wiktor; Shvarts, Grigori F.; Truszczyński, Mirosław 2 1991 Combinatorial analysis. (Analiza kombinatoryczna). Zbl 0662.05001Lipski, Witold; Marek, Wiktor 2 1986 A filter on \([\lambda]^{\kappa}\). Zbl 0536.03035Di Prisco, C. A.; Marek, W. 2 1984 Characterizing Pawlak’s approximation operators. Zbl 1187.68585Marek, Victor W. 1 2007 On the continuity of Gelfond-Lifschitz operator and other applications of proof-theory in ASP. Zbl 1185.68169Marek, V. W.; Remmel, J. B. 1 2008 Nonmonotonic rule systems with recursive sets of restraints. Zbl 0938.03043Marek, V. Wiktor; Nerode, Anil; Remmel, Jeffrey B. 1 1997 Annotated revision programs. Zbl 0995.68106Marek, Victor; Pivkina, Inna; Truszczyński, Mirosław 1 2002 Default logic and specification of nonmonotonic reasoning. Zbl 1008.03020Engelfriet, Joeri; Marek, V. Wiktor; Treur, Jan; Truszczyński, Mirosław 1 2001 Foundations of mathematics in the twentieth century. Zbl 0978.03001Marek, V. Wiktor; Mycielski, Jan 1 2001 Elemente der Logik und der Mengenlehre in Aufgaben. (Elementy logiki i teorii mnogosci w zadaniach.). Zbl 0288.02001Marek, Wiktor; Onyszkiewicz, Janusz 1 1972 A mathematical theory of informational systems. Zbl 0319.68015Lipski, Witold; Marek, Wiktor 1 1976 Mathematical foundations of information storage and retrieval. II. Zbl 0326.68068Marek, Wiktor; Pawlak, Zdzislaw 1 1973 Urelements and extendability. Zbl 0358.02067Marek, W.; Srebrny, M. 1 1976 \(\omega\)-models of second order arithmetic and admissible sets. Zbl 0385.03030Marek, W. 1 1978 Sur la consistance d’une hypothèse de Fraisse sur la definissabilite dans un langage du second ordre. Zbl 0257.02050Marek, Wiktor 1 1973 Consistance d’une hypothèse de Fraisse sur la definissabilite dans un langage du second ordre. Zbl 0259.02048Marek, Wiktor 1 1973 The foundations of mathematics in Poland after world war II. Zbl 0417.03001Marek, W. 1 1977 More on modal aspects of default logic. Zbl 0772.03011Marek, V. Wiktor; Truszczynski, Miroslaw 1 1992 Negation as failure to prove and fixed points. Zbl 0673.03017Marek, W.; Truszczynski, M. 1 1989 A remark on independence proofs. Zbl 0147.25801Marek, W. 1 1966 Axioms of choice in impredicative set theory. Zbl 0241.02025Marek, W.; Zbierski, P. 1 1972 Logic programming with infinite sets. Zbl 1086.68126Cenzer, Douglas; Remmel, Jeffrey B.; Marek, Victor W. 1 2005 On some \(\sigma\)-algebras containing the projective sets. I. Zbl 0544.03023Di Prisco, C. A.; Marek, Wiktor 1 1982 Elements of logic and foundations of mathematics in problems. Transl. from the Polish by Elżbieta Tarantowicz-Marek. Zbl 0574.03001Marek, Wiktor; Onyszkiewicz, Janusz 1 1982 Some aspects of the theory of large cardinals. Zbl 0597.03032Di Prisco, Carlos A.; Marek, Wiktor 1 1985 On the space \((\lambda)^{\kappa}\). Zbl 0617.03030Di Prisco, Carlos A.; Marek, Wiktor 1 1985 Approximating sets with equivalence relations. Zbl 0638.68066Marek, W.; Rasiowa, H. 1 1986 Compactness properties for stable semantics of logic programs. Zbl 1148.68011Marek, Victor W.; Remmel, Jeffrey B. 1 2007 Compactness properties for stable semantics of logic programs. Zbl 1133.68013Marek, Victor W.; Remmel, Jeffrey B. 1 2007 Rough sets and matroids. Zbl 1404.68169Marek, Victor W.; Skowron, Andrzej 1 2014 Automata and answer set programming. Zbl 1211.68061Marek, Victor; Remmel, Jeffrey B. 1 2009 Guarded resolution for answer set programming. Zbl 1223.68104Marek, V. W.; Remmel, J. B. 1 2011 Satisfiability-based set membership filters. Zbl 1322.68187Weaver, Sean A.; Ray, Katrina J.; Marek, Victor W.; Mayer, Andrew J.; Walker, Alden K. 1 2014 Solving and verifying the Boolean Pythagorean triples problem via cube-and-conquer. Zbl 1403.68226Heule, Marijn J. H.; Kullmann, Oliver; Marek, Victor W. 20 2016 Rough sets and matroids. Zbl 1404.68169Marek, Victor W.; Skowron, Andrzej 1 2014 Satisfiability-based set membership filters. Zbl 1322.68187Weaver, Sean A.; Ray, Katrina J.; Marek, Victor W.; Mayer, Andrew J.; Walker, Alden K. 1 2014 Reiter’s default logic is a logic of autoepistemic reasoning and a good one, too. Zbl 1259.68186Denecker, Marc; Marek, Victor W.; Truszczynski, Mirosław 3 2011 Guarded resolution for answer set programming. Zbl 1223.68104Marek, V. W.; Remmel, J. B. 1 2011 Introduction to mathematics of satisfiability. Zbl 1184.68001Marek, Victor W. 4 2009 Automata and answer set programming. Zbl 1211.68061Marek, Victor; Remmel, Jeffrey B. 1 2009 Logic programs with monotone abstract constraint atoms. Zbl 1142.68018Marek, Victor W.; Niemelä, Ilkka; Truszczyński, Mirosław 12 2008 Andrzej Mostowski and foundational studies. Zbl 1134.03004Ehrenfeucht, A.; Marek, V. W.; Srebrny, M. 4 2008 Set based logic programming. Zbl 1175.68099Blair, H. A.; Marek, V. W.; Remmel, J. B. 3 2008 On the continuity of Gelfond-Lifschitz operator and other applications of proof-theory in ASP. Zbl 1185.68169Marek, V. W.; Remmel, J. B. 1 2008 Characterizing Pawlak’s approximation operators. Zbl 1187.68585Marek, Victor W. 1 2007 Compactness properties for stable semantics of logic programs. Zbl 1148.68011Marek, Victor W.; Remmel, Jeffrey B. 1 2007 Compactness properties for stable semantics of logic programs. Zbl 1133.68013Marek, Victor W.; Remmel, Jeffrey B. 1 2007 Logic programming with infinite sets. Zbl 1086.68126Cenzer, Douglas; Remmel, Jeffrey B.; Marek, Victor W. 1 2005 Ultimate approximation and its application in nonmonotonic knowledge representation systems. Zbl 1074.68069Denecker, Marc; Marek, Victor W.; Truszczyński, Mirosław 16 2004 Satisfiability and computing van der Waerden numbers. Zbl 1054.05097Dransfield, Michael R.; Liu, Lengning; Marek, Victor W.; Truszczyński, Mirosław 10 2004 Set constraints in logic programming. Zbl 1122.68381Marek, Victor W.; Remmel, Jeffrey B. 8 2004 Logic programs with monotone cardinality atoms. Zbl 1122.68380Marek, Victor W.; Niemelä, Ilkka; Truszczyński, Mirosław 3 2004 Satisfiability and computing van der Waerden numbers. Zbl 1204.05097Dransfield, Michael R.; Marek, Victor W.; Truszczyński, Mirosław 3 2004 Uniform semantic treatment of default and autoepistemic logics. Zbl 1010.03021Denecker, Marc; Marek, Victor W.; Truszczyński, Mirosław 20 2003 On the expressibility of stable logic programming. Zbl 1079.68015Marek, Victor W.; Remmel, Jeffrey B. 5 2003 Annotated revision programs. Zbl 0995.68106Marek, Victor; Pivkina, Inna; Truszczyński, Mirosław 1 2002 Logic programming revisited: logic programs as inductive definitions. Zbl 1365.68148Denecker, Marc; Bruynooghe, Maurice; Marek, Victor 8 2001 On the expressibility of stable logic programming. Zbl 1007.68024Marek, V. W.; Remmel, J. B. 2 2001 Default logic and specification of nonmonotonic reasoning. Zbl 1008.03020Engelfriet, Joeri; Marek, V. Wiktor; Treur, Jan; Truszczyński, Mirosław 1 2001 Foundations of mathematics in the twentieth century. Zbl 0978.03001Marek, V. Wiktor; Mycielski, Jan 1 2001 Approximations, stable operators, well-founded fixpoints and applications in nonmonotonic reasoning. Zbl 0988.68183Denecker, Marc; Marek, Victor; Truszczyński, Mirosław 22 2000 Stable models and an alternative logic programming paradigm. Zbl 0979.68524Marek, Victor W.; Truszczyński, Mirosław 89 1999 Logic programs, well-orderings, and forward chaining. Zbl 0927.68021Marek, V. W.; Nerode, A.; Remmel, J. B. 7 1999 Computing with default logic. Zbl 0996.68195Cholewiński, Paweł; Marek, Victor W.; Mikitiuk, Artur; Truszczyński, Mirosław 4 1999 Contributions to the theory of rough sets. Zbl 0944.68051Marek, V. Wiktor; Truszczyński, Mirosław 4 1999 The logic programming paradigm. A 25-year perspective. Zbl 0919.00027Apt, K. R.; Marek, V. W.; Truszczynski, M.; Warren, D. S. 4 1999 Fixpoint 3-valued semantics for autoepistemic logic. Zbl 0938.03046Denecker, Marc; Marek, V. Wiktor; Truszczyński, Mirosław 2 1999 Revision programming. Zbl 0893.68054Marek, Victor W.; Truszczyński, Mirosław 10 1998 Handbook of recursive mathematics. Vol. 1: Recursive model theory. Zbl 0905.03001Ershov, Yu. L.; Goncharov, S. S.; Nerode, A.; Remmel, J. B.; Marek, V. W. 9 1998 Handbook of recursive mathematics. Vol. 2: Recursive algebra, analysis and combinatorics. Zbl 0905.03002Ershov, Yu. L.; Goncharov, S. S.; Nerode, A.; Remmel, J. B.; Marek, V. W. 5 1998 Representation theory for default logic. Zbl 0890.68121Marek, V. Wiktor; Treur, Jan; Truszczyński, Mirosław 3 1997 Complexity of recursive normal default logic. Zbl 0937.03038Marek, V. Wiktor; Nerode, Anil; Remmel, Jeffrey B. 2 1997 Nonmonotonic rule systems with recursive sets of restraints. Zbl 0938.03043Marek, V. Wiktor; Nerode, Anil; Remmel, Jeffrey B. 1 1997 Reducing disjunctive to non-disjunctive semantics by shift-operations. Zbl 0863.68088Dix, Jürgen; Gottlob, Georg; Marek, Wiktor 3 1996 The expressiveness of locally stratified programs. Zbl 0855.68016Blair, Howard A.; Marek, V. Wiktor; Schlipf, John S. 6 1995 The stable models of a predicate logic program. Zbl 0836.68013Marek, V. Wiktor; Nerode, Anil; Remmel, Jeffrey B. 10 1994 A context for belief revision: forward chaining-normal nonmonotonic rule systems. Zbl 0798.03028Marek, V. W.; Nerode, A.; Remmel, J. B. 9 1994 Revision specifications by means of programs. Zbl 0988.68626Marek, V. W.; Truszczyński, M. 3 1994 Nonmonotonic logic. Context-dependent reasoning. Foreword by Ray Reiter. Zbl 0784.03018Marek, V. W.; Truszczyński, M. 63 1993 Modal nonmonotonic logics: Ranges, characterization, computation. Zbl 0783.68121Marek, V. Wiktor; Schwarz, Grigori F.; Truszczyński, Mirosław 12 1993 Normal form results for default logic. Zbl 0819.68123Marek, V. W.; Truszczynski, M. 5 1993 The relationship between stable, supported, default and autoepistemic semantics for general logic programs. Zbl 0753.68062Marek, W.; Subrahmanian, V. S. 20 1992 A theory of nonmonotonic rule systems. II. Zbl 0865.03017Marek, W.; Nerode, A.; Remmel, J. 13 1992 How complicated is the set of stable models of a recursive logic program? Zbl 0766.03024Marek, W.; Nerode, A.; Remmel, J. 11 1992 The pure logic of necessitation. Zbl 0819.03011Fitting, Melvin C.; Marek, V. Wiktor; Truszczyński, Mirosław 5 1992 More on modal aspects of default logic. Zbl 0772.03011Marek, V. Wiktor; Truszczynski, Miroslaw 1 1992 Autoepistemic logic. Zbl 0799.68176Marek, Wiktor; Truszczynski, Miroslaw 79 1991 Modal nonmonotonic logics: Ranges, characterization, computation. Zbl 0765.03014Marek, Wiktor; Shvarts, Grigori F.; Truszczyński, Mirosław 2 1991 A theory of nonmonotonic rule systems I. Zbl 0878.68035Marek, W.; Nerode, A.; Remmel, J. 21 1990 Modal logic for default reasoning. Zbl 0871.03009Marek, W.; Truszczyński, M. 11 1990 On the classification and existence of structures in default logic. Zbl 0810.03019Zhang, Aidong; Marek, Wiktor 7 1990 Relating autoepistemic and default logics. Zbl 0706.03024Marek, Wiktor; Truszczyński, Mirosław 16 1989 Stable theories in autoepistemic logic. Zbl 0673.03016Marek, W. 8 1989 Negation as failure to prove and fixed points. Zbl 0673.03017Marek, W.; Truszczynski, M. 1 1989 Gradual approximating sets by means of equivalence relations. Zbl 0645.04001Marek, Wiktor; Rasiowa, Helena 3 1987 Combinatorial analysis. (Analiza kombinatoryczna). Zbl 0662.05001Lipski, Witold; Marek, Wiktor 2 1986 Approximating sets with equivalence relations. Zbl 0638.68066Marek, W.; Rasiowa, H. 1 1986 Some aspects of the theory of large cardinals. Zbl 0597.03032Di Prisco, Carlos A.; Marek, Wiktor 1 1985 On the space \((\lambda)^{\kappa}\). Zbl 0617.03030Di Prisco, Carlos A.; Marek, Wiktor 1 1985 Rough sets and information systems. Zbl 0546.68088Marek, Wiktor; Pawlak, Zdzisław 6 1984 A filter on \([\lambda]^{\kappa}\). Zbl 0536.03035Di Prisco, C. A.; Marek, W. 2 1984 On some \(\sigma\)-algebras containing the projective sets. I. Zbl 0544.03023Di Prisco, C. A.; Marek, Wiktor 1 1982 Elements of logic and foundations of mathematics in problems. Transl. from the Polish by Elżbieta Tarantowicz-Marek. Zbl 0574.03001Marek, Wiktor; Onyszkiewicz, Janusz 1 1982 \(\omega\)-models of second order arithmetic and admissible sets. Zbl 0385.03030Marek, W. 1 1978 The foundations of mathematics in Poland after world war II. Zbl 0417.03001Marek, W. 1 1977 Information storage and retrieval systems: Mathematical foundations. Zbl 0354.68035Marek, Wiktor; Pawlak, Zdzislaw 16 1976 Set theory and hierarchy theory. A memorial tribute to Andrzej Mostowski, Bierutowice, Poland 1975. Zbl 0324.00007Marek, W.; Srebrny, M.; Zarach, A. 2 1976 A mathematical theory of informational systems. Zbl 0319.68015Lipski, Witold; Marek, Wiktor 1 1976 Urelements and extendability. Zbl 0358.02067Marek, W.; Srebrny, M. 1 1976 On information storage and retrieval systems. Zbl 0315.68075Lipski, Witold; Marek, Wiktor 3 1975 Second order arithmetic and related topics. Zbl 0299.02066Apt, Krysztof R.; Marek, W. 9 1974 Gaps in the constructible universe. Zbl 0279.02049Marek, W.; Srebrny, M. 5 1974 On the foundations of information retrieval. Zbl 0325.68054Marek, W.; Pawlak, Z. 3 1974 An application of graph theory to information retrieval. Zbl 0304.68043Lipski, W.; Marek, W. 2 1974 Mathematical foundations of information storage and retrieval. I. Zbl 0326.68067Marek, Wiktor; Pawlak, Zdzislaw 2 1973 Mathematical foundations of information storage and retrieval. II. Zbl 0326.68068Marek, Wiktor; Pawlak, Zdzislaw 1 1973 Sur la consistance d’une hypothèse de Fraisse sur la definissabilite dans un langage du second ordre. Zbl 0257.02050Marek, Wiktor 1 1973 Consistance d’une hypothèse de Fraisse sur la definissabilite dans un langage du second ordre. Zbl 0259.02048Marek, Wiktor 1 1973 Elemente der Logik und der Mengenlehre in Aufgaben. (Elementy logiki i teorii mnogosci w zadaniach.). Zbl 0288.02001Marek, Wiktor; Onyszkiewicz, Janusz 1 1972 Axioms of choice in impredicative set theory. Zbl 0241.02025Marek, W.; Zbierski, P. 1 1972 A remark on independence proofs. Zbl 0147.25801Marek, W. 1 1966 all cited Publications top 5 cited Publications all top 5 Cited by 539 Authors 24 Marek, V. Wiktor 22 Truszczyński, Mirosław 21 Eiter, Thomas 18 Remmel, Jeffrey B. 10 Denecker, Marc 10 Nerode, Anil 10 You, Jia-Huai 9 Leone, Nicola 8 Bogaerts, Bart 8 Lin, Fangzhen 8 Schaub, Torsten H. 7 Fink, Michael 7 Heule, Marijn J. H. 7 Lifschitz, Vladimir 7 Maratea, Marco 7 Shen, Yidong 7 Son, Tran Cao 7 Subrahmanian, V. S. 6 Cabalar, Pedro 6 Erdem, Esra 6 Lierler, Yuliya 6 Niemelä, Ilkka N. F. 6 Woltran, Stefan 5 Faber, Wolfgang 5 Gelfond, Michael 5 Gottlob, Georg 5 Greco, Sergio 5 Janhunen, Tomi 5 Khoussainov, Bakhadyr M. 5 Krennwallner, Thomas 5 Pontelli, Enrico 5 Saccà, Domenico 5 Sakama, Chiaki 5 Vennekens, Joost 5 Wang, Kewen 5 Zhou, Yi 4 Baral, Chitta R. 4 Bonatti, Piero Andrea 4 Bright, Curtis 4 Caroprese, Luciano 4 Cruz-Filipe, Luís 4 De Cock, Martine 4 Fandinno, Jorge 4 Ganesh, Vijay 4 Ianni, Giovambattista 4 Kaminsky, Michael 4 Kotsireas, Ilias S. 4 Meier, Arne 4 Murawski, Roman 4 Palopoli, Luigi 4 Pawlak, Zdzisław 4 Phan Minh Dung 4 Przymusinski, Teodor C. 4 Schockaert, Steven 4 Straccia, Umberto 4 Strass, Hannes 4 Yao, Yiyu 4 Zhang, Mingyi 4 Zhang, Yan 3 Alviano, Mario 3 Antoniou, Grigoris 3 Ben-Eliyahu-Zohary, Rachel 3 Biere, Armin 3 Bochman, Alexander 3 Cenzer, Douglas 3 Dodaro, Carmine 3 Ésik, Zoltán 3 Gebser, Martin 3 Giunchiglia, Enrico 3 Hitzler, Pascal 3 Inoue, Katsumi 3 Kiesl, Benjamin 3 Leite, João 3 Liberatore, Paolo 3 Liu, Fangfang 3 Schlipf, John Stewart 3 Schneider-Kamp, Peter 3 Schwind, Camilla B. 3 Slaman, Theodore A. 3 Slota, Martin 3 Vermeir, Dirk 3 Vollmer, Heribert 3 Wallner, Johannes Peter 3 Yuan, Li Yan 3 Zhang, Yuanlin 3 Zumpano, Ester 2 Amati, Gianni 2 Amendola, Giovanni 2 Angiulli, Fabrizio 2 Asuncion, Vernon 2 Balduccini, Marcello 2 Beyersdorff, Olaf 2 Blair, Howard A. 2 Brewka, Gerhard 2 Calimeri, Francesco 2 Carlucci Aiello, Luigia 2 Chen, Jianhua 2 Codish, Michael 2 Cornelis, Chris 2 Costantini, Stefania ...and 439 more Authors all top 5 Cited in 70 Serials 79 Artificial Intelligence 48 Theory and Practice of Logic Programming 47 Annals of Mathematics and Artificial Intelligence 27 Theoretical Computer Science 15 Journal of Automated Reasoning 12 Annals of Pure and Applied Logic 9 The Journal of Symbolic Logic 9 Journal of Applied Non-Classical Logics 7 International Journal of Approximate Reasoning 6 Information Processing Letters 6 Archive for Mathematical Logic 5 Studia Logica 5 Information and Computation 4 Information Sciences 4 Journal of Computer and System Sciences 4 Transactions of the American Mathematical Society 4 JETAI. Journal of Experimental & Theoretical Artificial Intelligence 4 The Bulletin of Symbolic Logic 4 Journal of Applied Logic 3 Discrete Applied Mathematics 3 Journal of Philosophical Logic 3 New Generation Computing 3 ACM Transactions on Computational Logic 2 Israel Journal of Mathematics 2 Mathematical Notes 2 International Journal of Computer & Information Sciences 2 Proceedings of the American Mathematical Society 2 Journal of Symbolic Computation 2 Journal of Computer Science and Technology 2 Journal of Logic, Language and Information 2 Journal of the Egyptian Mathematical Society 2 Constraints 2 Soft Computing 2 Lobachevskii Journal of Mathematics 2 Mathematics in Computer Science 1 Computers & Mathematics with Applications 1 Mathematische Semesterberichte 1 Periodica Mathematica Hungarica 1 Advances in Mathematics 1 Fuzzy Sets and Systems 1 International Journal of Game Theory 1 Journal of Combinatorial Theory. Series A 1 Mathematical Systems Theory 1 Notre Dame Journal of Formal Logic 1 Synthese 1 Mathematical Social Sciences 1 Machine Learning 1 Japan Journal of Industrial and Applied Mathematics 1 International Journal of Algebra and Computation 1 International Journal of Foundations of Computer Science 1 Artificial Intelligence Review 1 Indagationes Mathematicae. New Series 1 Applicable Algebra in Engineering, Communication and Computing 1 Experimental Mathematics 1 The Electronic Journal of Combinatorics 1 Journal of Mathematical Chemistry 1 Theory of Computing Systems 1 Topoi 1 Optimization Methods & Software 1 Open Systems & Information Dynamics 1 Journal of the European Mathematical Society (JEMS) 1 Journal of Mathematical Logic 1 Fundamenta Informaticae 1 Vestnik Novosibirskogo Gosudarstvennogo Universiteta. Seriya: Matematika, Mekhanika, Informatika 1 Science in China. Series F 1 Logica Universalis 1 The Review of Symbolic Logic 1 Computability 1 Journal of Mathematics 1 Journal of Logical and Algebraic Methods in Programming all top 5 Cited in 22 Fields 363 Computer science (68-XX) 153 Mathematical logic and foundations (03-XX) 18 Combinatorics (05-XX) 9 Order, lattices, ordered algebraic structures (06-XX) 6 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 5 Operations research, mathematical programming (90-XX) 4 History and biography (01-XX) 4 General algebraic systems (08-XX) 4 Number theory (11-XX) 4 Biology and other natural sciences (92-XX) 3 Group theory and generalizations (20-XX) 3 General topology (54-XX) 3 Information and communication theory, circuits (94-XX) 2 General and overarching topics; collections (00-XX) 2 Real functions (26-XX) 2 Dynamical systems and ergodic theory (37-XX) 1 Field theory and polynomials (12-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Category theory; homological algebra (18-XX) 1 Geometry (51-XX) 1 Probability theory and stochastic processes (60-XX) 1 Statistics (62-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.