Edit Profile (opens in new tab) 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 more...less External Links: MGP · Wikidata · dblp · GND · IdRef Documents Indexed: 165 Publications since 1964, including 10 Books 12 Contributions as Editor · 2 Further Contributions Biographic References: 2 Publications Co-Authors: 101 Co-Authors with 148 Joint Publications 2,823 Co-Co-Authors all top 5 Co-Authors 29 single-authored 38 Truszczyński, Mirosław 28 Remmel, Jeffrey B. 11 Nerode, Anil 9 Lipski, Witold jun. 9 Onyszkiewicz, Janusz 9 Pawlak, Zdzisław 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 Koczkodaj, Waldemar W. 2 Mostowski, Andrzej Stanisław 2 Orłowska, Ewa S. 2 Peters, James Francis III 2 Rasiowa, Helena 2 Rauszer, Cecylia M. 2 Schwarz, Grigori F. 2 Słowiński, Roman 2 Yayli, Yusuf 2 Ziarko, Wojciech P. 1 Barwise, Kenneth Jon 1 Bergstra, Jan A. 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 Feferman, Solomon 1 Fenstad, Jens Erik 1 Finkel, Raphael Ari 1 Fitting, Melvin Chris 1 Friedman, Sy-David 1 Gandy, Robin O. 1 Gottlob, Georg 1 Grzegorczyk, Andrzej 1 Grzymala-Busse, Jerzy W. 1 Guzicki, Wojciech 1 Hájek, Petr 1 Heule, Marijn J. H. 1 Hyland, J. Martin E. 1 Inclezan, Daniela 1 Jaegermann, Michal 1 Jankowski, Andrzej Wojciech 1 Kechris, Alexander S. 1 Krajewski, Stanisław 1 Krawczyk, Adam 1 Kullmann, Oliver 1 Legato, Wilfred J. 1 Lerman, Manuel 1 Liu, Fang 1 Liu, Lengning 1 Lolli, Gabriele 1 Lonc, Zbigniew 1 Maass, Wolfgang 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 Moldestad, Johan 1 Mycielski, Jan 1 Normann, Dag 1 Osoria, Mauricio 1 Pacholski, Leszek M. 1 Pedrycz, Witold 1 Perzanowski, Jerzy 1 Poletyło, Mikołaj 1 Polkowski, Lech T. 1 Przelaskowski, Artur 1 Rajasekar, Arcot K. 1 Ray, Katrina J. 1 Rode-Babczenko, Izabella 1 Rozenberg, Grzegorz 1 Sacks, Gerald Enoch 1 Salwicki, Andrzej 1 Schlipf, John Stewart 1 Shore, Richard Arnold 1 Shvarts, Grigori F. 1 Simpson, Stephen G. 1 Ślęzak, Dominik 1 Smarzewski, Ryszard 1 Sobolewski, Michal ...and 22 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 4 Studies in Logic and the Foundations of Mathematics 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 International Journal of Approximate Reasoning 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 (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 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 Biblioteka Matematyczna. Panstwowe Wydawnictwo Naukowe, Warszawa 1 Lecture Notes in Mathematics 1 Journal of Satisfiability, Boolean Modeling and Computation all top 5 Fields 110 Computer science (68-XX) 98 Mathematical logic and foundations (03-XX) 15 General and overarching topics; collections (00-XX) 11 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 92 Publications have been cited 719 times in 476 Documents Cited by ▼ Year ▼ Stable models and an alternative logic programming paradigm. Zbl 0979.68524Marek, Victor W.; Truszczyński, Mirosław 98 1999 Autoepistemic logic. Zbl 0799.68176Marek, Wiktor; Truszczynski, Miroslaw 81 1991 Nonmonotonic logic. Context-dependent reasoning. Foreword by Ray Reiter. Zbl 0784.03018Marek, V. W.; Truszczyński, M. 64 1993 Solving and verifying the Boolean Pythagorean triples problem via cube-and-conquer. Zbl 1403.68226Heule, Marijn J. H.; Kullmann, Oliver; Marek, Victor W. 32 2016 Approximations, stable operators, well-founded fixpoints and applications in nonmonotonic reasoning. Zbl 0988.68183Denecker, Marc; Marek, Victor; Truszczyński, Mirosław 23 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 21 2003 The relationship between stable, supported, default and autoepistemic semantics for general logic programs. Zbl 0753.68062Marek, W.; Subrahmanian, V. S. 20 1992 Relating autoepistemic and default logics. Zbl 0706.03024Marek, Wiktor; Truszczyński, Mirosław 17 1989 Ultimate approximation and its application in nonmonotonic knowledge representation systems. Zbl 1074.68069Denecker, Marc; Marek, Victor W.; Truszczyński, Mirosław 17 2004 Information storage and retrieval systems: Mathematical foundations. Zbl 0354.68035Marek, Wiktor; Pawlak, Zdzislaw 16 1976 Logic programs with monotone abstract constraint atoms. Zbl 1142.68018Marek, Victor W.; Niemelä, Ilkka; Truszczyński, Mirosław 14 2008 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 How complicated is the set of stable models of a recursive logic program? Zbl 0766.03024Marek, W.; Nerode, A.; Remmel, J. 11 1992 Modal logic for default reasoning. Zbl 0871.03009Marek, W.; Truszczyński, M. 11 1990 The stable models of a predicate logic program. Zbl 0836.68013Marek, V. Wiktor; Nerode, Anil; Remmel, Jeffrey B. 10 1994 Revision programming. Zbl 0893.68054Marek, Victor W.; Truszczyński, Mirosław 10 1998 Satisfiability and computing van der Waerden numbers. Zbl 1054.05097Dransfield, Michael R.; Liu, Lengning; Marek, Victor W.; Truszczyński, Mirosław 10 2004 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 Handbook of recursive mathematics. Vol. 1: Recursive model theory. Zbl 0905.03001 9 1998 Stable theories in autoepistemic logic. Zbl 0673.03016Marek, W. 8 1989 Set constraints in logic programming. Zbl 1122.68381Marek, Victor W.; Remmel, Jeffrey B. 8 2004 Logic programming revisited: logic programs as inductive definitions. Zbl 1365.68148Denecker, Marc; Bruynooghe, Maurice; Marek, Victor 8 2001 Foundational studies. Selected works. Vol. I, II. Zbl 0425.01021Mostowski, Andrzej 7 1979 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 Rough sets and information systems. Zbl 0546.68088Marek, Wiktor; Pawlak, Zdzisław 6 1984 The expressiveness of locally stratified programs. Zbl 0855.68016Blair, Howard A.; Marek, V. Wiktor; Schlipf, John S. 6 1995 Gaps in the constructible universe. Zbl 0279.02049Marek, W.; Srebrny, M. 6 1974 The pure logic of necessitation. Zbl 0819.03011Fitting, Melvin C.; Marek, V. Wiktor; Truszczyński, Mirosław 5 1992 Normal form results for default logic. Zbl 0819.68123Marek, V. W.; Truszczynski, M. 5 1993 Contributions to the theory of rough sets. Zbl 0944.68051Marek, V. Wiktor; Truszczyński, Mirosław 5 1999 Handbook of recursive mathematics. Vol. 2: Recursive algebra, analysis and combinatorics. Zbl 0905.03002 5 1998 The logic programming paradigm. A 25-year perspective. Zbl 0919.00027 5 1999 Computing with default logic. Zbl 0996.68195Cholewiński, Paweł; Marek, Victor W.; Mikitiuk, Artur; Truszczyński, Mirosław 5 1999 On the expressibility of stable logic programming. Zbl 1079.68015Marek, Victor W.; Remmel, Jeffrey B. 5 2003 Gradual approximating sets by means of equivalence relations. Zbl 0645.04001Marek, Wiktor; Rasiowa, Helena 4 1987 Andrzej Mostowski and foundational studies. Zbl 1134.03004 4 2008 Reducing disjunctive to non-disjunctive semantics by shift-operations. Zbl 0863.68088Dix, Jürgen; Gottlob, Georg; Marek, Wiktor 4 1996 Introduction to mathematics of satisfiability. Zbl 1184.68001Marek, Victor W. 4 2009 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 Logic programs with monotone cardinality atoms. Zbl 1122.68380Marek, Victor W.; Niemelä, Ilkka; Truszczyński, Mirosław 3 2004 Representation theory for default logic. Zbl 0890.68121Marek, V. Wiktor; Treur, Jan; Truszczyński, Mirosław 3 1997 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 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 Revision specifications by means of programs. Zbl 0988.68626Marek, V. W.; Truszczyński, M. 3 1994 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 Modal nonmonotonic logics: Ranges, characterization, computation. Zbl 0765.03014Marek, Wiktor; Shvarts, Grigori F.; Truszczyński, Mirosław 2 1991 Satisfiability-based set membership filters. Zbl 1322.68187Weaver, Sean A.; Ray, Katrina J.; Marek, Victor W.; Mayer, Andrew J.; Walker, Alden K. 2 2014 Fixpoint 3-valued semantics for autoepistemic logic. Zbl 0938.03046Denecker, Marc; Marek, V. Wiktor; Truszczyński, Mirosław 2 1999 Complexity of recursive normal default logic. Zbl 0937.03038Marek, V. Wiktor; Nerode, Anil; Remmel, Jeffrey B. 2 1997 Set theory and hierarchy theory. A memorial tribute to Andrzej Mostowski, Bierutowice, Poland 1975. Zbl 0324.00007 2 1976 Mathematical foundations of information storage and retrieval. I. Zbl 0326.68067Marek, Wiktor; Pawlak, Zdzislaw 2 1973 On the metamathematics of impredicative set theory. Zbl 0273.02046Marek, W. 2 1973 An application of graph theory to information retrieval. Zbl 0304.68043Lipski, W.; Marek, W. 2 1974 On the expressibility of stable logic programming. Zbl 1007.68024Marek, V. W.; Remmel, J. B. 2 2001 Foundations of mathematics in the twentieth century. Zbl 0978.03001Marek, V. Wiktor; Mycielski, Jan 1 2001 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 Negation as failure to prove and fixed points. Zbl 0673.03017Marek, W.; Truszczynski, M. 1 1989 Guarded resolution for answer set programming. Zbl 1223.68104Marek, V. W.; Remmel, J. B. 1 2011 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 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 Automata and answer set programming. Zbl 1211.68061Marek, Victor; Remmel, Jeffrey B. 1 2009 Compactness properties for stable semantics of logic programs. Zbl 1133.68013Marek, Victor W.; Remmel, Jeffrey B. 1 2007 Compactness properties for stable semantics of logic programs. Zbl 1148.68011Marek, Victor W.; Remmel, Jeffrey B. 1 2007 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 More on modal aspects of default logic. Zbl 0772.03011Marek, V. Wiktor; Truszczynski, Miroslaw 1 1992 Nonmonotonic rule systems with recursive sets of restraints. Zbl 0938.03043Marek, V. Wiktor; Nerode, Anil; Remmel, Jeffrey B. 1 1997 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 The foundations of mathematics in Poland after world war II. Zbl 0417.03001Marek, W. 1 1977 Index sets for finite normal predicate logic programs with function symbols. Zbl 1474.68041Cenzer, Douglas; Marek, Victor W.; Remmel, Jeffrey B. 1 2016 Rough sets and matroids. Zbl 1404.68169Marek, Victor W.; Skowron, Andrzej 1 2014 Axioms of choice in impredicative set theory. Zbl 0241.02025Marek, W.; Zbierski, P. 1 1972 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 On the use of group theory to generalize elements of pairwise comparisons matrix: a cautionary note. Zbl 1460.68113Koczkodaj, W. W.; Liu, F.; Marek, V. W.; Mazurek, J.; Mazurek, M.; Mikhailov, L.; Özel, C.; Pedrycz, W.; Przelaskowski, A.; Schumann, A.; Smarzewski, R.; Strzalka, D.; Szybowski, J.; Yayli, Y. 1 2020 Default logic and specification of nonmonotonic reasoning. Zbl 1008.03020Engelfriet, Joeri; Marek, V. Wiktor; Treur, Jan; Truszczyński, Mirosław 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 Annotated revision programs. Zbl 0995.68106Marek, Victor; Pivkina, Inna; Truszczyński, Mirosław 1 2002 A remark on independence proofs. Zbl 0147.25801Marek, W. 1 1966 On the use of group theory to generalize elements of pairwise comparisons matrix: a cautionary note. Zbl 1460.68113Koczkodaj, W. W.; Liu, F.; Marek, V. W.; Mazurek, J.; Mazurek, M.; Mikhailov, L.; Özel, C.; Pedrycz, W.; Przelaskowski, A.; Schumann, A.; Smarzewski, R.; Strzalka, D.; Szybowski, J.; Yayli, Y. 1 2020 Solving and verifying the Boolean Pythagorean triples problem via cube-and-conquer. Zbl 1403.68226Heule, Marijn J. H.; Kullmann, Oliver; Marek, Victor W. 32 2016 Index sets for finite normal predicate logic programs with function symbols. Zbl 1474.68041Cenzer, Douglas; Marek, Victor W.; Remmel, Jeffrey B. 1 2016 Satisfiability-based set membership filters. Zbl 1322.68187Weaver, Sean A.; Ray, Katrina J.; Marek, Victor W.; Mayer, Andrew J.; Walker, Alden K. 2 2014 Rough sets and matroids. Zbl 1404.68169Marek, Victor W.; Skowron, Andrzej 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 14 2008 Andrzej Mostowski and foundational studies. Zbl 1134.03004 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 Compactness properties for stable semantics of logic programs. Zbl 1133.68013Marek, Victor W.; Remmel, Jeffrey B. 1 2007 Compactness properties for stable semantics of logic programs. Zbl 1148.68011Marek, Victor W.; Remmel, Jeffrey B. 1 2007 Characterizing Pawlak’s approximation operators. Zbl 1187.68585Marek, Victor W. 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 17 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 Satisfiability and computing van der Waerden numbers. Zbl 1204.05097Dransfield, Michael R.; Marek, Victor W.; Truszczyński, Mirosław 3 2004 Logic programs with monotone cardinality atoms. Zbl 1122.68380Marek, Victor W.; Niemelä, Ilkka; 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 21 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 Foundations of mathematics in the twentieth century. Zbl 0978.03001Marek, V. Wiktor; Mycielski, Jan 1 2001 Default logic and specification of nonmonotonic reasoning. Zbl 1008.03020Engelfriet, Joeri; Marek, V. Wiktor; Treur, Jan; Truszczyński, Mirosław 1 2001 Approximations, stable operators, well-founded fixpoints and applications in nonmonotonic reasoning. Zbl 0988.68183Denecker, Marc; Marek, Victor; Truszczyński, Mirosław 23 2000 Stable models and an alternative logic programming paradigm. Zbl 0979.68524Marek, Victor W.; Truszczyński, Mirosław 98 1999 Logic programs, well-orderings, and forward chaining. Zbl 0927.68021Marek, V. W.; Nerode, A.; Remmel, J. B. 7 1999 Contributions to the theory of rough sets. Zbl 0944.68051Marek, V. Wiktor; Truszczyński, Mirosław 5 1999 The logic programming paradigm. A 25-year perspective. Zbl 0919.00027 5 1999 Computing with default logic. Zbl 0996.68195Cholewiński, Paweł; Marek, Victor W.; Mikitiuk, Artur; Truszczyński, Mirosław 5 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.03001 9 1998 Handbook of recursive mathematics. Vol. 2: Recursive algebra, analysis and combinatorics. Zbl 0905.03002 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 4 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. 64 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 81 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 17 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 4 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 On the space \((\lambda)^{\kappa}\). Zbl 0617.03030Di Prisco, Carlos A.; Marek, Wiktor 1 1985 Some aspects of the theory of large cardinals. Zbl 0597.03032Di 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 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 On some \(\sigma\)-algebras containing the projective sets. I. Zbl 0544.03023Di Prisco, C. A.; Marek, Wiktor 1 1982 Foundational studies. Selected works. Vol. I, II. Zbl 0425.01021Mostowski, Andrzej 7 1979 \(\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.00007 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. 6 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 On the metamathematics of impredicative set theory. Zbl 0273.02046Marek, W. 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 Axioms of choice in impredicative set theory. Zbl 0241.02025Marek, W.; Zbierski, P. 1 1972 Elemente der Logik und der Mengenlehre in Aufgaben. (Elementy logiki i teorii mnogosci w zadaniach.). Zbl 0288.02001Marek, Wiktor; Onyszkiewicz, Janusz 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 597 Authors 25 Marek, V. Wiktor 22 Truszczyński, Mirosław 21 Eiter, Thomas 18 Remmel, Jeffrey B. 11 Heule, Marijn J. H. 10 Denecker, Marc 10 Nerode, Anil 10 You, Jia-Huai 9 Bogaerts, Bart 9 Leone, Nicola 8 Cabalar, Pedro 8 Lin, Fangzhen 8 Maratea, Marco 8 Schaub, Torsten H. 7 Erdem, Esra 7 Fink, Michael 7 Lifschitz, Vladimir 7 Shen, Yidong 7 Son, Tran Cao 7 Subrahmanian, V. S. 6 Fandinno, Jorge 6 Lierler, Yuliya 6 Niemelä, Ilkka N. F. 6 Pontelli, Enrico 6 Sakama, Chiaki 6 Woltran, Stefan 5 Biere, Armin 5 Faber, Wolfgang 5 Gelfond, Michael 5 Gottlob, Georg 5 Greco, Sergio 5 Janhunen, Tomi 5 Khoussainov, Bakhadyr M. 5 Krennwallner, Thomas 5 Saccà, Domenico 5 Strass, Hannes 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 Ganesh, Vijay 4 Gebser, Martin 4 Ianni, Giovambattista 4 Inoue, Katsumi 4 Kaminski, 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 Yao, Yiyu 4 Zhang, Mingyi 4 Zhang, Yan 3 Alviano, Mario 3 Amendola, Giovanni 3 Antoniou, Grigoris 3 Ben-Eliyahu-Zohary, Rachel 3 Bochman, Alexander 3 Calimeri, Francesco 3 Cenzer, Douglas 3 Dodaro, Carmine 3 Dovier, Agostino 3 Ésik, Zoltán 3 Fichte, Johannes Klaus 3 Formisano, Andrea 3 Giunchiglia, Enrico 3 Hitzler, Pascal 3 Kiesl, Benjamin 3 Leite, João 3 Liberatore, Paolo 3 Liu, Fangfang 3 Schindler, Irina 3 Schlipf, John Stewart 3 Schneider-Kamp, Peter 3 Schwind, Camilla B. 3 Slaman, Theodore A. 3 Slota, Martin 3 Szeider, Stefan 3 Vermeir, Dirk 3 Vollmer, Heribert 3 Wallner, Johannes Peter 3 Yuan, Li Yan 3 Zhang, Yuanlin 3 Zumpano, Ester 2 Amati, Gianni 2 Angiulli, Fabrizio 2 Antić, Christian 2 Asuncion, Vernon 2 Baek, Seulkee 2 Balduccini, Marcello 2 Beyersdorff, Olaf ...and 497 more Authors all top 5 Cited in 75 Serials 84 Artificial Intelligence 49 Theory and Practice of Logic Programming 48 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 International Journal of Approximate Reasoning 9 Journal of Applied Non-Classical Logics 6 Information Processing Letters 6 Information and Computation 6 Archive for Mathematical Logic 5 Studia Logica 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 Machine Learning 3 ACM Transactions on Computational Logic 2 Israel Journal of Mathematics 2 Mathematical Notes 2 Fundamenta Mathematicae 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 Rendiconti dell’Istituto di Matematica dell’Università di Trieste 1 Synthese 1 Mathematical Social Sciences 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 Computational Complexity 1 Experimental Mathematics 1 The Electronic Journal of Combinatorics 1 The Journal of Artificial Intelligence Research (JAIR) 1 Journal of Mathematical Chemistry 1 Theory of Computing Systems 1 Topoi 1 Open Systems & Information Dynamics 1 Journal of Discrete Mathematical Sciences & Cryptography 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 Logical Methods in Computer Science 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 21 Fields 395 Computer science (68-XX) 165 Mathematical logic and foundations (03-XX) 19 Combinatorics (05-XX) 9 Order, lattices, ordered algebraic structures (06-XX) 8 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 5 Operations research, mathematical programming (90-XX) 5 Biology and other natural sciences (92-XX) 4 History and biography (01-XX) 4 General algebraic systems (08-XX) 4 Number theory (11-XX) 4 Group theory and generalizations (20-XX) 4 Information and communication theory, circuits (94-XX) 3 General topology (54-XX) 2 General and overarching topics; collections (00-XX) 2 Real functions (26-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 Dynamical systems and ergodic theory (37-XX) 1 Geometry (51-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.