×
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 · IdRef
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

Publications by Year

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.68524
Marek, Victor W.; Truszczyński, Mirosław
98
1999
Autoepistemic logic. Zbl 0799.68176
Marek, Wiktor; Truszczynski, Miroslaw
81
1991
Nonmonotonic logic. Context-dependent reasoning. Foreword by Ray Reiter. Zbl 0784.03018
Marek, V. W.; Truszczyński, M.
64
1993
Solving and verifying the Boolean Pythagorean triples problem via cube-and-conquer. Zbl 1403.68226
Heule, Marijn J. H.; Kullmann, Oliver; Marek, Victor W.
32
2016
Approximations, stable operators, well-founded fixpoints and applications in nonmonotonic reasoning. Zbl 0988.68183
Denecker, Marc; Marek, Victor; Truszczyński, Mirosław
23
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
21
2003
The relationship between stable, supported, default and autoepistemic semantics for general logic programs. Zbl 0753.68062
Marek, W.; Subrahmanian, V. S.
20
1992
Relating autoepistemic and default logics. Zbl 0706.03024
Marek, Wiktor; Truszczyński, Mirosław
17
1989
Ultimate approximation and its application in nonmonotonic knowledge representation systems. Zbl 1074.68069
Denecker, Marc; Marek, Victor W.; Truszczyński, Mirosław
17
2004
Information storage and retrieval systems: Mathematical foundations. Zbl 0354.68035
Marek, Wiktor; Pawlak, Zdzislaw
16
1976
Logic programs with monotone abstract constraint atoms. Zbl 1142.68018
Marek, Victor W.; Niemelä, Ilkka; Truszczyński, Mirosław
14
2008
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
How complicated is the set of stable models of a recursive logic program? Zbl 0766.03024
Marek, W.; Nerode, A.; Remmel, J.
11
1992
Modal logic for default reasoning. Zbl 0871.03009
Marek, W.; Truszczyński, M.
11
1990
The stable models of a predicate logic program. Zbl 0836.68013
Marek, V. Wiktor; Nerode, Anil; Remmel, Jeffrey B.
10
1994
Revision programming. Zbl 0893.68054
Marek, Victor W.; Truszczyński, Mirosław
10
1998
Satisfiability and computing van der Waerden numbers. Zbl 1054.05097
Dransfield, 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.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
Handbook of recursive mathematics. Vol. 1: Recursive model theory. Zbl 0905.03001
9
1998
Stable theories in autoepistemic logic. Zbl 0673.03016
Marek, W.
8
1989
Set constraints in logic programming. Zbl 1122.68381
Marek, Victor W.; Remmel, Jeffrey B.
8
2004
Logic programming revisited: logic programs as inductive definitions. Zbl 1365.68148
Denecker, Marc; Bruynooghe, Maurice; Marek, Victor
8
2001
Foundational studies. Selected works. Vol. I, II. Zbl 0425.01021
Mostowski, Andrzej
7
1979
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
Rough sets and information systems. Zbl 0546.68088
Marek, Wiktor; Pawlak, Zdzisław
6
1984
The expressiveness of locally stratified programs. Zbl 0855.68016
Blair, Howard A.; Marek, V. Wiktor; Schlipf, John S.
6
1995
Gaps in the constructible universe. Zbl 0279.02049
Marek, W.; Srebrny, M.
6
1974
The pure logic of necessitation. Zbl 0819.03011
Fitting, Melvin C.; Marek, V. Wiktor; Truszczyński, Mirosław
5
1992
Normal form results for default logic. Zbl 0819.68123
Marek, V. W.; Truszczynski, M.
5
1993
Contributions to the theory of rough sets. Zbl 0944.68051
Marek, 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.68195
Cholewiński, Paweł; Marek, Victor W.; Mikitiuk, Artur; Truszczyński, Mirosław
5
1999
On the expressibility of stable logic programming. Zbl 1079.68015
Marek, Victor W.; Remmel, Jeffrey B.
5
2003
Gradual approximating sets by means of equivalence relations. Zbl 0645.04001
Marek, 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.68088
Dix, Jürgen; Gottlob, Georg; Marek, Wiktor
4
1996
Introduction to mathematics of satisfiability. Zbl 1184.68001
Marek, Victor W.
4
2009
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
Logic programs with monotone cardinality atoms. Zbl 1122.68380
Marek, Victor W.; Niemelä, Ilkka; Truszczyński, Mirosław
3
2004
Representation theory for default logic. Zbl 0890.68121
Marek, V. Wiktor; Treur, Jan; Truszczyński, Mirosław
3
1997
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
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
Revision specifications by means of programs. Zbl 0988.68626
Marek, V. W.; Truszczyński, M.
3
1994
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
Modal nonmonotonic logics: Ranges, characterization, computation. Zbl 0765.03014
Marek, Wiktor; Shvarts, Grigori F.; Truszczyński, Mirosław
2
1991
Satisfiability-based set membership filters. Zbl 1322.68187
Weaver, 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.03046
Denecker, Marc; Marek, V. Wiktor; Truszczyński, Mirosław
2
1999
Complexity of recursive normal default logic. Zbl 0937.03038
Marek, 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.68067
Marek, Wiktor; Pawlak, Zdzislaw
2
1973
On the metamathematics of impredicative set theory. Zbl 0273.02046
Marek, W.
2
1973
An application of graph theory to information retrieval. Zbl 0304.68043
Lipski, W.; Marek, W.
2
1974
On the expressibility of stable logic programming. Zbl 1007.68024
Marek, V. W.; Remmel, J. B.
2
2001
Foundations of mathematics in the twentieth century. Zbl 0978.03001
Marek, V. Wiktor; Mycielski, Jan
1
2001
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
Negation as failure to prove and fixed points. Zbl 0673.03017
Marek, W.; Truszczynski, M.
1
1989
Guarded resolution for answer set programming. Zbl 1223.68104
Marek, 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.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
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
Automata and answer set programming. Zbl 1211.68061
Marek, Victor; Remmel, Jeffrey B.
1
2009
Compactness properties for stable semantics of logic programs. Zbl 1133.68013
Marek, Victor W.; Remmel, Jeffrey B.
1
2007
Compactness properties for stable semantics of logic programs. Zbl 1148.68011
Marek, Victor W.; Remmel, Jeffrey B.
1
2007
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
More on modal aspects of default logic. Zbl 0772.03011
Marek, V. Wiktor; Truszczynski, Miroslaw
1
1992
Nonmonotonic rule systems with recursive sets of restraints. Zbl 0938.03043
Marek, V. Wiktor; Nerode, Anil; Remmel, Jeffrey B.
1
1997
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
The foundations of mathematics in Poland after world war II. Zbl 0417.03001
Marek, W.
1
1977
Index sets for finite normal predicate logic programs with function symbols. Zbl 1474.68041
Cenzer, Douglas; Marek, Victor W.; Remmel, Jeffrey B.
1
2016
Rough sets and matroids. Zbl 1404.68169
Marek, Victor W.; Skowron, Andrzej
1
2014
Axioms of choice in impredicative set theory. Zbl 0241.02025
Marek, 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.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
On the use of group theory to generalize elements of pairwise comparisons matrix: a cautionary note. Zbl 1460.68113
Koczkodaj, 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.03020
Engelfriet, 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.02001
Marek, Wiktor; Onyszkiewicz, Janusz
1
1972
Annotated revision programs. Zbl 0995.68106
Marek, Victor; Pivkina, Inna; Truszczyński, Mirosław
1
2002
A remark on independence proofs. Zbl 0147.25801
Marek, W.
1
1966
On the use of group theory to generalize elements of pairwise comparisons matrix: a cautionary note. Zbl 1460.68113
Koczkodaj, 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.68226
Heule, Marijn J. H.; Kullmann, Oliver; Marek, Victor W.
32
2016
Index sets for finite normal predicate logic programs with function symbols. Zbl 1474.68041
Cenzer, Douglas; Marek, Victor W.; Remmel, Jeffrey B.
1
2016
Satisfiability-based set membership filters. Zbl 1322.68187
Weaver, Sean A.; Ray, Katrina J.; Marek, Victor W.; Mayer, Andrew J.; Walker, Alden K.
2
2014
Rough sets and matroids. Zbl 1404.68169
Marek, Victor W.; Skowron, Andrzej
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
14
2008
Andrzej Mostowski and foundational studies. Zbl 1134.03004
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
Compactness properties for stable semantics of logic programs. Zbl 1133.68013
Marek, Victor W.; Remmel, Jeffrey B.
1
2007
Compactness properties for stable semantics of logic programs. Zbl 1148.68011
Marek, Victor W.; Remmel, Jeffrey B.
1
2007
Characterizing Pawlak’s approximation operators. Zbl 1187.68585
Marek, Victor W.
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
17
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
Satisfiability and computing van der Waerden numbers. Zbl 1204.05097
Dransfield, Michael R.; Marek, Victor W.; Truszczyński, Mirosław
3
2004
Logic programs with monotone cardinality atoms. Zbl 1122.68380
Marek, Victor W.; Niemelä, Ilkka; 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
21
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
Foundations of mathematics in the twentieth century. Zbl 0978.03001
Marek, V. Wiktor; Mycielski, Jan
1
2001
Default logic and specification of nonmonotonic reasoning. Zbl 1008.03020
Engelfriet, 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.68183
Denecker, Marc; Marek, Victor; Truszczyński, Mirosław
23
2000
Stable models and an alternative logic programming paradigm. Zbl 0979.68524
Marek, Victor W.; Truszczyński, Mirosław
98
1999
Logic programs, well-orderings, and forward chaining. Zbl 0927.68021
Marek, V. W.; Nerode, A.; Remmel, J. B.
7
1999
Contributions to the theory of rough sets. Zbl 0944.68051
Marek, 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.68195
Cholewiński, Paweł; Marek, Victor W.; Mikitiuk, Artur; Truszczyński, Mirosław
5
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
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.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
4
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.
64
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
81
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
17
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
4
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
On the space \((\lambda)^{\kappa}\). Zbl 0617.03030
Di Prisco, Carlos A.; Marek, Wiktor
1
1985
Some aspects of the theory of large cardinals. Zbl 0597.03032
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
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
On some \(\sigma\)-algebras containing the projective sets. I. Zbl 0544.03023
Di Prisco, C. A.; Marek, Wiktor
1
1982
Foundational studies. Selected works. Vol. I, II. Zbl 0425.01021
Mostowski, Andrzej
7
1979
\(\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
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.
6
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
On the metamathematics of impredicative set theory. Zbl 0273.02046
Marek, W.
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
Axioms of choice in impredicative set theory. Zbl 0241.02025
Marek, W.; Zbierski, P.
1
1972
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 remark on independence proofs. Zbl 0147.25801
Marek, W.
1
1966
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

Citations by Year

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.