×

zbMATH — the first resource for mathematics

Marek, V. Wiktor

Compute Distance To:
Author ID: marek.wiktor Recent zbMATH articles by "Marek, V. 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

Publications by Year

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.68524
Marek, Victor W.; Truszczyński, Mirosław
89
1999
Autoepistemic logic. Zbl 0799.68176
Marek, Wiktor; Truszczynski, Miroslaw
79
1991
Nonmonotonic logic. Context-dependent reasoning. Foreword by Ray Reiter. Zbl 0784.03018
Marek, V. W.; Truszczyński, M.
63
1993
Approximations, stable operators, well-founded fixpoints and applications in nonmonotonic reasoning. Zbl 0988.68183
Denecker, Marc; Marek, Victor; Truszczyński, Mirosław
22
2000
A theory of nonmonotonic rule systems I. Zbl 0878.68035
Marek, W.; Nerode, A.; Remmel, J.
21
1990
Uniform semantic treatment of default and autoepistemic logics. Zbl 1010.03021
Denecker, Marc; Marek, Victor W.; Truszczyński, Mirosław
20
2003
Solving and verifying the Boolean Pythagorean triples problem via cube-and-conquer. Zbl 1403.68226
Heule, 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.68062
Marek, W.; Subrahmanian, V. S.
20
1992
Information storage and retrieval systems: Mathematical foundations. Zbl 0354.68035
Marek, Wiktor; Pawlak, Zdzislaw
16
1976
Relating autoepistemic and default logics. Zbl 0706.03024
Marek, Wiktor; Truszczyński, Mirosław
16
1989
Ultimate approximation and its application in nonmonotonic knowledge representation systems. Zbl 1074.68069
Denecker, Marc; Marek, Victor W.; Truszczyński, Mirosław
16
2004
A theory of nonmonotonic rule systems. II. Zbl 0865.03017
Marek, W.; Nerode, A.; Remmel, J.
13
1992
Modal nonmonotonic logics: Ranges, characterization, computation. Zbl 0783.68121
Marek, V. Wiktor; Schwarz, Grigori F.; Truszczyński, Mirosław
12
1993
Logic programs with monotone abstract constraint atoms. Zbl 1142.68018
Marek, Victor W.; Niemelä, Ilkka; Truszczyński, Mirosław
12
2008
Modal logic for default reasoning. Zbl 0871.03009
Marek, W.; Truszczyński, M.
11
1990
How complicated is the set of stable models of a recursive logic program? Zbl 0766.03024
Marek, W.; Nerode, A.; Remmel, J.
11
1992
Revision programming. Zbl 0893.68054
Marek, Victor W.; Truszczyński, Mirosław
10
1998
The stable models of a predicate logic program. Zbl 0836.68013
Marek, V. Wiktor; Nerode, Anil; Remmel, Jeffrey B.
10
1994
Satisfiability and computing van der Waerden numbers. Zbl 1054.05097
Dransfield, Michael R.; Liu, Lengning; Marek, Victor W.; Truszczyński, Mirosław
10
2004
Handbook of recursive mathematics. Vol. 1: Recursive model theory. Zbl 0905.03001
Ershov, 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.03028
Marek, V. W.; Nerode, A.; Remmel, J. B.
9
1994
Second order arithmetic and related topics. Zbl 0299.02066
Apt, Krysztof R.; Marek, W.
9
1974
Stable theories in autoepistemic logic. Zbl 0673.03016
Marek, W.
8
1989
Logic programming revisited: logic programs as inductive definitions. Zbl 1365.68148
Denecker, Marc; Bruynooghe, Maurice; Marek, Victor
8
2001
Set constraints in logic programming. Zbl 1122.68381
Marek, Victor W.; Remmel, Jeffrey B.
8
2004
Logic programs, well-orderings, and forward chaining. Zbl 0927.68021
Marek, V. W.; Nerode, A.; Remmel, J. B.
7
1999
On the classification and existence of structures in default logic. Zbl 0810.03019
Zhang, Aidong; Marek, Wiktor
7
1990
The expressiveness of locally stratified programs. Zbl 0855.68016
Blair, Howard A.; Marek, V. Wiktor; Schlipf, John S.
6
1995
Rough sets and information systems. Zbl 0546.68088
Marek, Wiktor; Pawlak, Zdzisław
6
1984
Handbook of recursive mathematics. Vol. 2: Recursive algebra, analysis and combinatorics. Zbl 0905.03002
Ershov, 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.68123
Marek, V. W.; Truszczynski, M.
5
1993
Gaps in the constructible universe. Zbl 0279.02049
Marek, W.; Srebrny, M.
5
1974
The pure logic of necessitation. Zbl 0819.03011
Fitting, Melvin C.; Marek, V. Wiktor; Truszczyński, Mirosław
5
1992
On the expressibility of stable logic programming. Zbl 1079.68015
Marek, Victor W.; Remmel, Jeffrey B.
5
2003
Computing with default logic. Zbl 0996.68195
Cholewiński, Paweł; Marek, Victor W.; Mikitiuk, Artur; Truszczyński, Mirosław
4
1999
Contributions to the theory of rough sets. Zbl 0944.68051
Marek, V. Wiktor; Truszczyński, Mirosław
4
1999
The logic programming paradigm. A 25-year perspective. Zbl 0919.00027
Apt, K. R. (ed.); Marek, V. W. (ed.); Truszczynski, M. (ed.); Warren, D. S. (ed.)
4
1999
Introduction to mathematics of satisfiability. Zbl 1184.68001
Marek, Victor W.
4
2009
Andrzej Mostowski and foundational studies. Zbl 1134.03004
Ehrenfeucht, A. (ed.); Marek, V. W. (ed.); Srebrny, M. (ed.)
4
2008
Reducing disjunctive to non-disjunctive semantics by shift-operations. Zbl 0863.68088
Dix, Jürgen; Gottlob, Georg; Marek, Wiktor
3
1996
Representation theory for default logic. Zbl 0890.68121
Marek, V. Wiktor; Treur, Jan; Truszczyński, Mirosław
3
1997
Revision specifications by means of programs. Zbl 0988.68626
Marek, V. W.; Truszczyński, M.
3
1994
On information storage and retrieval systems. Zbl 0315.68075
Lipski, Witold; Marek, Wiktor
3
1975
On the foundations of information retrieval. Zbl 0325.68054
Marek, W.; Pawlak, Z.
3
1974
Gradual approximating sets by means of equivalence relations. Zbl 0645.04001
Marek, Wiktor; Rasiowa, Helena
3
1987
Reiter’s default logic is a logic of autoepistemic reasoning and a good one, too. Zbl 1259.68186
Denecker, Marc; Marek, Victor W.; Truszczynski, Mirosław
3
2011
Logic programs with monotone cardinality atoms. Zbl 1122.68380
Marek, Victor W.; Niemelä, Ilkka; Truszczyński, Mirosław
3
2004
Set based logic programming. Zbl 1175.68099
Blair, H. A.; Marek, V. W.; Remmel, J. B.
3
2008
Satisfiability and computing van der Waerden numbers. Zbl 1204.05097
Dransfield, Michael R.; Marek, Victor W.; Truszczyński, Mirosław
3
2004
On the expressibility of stable logic programming. Zbl 1007.68024
Marek, V. W.; Remmel, J. B.
2
2001
Fixpoint 3-valued semantics for autoepistemic logic. Zbl 0938.03046
Denecker, Marc; Marek, V. Wiktor; Truszczyński, Mirosław
2
1999
An application of graph theory to information retrieval. Zbl 0304.68043
Lipski, W.; Marek, W.
2
1974
Set theory and hierarchy theory. A memorial tribute to Andrzej Mostowski, Bierutowice, Poland 1975. Zbl 0324.00007
Marek, W. (ed.); Srebrny, M. (ed.); Zarach, A. (ed.)
2
1976
Mathematical foundations of information storage and retrieval. I. Zbl 0326.68067
Marek, Wiktor; Pawlak, Zdzislaw
2
1973
Complexity of recursive normal default logic. Zbl 0937.03038
Marek, V. Wiktor; Nerode, Anil; Remmel, Jeffrey B.
2
1997
Modal nonmonotonic logics: Ranges, characterization, computation. Zbl 0765.03014
Marek, Wiktor; Shvarts, Grigori F.; Truszczyński, Mirosław
2
1991
Combinatorial analysis. (Analiza kombinatoryczna). Zbl 0662.05001
Lipski, Witold; Marek, Wiktor
2
1986
A filter on \([\lambda]^{\kappa}\). Zbl 0536.03035
Di Prisco, C. A.; Marek, W.
2
1984
Characterizing Pawlak’s approximation operators. Zbl 1187.68585
Marek, Victor W.
1
2007
On the continuity of Gelfond-Lifschitz operator and other applications of proof-theory in ASP. Zbl 1185.68169
Marek, V. W.; Remmel, J. B.
1
2008
Nonmonotonic rule systems with recursive sets of restraints. Zbl 0938.03043
Marek, V. Wiktor; Nerode, Anil; Remmel, Jeffrey B.
1
1997
Annotated revision programs. Zbl 0995.68106
Marek, Victor; Pivkina, Inna; Truszczyński, Mirosław
1
2002
Default logic and specification of nonmonotonic reasoning. Zbl 1008.03020
Engelfriet, Joeri; Marek, V. Wiktor; Treur, Jan; Truszczyński, Mirosław
1
2001
Foundations of mathematics in the twentieth century. Zbl 0978.03001
Marek, V. Wiktor; Mycielski, Jan
1
2001
Elemente der Logik und der Mengenlehre in Aufgaben. (Elementy logiki i teorii mnogosci w zadaniach.). Zbl 0288.02001
Marek, Wiktor; Onyszkiewicz, Janusz
1
1972
A mathematical theory of informational systems. Zbl 0319.68015
Lipski, Witold; Marek, Wiktor
1
1976
Mathematical foundations of information storage and retrieval. II. Zbl 0326.68068
Marek, Wiktor; Pawlak, Zdzislaw
1
1973
Urelements and extendability. Zbl 0358.02067
Marek, W.; Srebrny, M.
1
1976
\(\omega\)-models of second order arithmetic and admissible sets. Zbl 0385.03030
Marek, W.
1
1978
Sur la consistance d’une hypothèse de Fraisse sur la definissabilite dans un langage du second ordre. Zbl 0257.02050
Marek, Wiktor
1
1973
Consistance d’une hypothèse de Fraisse sur la definissabilite dans un langage du second ordre. Zbl 0259.02048
Marek, Wiktor
1
1973
The foundations of mathematics in Poland after world war II. Zbl 0417.03001
Marek, W.
1
1977
More on modal aspects of default logic. Zbl 0772.03011
Marek, V. Wiktor; Truszczynski, Miroslaw
1
1992
Negation as failure to prove and fixed points. Zbl 0673.03017
Marek, W.; Truszczynski, M.
1
1989
A remark on independence proofs. Zbl 0147.25801
Marek, W.
1
1966
Axioms of choice in impredicative set theory. Zbl 0241.02025
Marek, W.; Zbierski, P.
1
1972
Logic programming with infinite sets. Zbl 1086.68126
Cenzer, Douglas; Remmel, Jeffrey B.; Marek, Victor W.
1
2005
On some \(\sigma\)-algebras containing the projective sets. I. Zbl 0544.03023
Di 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.03001
Marek, Wiktor; Onyszkiewicz, Janusz
1
1982
Some aspects of the theory of large cardinals. Zbl 0597.03032
Di Prisco, Carlos A.; Marek, Wiktor
1
1985
On the space \((\lambda)^{\kappa}\). Zbl 0617.03030
Di Prisco, Carlos A.; Marek, Wiktor
1
1985
Approximating sets with equivalence relations. Zbl 0638.68066
Marek, W.; Rasiowa, H.
1
1986
Compactness properties for stable semantics of logic programs. Zbl 1148.68011
Marek, Victor W.; Remmel, Jeffrey B.
1
2007
Compactness properties for stable semantics of logic programs. Zbl 1133.68013
Marek, Victor W.; Remmel, Jeffrey B.
1
2007
Rough sets and matroids. Zbl 1404.68169
Marek, Victor W.; Skowron, Andrzej
1
2014
Automata and answer set programming. Zbl 1211.68061
Marek, Victor; Remmel, Jeffrey B.
1
2009
Guarded resolution for answer set programming. Zbl 1223.68104
Marek, V. W.; Remmel, J. B.
1
2011
Satisfiability-based set membership filters. Zbl 1322.68187
Weaver, 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.68226
Heule, Marijn J. H.; Kullmann, Oliver; Marek, Victor W.
20
2016
Rough sets and matroids. Zbl 1404.68169
Marek, Victor W.; Skowron, Andrzej
1
2014
Satisfiability-based set membership filters. Zbl 1322.68187
Weaver, 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.68186
Denecker, Marc; Marek, Victor W.; Truszczynski, Mirosław
3
2011
Guarded resolution for answer set programming. Zbl 1223.68104
Marek, V. W.; Remmel, J. B.
1
2011
Introduction to mathematics of satisfiability. Zbl 1184.68001
Marek, Victor W.
4
2009
Automata and answer set programming. Zbl 1211.68061
Marek, Victor; Remmel, Jeffrey B.
1
2009
Logic programs with monotone abstract constraint atoms. Zbl 1142.68018
Marek, Victor W.; Niemelä, Ilkka; Truszczyński, Mirosław
12
2008
Andrzej Mostowski and foundational studies. Zbl 1134.03004
Ehrenfeucht, A.; Marek, V. W.; Srebrny, M.
4
2008
Set based logic programming. Zbl 1175.68099
Blair, 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.68169
Marek, V. W.; Remmel, J. B.
1
2008
Characterizing Pawlak’s approximation operators. Zbl 1187.68585
Marek, Victor W.
1
2007
Compactness properties for stable semantics of logic programs. Zbl 1148.68011
Marek, Victor W.; Remmel, Jeffrey B.
1
2007
Compactness properties for stable semantics of logic programs. Zbl 1133.68013
Marek, Victor W.; Remmel, Jeffrey B.
1
2007
Logic programming with infinite sets. Zbl 1086.68126
Cenzer, Douglas; Remmel, Jeffrey B.; Marek, Victor W.
1
2005
Ultimate approximation and its application in nonmonotonic knowledge representation systems. Zbl 1074.68069
Denecker, Marc; Marek, Victor W.; Truszczyński, Mirosław
16
2004
Satisfiability and computing van der Waerden numbers. Zbl 1054.05097
Dransfield, Michael R.; Liu, Lengning; Marek, Victor W.; Truszczyński, Mirosław
10
2004
Set constraints in logic programming. Zbl 1122.68381
Marek, Victor W.; Remmel, Jeffrey B.
8
2004
Logic programs with monotone cardinality atoms. Zbl 1122.68380
Marek, Victor W.; Niemelä, Ilkka; Truszczyński, Mirosław
3
2004
Satisfiability and computing van der Waerden numbers. Zbl 1204.05097
Dransfield, Michael R.; Marek, Victor W.; Truszczyński, Mirosław
3
2004
Uniform semantic treatment of default and autoepistemic logics. Zbl 1010.03021
Denecker, Marc; Marek, Victor W.; Truszczyński, Mirosław
20
2003
On the expressibility of stable logic programming. Zbl 1079.68015
Marek, Victor W.; Remmel, Jeffrey B.
5
2003
Annotated revision programs. Zbl 0995.68106
Marek, Victor; Pivkina, Inna; Truszczyński, Mirosław
1
2002
Logic programming revisited: logic programs as inductive definitions. Zbl 1365.68148
Denecker, Marc; Bruynooghe, Maurice; Marek, Victor
8
2001
On the expressibility of stable logic programming. Zbl 1007.68024
Marek, V. W.; Remmel, J. B.
2
2001
Default logic and specification of nonmonotonic reasoning. Zbl 1008.03020
Engelfriet, Joeri; Marek, V. Wiktor; Treur, Jan; Truszczyński, Mirosław
1
2001
Foundations of mathematics in the twentieth century. Zbl 0978.03001
Marek, V. Wiktor; Mycielski, Jan
1
2001
Approximations, stable operators, well-founded fixpoints and applications in nonmonotonic reasoning. Zbl 0988.68183
Denecker, Marc; Marek, Victor; Truszczyński, Mirosław
22
2000
Stable models and an alternative logic programming paradigm. Zbl 0979.68524
Marek, Victor W.; Truszczyński, Mirosław
89
1999
Logic programs, well-orderings, and forward chaining. Zbl 0927.68021
Marek, V. W.; Nerode, A.; Remmel, J. B.
7
1999
Computing with default logic. Zbl 0996.68195
Cholewiński, Paweł; Marek, Victor W.; Mikitiuk, Artur; Truszczyński, Mirosław
4
1999
Contributions to the theory of rough sets. Zbl 0944.68051
Marek, V. Wiktor; Truszczyński, Mirosław
4
1999
The logic programming paradigm. A 25-year perspective. Zbl 0919.00027
Apt, K. R.; Marek, V. W.; Truszczynski, M.; Warren, D. S.
4
1999
Fixpoint 3-valued semantics for autoepistemic logic. Zbl 0938.03046
Denecker, Marc; Marek, V. Wiktor; Truszczyński, Mirosław
2
1999
Revision programming. Zbl 0893.68054
Marek, Victor W.; Truszczyński, Mirosław
10
1998
Handbook of recursive mathematics. Vol. 1: Recursive model theory. Zbl 0905.03001
Ershov, 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.03002
Ershov, Yu. L.; Goncharov, S. S.; Nerode, A.; Remmel, J. B.; Marek, V. W.
5
1998
Representation theory for default logic. Zbl 0890.68121
Marek, V. Wiktor; Treur, Jan; Truszczyński, Mirosław
3
1997
Complexity of recursive normal default logic. Zbl 0937.03038
Marek, V. Wiktor; Nerode, Anil; Remmel, Jeffrey B.
2
1997
Nonmonotonic rule systems with recursive sets of restraints. Zbl 0938.03043
Marek, V. Wiktor; Nerode, Anil; Remmel, Jeffrey B.
1
1997
Reducing disjunctive to non-disjunctive semantics by shift-operations. Zbl 0863.68088
Dix, Jürgen; Gottlob, Georg; Marek, Wiktor
3
1996
The expressiveness of locally stratified programs. Zbl 0855.68016
Blair, Howard A.; Marek, V. Wiktor; Schlipf, John S.
6
1995
The stable models of a predicate logic program. Zbl 0836.68013
Marek, V. Wiktor; Nerode, Anil; Remmel, Jeffrey B.
10
1994
A context for belief revision: forward chaining-normal nonmonotonic rule systems. Zbl 0798.03028
Marek, V. W.; Nerode, A.; Remmel, J. B.
9
1994
Revision specifications by means of programs. Zbl 0988.68626
Marek, V. W.; Truszczyński, M.
3
1994
Nonmonotonic logic. Context-dependent reasoning. Foreword by Ray Reiter. Zbl 0784.03018
Marek, V. W.; Truszczyński, M.
63
1993
Modal nonmonotonic logics: Ranges, characterization, computation. Zbl 0783.68121
Marek, V. Wiktor; Schwarz, Grigori F.; Truszczyński, Mirosław
12
1993
Normal form results for default logic. Zbl 0819.68123
Marek, V. W.; Truszczynski, M.
5
1993
The relationship between stable, supported, default and autoepistemic semantics for general logic programs. Zbl 0753.68062
Marek, W.; Subrahmanian, V. S.
20
1992
A theory of nonmonotonic rule systems. II. Zbl 0865.03017
Marek, W.; Nerode, A.; Remmel, J.
13
1992
How complicated is the set of stable models of a recursive logic program? Zbl 0766.03024
Marek, W.; Nerode, A.; Remmel, J.
11
1992
The pure logic of necessitation. Zbl 0819.03011
Fitting, Melvin C.; Marek, V. Wiktor; Truszczyński, Mirosław
5
1992
More on modal aspects of default logic. Zbl 0772.03011
Marek, V. Wiktor; Truszczynski, Miroslaw
1
1992
Autoepistemic logic. Zbl 0799.68176
Marek, Wiktor; Truszczynski, Miroslaw
79
1991
Modal nonmonotonic logics: Ranges, characterization, computation. Zbl 0765.03014
Marek, Wiktor; Shvarts, Grigori F.; Truszczyński, Mirosław
2
1991
A theory of nonmonotonic rule systems I. Zbl 0878.68035
Marek, W.; Nerode, A.; Remmel, J.
21
1990
Modal logic for default reasoning. Zbl 0871.03009
Marek, W.; Truszczyński, M.
11
1990
On the classification and existence of structures in default logic. Zbl 0810.03019
Zhang, Aidong; Marek, Wiktor
7
1990
Relating autoepistemic and default logics. Zbl 0706.03024
Marek, Wiktor; Truszczyński, Mirosław
16
1989
Stable theories in autoepistemic logic. Zbl 0673.03016
Marek, W.
8
1989
Negation as failure to prove and fixed points. Zbl 0673.03017
Marek, W.; Truszczynski, M.
1
1989
Gradual approximating sets by means of equivalence relations. Zbl 0645.04001
Marek, Wiktor; Rasiowa, Helena
3
1987
Combinatorial analysis. (Analiza kombinatoryczna). Zbl 0662.05001
Lipski, Witold; Marek, Wiktor
2
1986
Approximating sets with equivalence relations. Zbl 0638.68066
Marek, W.; Rasiowa, H.
1
1986
Some aspects of the theory of large cardinals. Zbl 0597.03032
Di Prisco, Carlos A.; Marek, Wiktor
1
1985
On the space \((\lambda)^{\kappa}\). Zbl 0617.03030
Di Prisco, Carlos A.; Marek, Wiktor
1
1985
Rough sets and information systems. Zbl 0546.68088
Marek, Wiktor; Pawlak, Zdzisław
6
1984
A filter on \([\lambda]^{\kappa}\). Zbl 0536.03035
Di Prisco, C. A.; Marek, W.
2
1984
On some \(\sigma\)-algebras containing the projective sets. I. Zbl 0544.03023
Di 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.03001
Marek, Wiktor; Onyszkiewicz, Janusz
1
1982
\(\omega\)-models of second order arithmetic and admissible sets. Zbl 0385.03030
Marek, W.
1
1978
The foundations of mathematics in Poland after world war II. Zbl 0417.03001
Marek, W.
1
1977
Information storage and retrieval systems: Mathematical foundations. Zbl 0354.68035
Marek, Wiktor; Pawlak, Zdzislaw
16
1976
Set theory and hierarchy theory. A memorial tribute to Andrzej Mostowski, Bierutowice, Poland 1975. Zbl 0324.00007
Marek, W.; Srebrny, M.; Zarach, A.
2
1976
A mathematical theory of informational systems. Zbl 0319.68015
Lipski, Witold; Marek, Wiktor
1
1976
Urelements and extendability. Zbl 0358.02067
Marek, W.; Srebrny, M.
1
1976
On information storage and retrieval systems. Zbl 0315.68075
Lipski, Witold; Marek, Wiktor
3
1975
Second order arithmetic and related topics. Zbl 0299.02066
Apt, Krysztof R.; Marek, W.
9
1974
Gaps in the constructible universe. Zbl 0279.02049
Marek, W.; Srebrny, M.
5
1974
On the foundations of information retrieval. Zbl 0325.68054
Marek, W.; Pawlak, Z.
3
1974
An application of graph theory to information retrieval. Zbl 0304.68043
Lipski, W.; Marek, W.
2
1974
Mathematical foundations of information storage and retrieval. I. Zbl 0326.68067
Marek, Wiktor; Pawlak, Zdzislaw
2
1973
Mathematical foundations of information storage and retrieval. II. Zbl 0326.68068
Marek, 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.02050
Marek, Wiktor
1
1973
Consistance d’une hypothèse de Fraisse sur la definissabilite dans un langage du second ordre. Zbl 0259.02048
Marek, Wiktor
1
1973
Elemente der Logik und der Mengenlehre in Aufgaben. (Elementy logiki i teorii mnogosci w zadaniach.). Zbl 0288.02001
Marek, Wiktor; Onyszkiewicz, Janusz
1
1972
Axioms of choice in impredicative set theory. Zbl 0241.02025
Marek, W.; Zbierski, P.
1
1972
A remark on independence proofs. Zbl 0147.25801
Marek, W.
1
1966
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

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.