Victor W. Marek

According to our database, Victor W. Marek authored at least 140 papers between 1973 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2021

Pairwise comparisons matrix decomposition into approximation and orthogonal component using Lie theory.

Waldemar W. Koczkodaj, Victor W. Marek, Yusuf Yayli

Int. J. Approx. Reason., 2021

2020

Answer Set Programming, by Vladimir Lifschitz, Springer NatureSwitzerland AG, ISBN 978-3-030-24657-0.

Victor W. Marek

Theory Pract. Log. Program., 2020

On the complexity of index sets for finite predicate logic programs which allow function symbols.

Douglas Cenzer, Victor W. Marek, Jeffrey B. Remmel

J. Log. Comput., 2020

On the use of group theory to generalize elements of pairwise comparisons matrix: A cautionary note.

Waldemar W. Koczkodaj, Fang Liu, Victor W. Marek, Jirí Mazurek, Miroslaw Mazurek, Ludmil Mikhailov, Cenap Özel, Witold Pedrycz, Artur Przelaskowski, Andrew Schumann, Ryszard Smarzewski, Dominik Strzalka, Jacek Szybowski, Yusuf Yayli

Int. J. Approx. Reason., 2020

2018

An Edge-Focused Model for Distributed Streaming Data Applications.

Vernon K. Cody Bumgardner, Caylin D. Hickey, Victor W. Marek

Proceedings of the 2018 IEEE International Conference on Pervasive Computing and Communications Workshops, 2018

Edge-enabled Distributed Network Measurement.

Vernon K. Cody Bumgardner, Caylin D. Hickey, Victor W. Marek

Proceedings of the 2018 IEEE International Conference on Pervasive Computing and Communications Workshops, 2018

2017

Solving Very Hard Problems: Cube-and-Conquer, a Hybrid SAT Solving Method.

Marijn J. H. Heule, Oliver Kullmann, Victor W. Marek

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

2016

<i>All about Proofs, Proofs for All</i>, Bruno Woltzenlogel Paleo and David Delahaye, Eds., College Publications, Series Mathematical Logic and Foundations, vol. 55., 2015. Paperback, ISBN 978-1-84890-166-7, vii + 240 pages.

Victor W. Marek

Theory Pract. Log. Program., 2016

Preface.

Daniela Inclezan, Marco Maratea, Victor W. Marek

Fundam. Informaticae, 2016

Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer.

Marijn J. H. Heule, Oliver Kullmann, Victor W. Marek

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2016, 2016

Collating time-series resource data for system-wide job profiling.

Vernon K. Cody Bumgardner, Victor W. Marek, Ray L. Hyatt

Proceedings of the 2016 IEEE/IFIP Network Operations and Management Symposium, 2016

Index Sets for Finite Normal Predicate Logic Programs with Function Symbols.

Douglas A. Cenzer, Victor W. Marek, Jeffrey B. Remmel

Proceedings of the Logical Foundations of Computer Science - International Symposium, 2016

Constellation: A secure self-optimizing framework for genomic processing.

Vernon K. Cody Bumgardner, Victor W. Marek, Caylin D. Hickey, Kanna Nandakumar

Proceedings of the 18th IEEE International Conference on e-Health Networking, 2016

Working with Zdzislaw Pawlak - Personal Reminiscences.

Victor W. Marek

Proceedings of the 2016 Federated Conference on Computer Science and Information Systems, 2016

Cresco: A distributed agent-based edge computing framework.

Vernon K. Cody Bumgardner, Victor W. Marek, Caylin D. Hickey

Proceedings of the 12th International Conference on Network and Service Management, 2016

2014

Rough Sets and Matroids.

Victor W. Marek, Andrzej Skowron

Trans. Rough Sets, 2014

Satisfiability-based Set Membership Filters.

Sean A. Weaver, Katrina J. Ray, Victor W. Marek, Andrew J. Mayer, Alden Walker

J. Satisf. Boolean Model. Comput., 2014

Scalable hybrid stream and hadoop network analysis system.

Vernon K. C. Bumgardner, Victor W. Marek

Proceedings of the ACM/SPEC International Conference on Performance Engineering, 2014

2013

Professor Zdzisław Pawlak (1926-2006): Founder of the Polish School of Artificial Intelligence.

Andrzej Skowron, Mihir K. Chakraborty, Jerzy W. Grzymala-Busse, Victor W. Marek, Sankar K. Pal, James F. Peters, Grzegorz Rozenberg, Dominik Slezak, Roman Slowinski, Shusaku Tsumoto, Alicja Wakulicz-Deja, Guoyin Wang, Wojciech Ziarko

Proceedings of the Rough Sets and Intelligent Systems - Professor Zdzisław Pawlak in Memoriam, 2013

Zdzisław Pawlak, Databases and Rough Sets.

Victor W. Marek

Proceedings of the Rough Sets and Intelligent Systems - Professor Zdzisław Pawlak in Memoriam, 2013

Index sets for Finite Normal Predicate Logic Programs

Douglas Cenzer, Victor W. Marek, Jeffrey B. Remmel

CoRR, 2013

2012

Disjunctive Programs with Set Constraints.

Victor W. Marek, Jeffrey B. Remmel

Proceedings of the Correct Reasoning, 2012

2011

Guarded resolution for Answer Set Programming.

Victor W. Marek, Jeffrey B. Remmel

Theory Pract. Log. Program., 2011

Preface.

Mauricio Osorio, Victor W. Marek

Fundam. Informaticae, 2011

Origins of Answer-Set Programming - Some Background And Two Personal Accounts

Victor W. Marek, Ilkka Niemelä, Miroslaw Truszczynski

CoRR, 2011

Reiter's Default Logic Is a Logic of Autoepistemic Reasoning And a Good One, Too

Marc Denecker, Victor W. Marek, Miroslaw Truszczynski

CoRR, 2011

Effectively Reasoning about Infinite Sets in Answer Set Programming.

Victor W. Marek, Jeffrey B. Remmel

Proceedings of the Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011

2009

An Application of Proof-Theory in answer Set Programming

Victor W. Marek, Jeffrey B. Remmel

CoRR, 2009

The complexity of recursive constraint satisfaction problems.

Victor W. Marek, Jeffrey B. Remmel

Ann. Pure Appl. Log., 2009

Automata and Answer Set Programming.

Victor W. Marek, Jeffrey B. Remmel

Proceedings of the Logical Foundations of Computer Science, International Symposium, 2009

2008

Approximation Schemes in Logic and Artificial Intelligence.

Victor W. Marek, Miroslaw Truszczynski

Trans. Rough Sets, 2008

Logic programs with monotone abstract constraint atoms.

Victor W. Marek, Ilkka Niemelä, Miroslaw Truszczynski

Theory Pract. Log. Program., 2008

Set based logic programming.

Howard A. Blair, Victor W. Marek, Jeffrey B. Remmel

Ann. Math. Artif. Intell., 2008

On the Continuity of Gelfond-Lifschitz Operator and Other Applications of Proof-Theory in ASP.

Victor W. Marek, Jeffrey B. Remmel

Proceedings of the Logic Programming, 24th International Conference, 2008

Quo Vadis Answer Set Programming?

Victor W. Marek

Proceedings of the Logic Programming, 24th International Conference, 2008

2007

Characterizing Pawlak's Approximation Operators.

Victor W. Marek

Trans. Rough Sets, 2007

Explanatory Nonmonotonic Reasoning by Alexander Bochman, World Scientific, Hardback: ISBN 981-256-101-3, xiv + 408 pages.

Victor W. Marek

Theory Pract. Log. Program., 2007

Compactness Properties for Stable Semantics of Logic Programs.

Victor W. Marek, Jeffrey B. Remmel

Fundam. Informaticae, 2007

Rough Sets and Approximation Schemes.

Victor W. Marek, Miroslaw Truszczynski

Proceedings of the Rough Sets and Intelligent Systems Paradigms, International Conference, 2007

2006

Generating Cellular Puzzles with Logic Programs.

Miroslaw Truszczynski, V. Wiktor Marek, Raphael A. Finkel

Proceedings of the 2006 International Conference on Artificial Intelligence, 2006

2005

Toward Automating the Discovery of Decreasing Measures.

Robert S. Boyer, Wilfred J. Legato, Victor W. Marek

J. Autom. Reason., 2005

Logic programming with infinite sets.

Douglas A. Cenzer, Jeffrey B. Remmel, Victor W. Marek

Ann. Math. Artif. Intell., 2005

Approximating Answer Sets of Unitary Lifschitz-Woo Programs.

Victor W. Marek, Inna Pivkina, Miroslaw Truszczynski

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005

Set Based Logic Programming.

Jeffrey B. Remmel, Victor W. Marek

Proceedings of the Nonmonotonic Reasoning, 2005

Normal Form Theorem for Logic Programs with Cardinality Constraints.

Victor W. Marek, Jeffrey B. Remmel

Proceedings of the Nonmonotonic Reasoning, 2005

2004

Constraint Lingo: towards high-level constraint programming.

Raphael A. Finkel, Victor W. Marek, Miroslaw Truszczynski

Softw. Pract. Exp., 2004

Ultimate approximation and its application in nonmonotonic knowledge representation systems.

Marc Denecker, Victor W. Marek, Miroslaw Truszczynski

Inf. Comput., 2004

Satisfiability and Computing van der Waerden Numbers.

Michael R. Dransfield, Lengning Liu, Victor W. Marek, Miroslaw Truszczynski

Electron. J. Comb., 2004

Answer set programming with default logic.

Victor W. Marek, Jeffrey B. Remmel

Proceedings of the 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), 2004

Set Constraints in Logic Programming.

V. Wiktor Marek, Jeffrey B. Remmel

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2004

Logic Programs With Monotone Cardinality Atoms.

V. Wiktor Marek, Ilkka Niemelä, Miroslaw Truszczynski

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2004

Using Logic Programs to Reason about Infinite Sets.

Douglas Cenzer, V. Wiktor Marek, Jeffrey B. Remmel

Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2004

Automatic Generation of English-language Steps in Puzzle Solving.

Hemantha Ponnuru, Raphael A. Finkel, Victor W. Marek, Miroslaw Truszczynski

Proceedings of the International Conference on Artificial Intelligence, 2004

Logic Programs with Abstract Constraint Atoms.

Victor W. Marek, Miroslaw Truszczynski

Proceedings of the Nineteenth National Conference on Artificial Intelligence, 2004

2003

On the expressibility of stable logic programming.

V. Wiktor Marek, Jeffrey B. Remmel

Theory Pract. Log. Program., 2003

Uniform semantic treatment of default and autoepistemic logics.

Marc Denecker, V. Wiktor Marek, Miroslaw Truszczynski

Artif. Intell., 2003

Satisfiability and Computing van der Waerden Numbers.

Michael R. Dransfield, V. Wiktor Marek, Miroslaw Truszczynski

Proceedings of the Theory and Applications of Satisfiability Testing, 2003

2002

Annotated revision programs.

V. Wiktor Marek, Inna Pivkina, Miroslaw Truszczynski

Artif. Intell., 2002

On logic programs with cardinality constraints.

Victor W. Marek, Jeffrey B. Remmel

Proceedings of the 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), 2002

Ultimate Approximations in Nonmonotonic Knowledge Representation Systems.

Marc Denecker, V. Wiktor Marek, Miroslaw Truszczynski

Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), 2002

Constraint Lingo: A Program for Solving Logic Puzzles and Other Tabular Constraint Problems.

Raphael A. Finkel, V. Wiktor Marek, Miroslaw Truszczynski

Proceedings of the Logics in Artificial Intelligence, European Conference, 2002

2001

Logic programming revisited: Logic programs as inductive definitions.

Marc Denecker, Maurice Bruynooghe, V. Wiktor Marek

ACM Trans. Comput. Log., 2001

Foundations of Mathematics in the Twentieth Century.

V. Wiktor Marek, Jan Mycielski

Am. Math. Mon., 2001

Default logic and specification of nonmonotonic reasoning.

Joeri Engelfriet, V. Wiktor Marek, Jan Treur, Miroslaw Truszczynski

J. Exp. Theor. Artif. Intell., 2001

On the Foundations of Answer Set Programming.

Victor W. Marek, Jeffrey B. Remmel

Proceedings of the Answer Set Programming, 2001

Tabular Constraint-Satisfaction Problems and Answer Set Programming.

Raphael A. Finkel, Victor W. Marek, Miroslaw Truszczynski

Proceedings of the Answer Set Programming, 2001

Computing stable models in parallel.

Raphael A. Finkel, Victor W. Marek, Neil Moore, Miroslaw Truszczynski

Proceedings of the Answer Set Programming, 2001

2000

Uniform semantic treatment of default and autoepistemic logic.

Marc Denecker, V. Wiktor Marek, Miroslaw Truszczynski

Proceedings of the KR 2000, 2000

1999

Contributions to the Theory of Rough Sets.

V. Wiktor Marek, Miroslaw Truszczynski

Fundam. Informaticae, 1999

Logic Programs, Well-Orderings, and Forward Chaining.

V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel

Ann. Pure Appl. Log., 1999

Computing with Default Logic.

Pawel Cholewinski, V. Wiktor Marek, Miroslaw Truszczynski, Artur Mikitiuk

Artif. Intell., 1999

Stable Models and an Alternative Logic Programming Paradigm.

Victor W. Marek, Miroslaw Truszczynski

Proceedings of the Logic Programming Paradigm - A 25-Year Perspective, 1999

1998

Revision Programming.

V. Wiktor Marek, Miroslaw Truszczynski

Theor. Comput. Sci., 1998

Applications of the JAVA Programming Language to Database Management.

Bradley F. Burton, V. Wiktor Marek

SIGMOD Rec., 1998

Stable models and an alternative logic programming paradigm

Victor W. Marek, Miroslaw Truszczynski

CoRR, 1998

Myths about Rough Set Theory.

Waldemar W. Koczkodaj, Marian Orlowski, V. Wiktor Marek

Commun. ACM, 1998

Rough Sets - What Are They About?

V. Wiktor Marek, Miroslaw Truszczynski

Proceedings of the Rough Sets and Current Trends in Computing, 1998

Revision Programming = Logic Programming + Integrity Constraints.

V. Wiktor Marek, Inna Pivkina, Miroslaw Truszczynski

Proceedings of the Computer Science Logic, 12th International Workshop, 1998

Simulating patients with Parallel Health State Networks.

Walton Sumner, Miroslaw Truszczynski, Victor W. Marek

Proceedings of the AMIA 1998, 1998

Fixpoint 3-Valued Semantics for Autoepistemic Logic.

Marc Denecker, V. Wiktor Marek, Miroslaw Truszczynski

Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Innovative Applications of Artificial Intelligence Conference, 1998

1997

Complexity of Recursive Normal Default Logic.

V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel

Fundam. Informaticae, 1997

Nonmonotonic rule systems with recursive sets of restraints.

V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel

Arch. Math. Log., 1997

Representation Theory for Default Logic.

V. Wiktor Marek, Jan Treur, Miroslaw Truszczynski

Ann. Math. Artif. Intell., 1997

Basic Forward Chaining Construction for Logic Programs.

V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel

Proceedings of the Logical Foundations of Computer Science, 4th International Symposium, 1997

Intelligent Computation of Presentation Documents.

Joseph D. Oldham, V. Wiktor Marek, Miroslaw Truszczynski

Proceedings of the Foundations of Intelligent Systems, 10th International Symposium, 1997

1996

Reducing Disjunctive to Non-Disjunctive Semantics by Shift-Operations.

Jürgen Dix, Georg Gottlob, V. Wiktor Marek

Fundam. Informaticae, 1996

On the Complexity of Abduction.

V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel

Proceedings of the Proceedings, 1996

Default Reasoning System DeReS.

Pawel Cholewinski, V. Wiktor Marek, Miroslaw Truszczynski

Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR'96), 1996

Infinitary Default Logic for Specification of Nonmonotonic Reasoning.

Joeri Engelfriet, V. Wiktor Marek, Jan Treur, Miroslaw Truszczynski

Proceedings of the Logics in Artificial Intelligence, European Workshop, 1996

Toward Intelligent Representation of Database Content.

Joseph D. Oldham, V. Wiktor Marek

Proceedings of the Foundations of Intelligent Systems, 9th International Symposium, 1996

1995

Complexity of Computing with Extended Propositional Logic Programs.

V. Wiktor Marek, Arcot Rajasekar, Miroslaw Truszczynski

Ann. Math. Artif. Intell., 1995

The Expressiveness of Locally Stratified Programs.

Howard A. Blair, V. Wiktor Marek, John S. Schlipf

Ann. Math. Artif. Intell., 1995

Algorithms for Maintaining Authorization Bases.

William Brooks, V. Wiktor Marek, Miroslaw Truszczynski

Proceedings of the 1995 International Conference on Object Oriented Information Systems, 1995

Complexity of Normal Default Logic and Related Modes of Nonmonotonic Reasoning

V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel

Proceedings of the Proceedings, 1995

Experimenting with Nonmonotonic Reasoning.

Pawel Cholewinski, V. Wiktor Marek, Artur Mikitiuk, Miroslaw Truszczynski

Proceedings of the Logic Programming, 1995

Revision Programming, Database Updates and Integrity Constraints.

V. Wiktor Marek, Miroslaw Truszczynski

Proceedings of the Database Theory, 1995

1994

Introduction.

Anil Nerode, Victor W. Marek, V. S. Subrahmanian

Methods Log. Comput. Sci., 1994

The Stable Models of a Predicate Logic Program.

V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel

J. Log. Program., 1994

A Context for Belief Revision: Forward Chaining - Normal Nonmonotonic Rule Systems.

V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel

Ann. Pure Appl. Log., 1994

On Logical Constraints in Logic Programming.

V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel

Proceedings of the ILPS 1994, 1994

Revision Specifications by Means of Programs.

V. Wiktor Marek, Miroslaw Truszczynski

Proceedings of the Logics in Artificial Intelligence, European Workshop, 1994

Causal Models of Disjunctive Logic Programs.

Jürgen Dix, Georg Gottlob, V. Wiktor Marek

Proceedings of the Logic Programming, 1994

1993

Mechanical Proof Systems for Logic II, Consensus Programs and Their Processing.

Helena Rasiowa, V. Wiktor Marek

J. Intell. Inf. Syst., 1993

Modal Nonmonotonic Logics: Ranges, Characterization, Computation.

V. Wiktor Marek, Grigori F. Shvarts, Miroslaw Truszczynski

J. ACM, 1993

Reflective Autoepistemic Logic and Logic Programming.

V. Wiktor Marek, Miroslaw Truszczynski

Proceedings of the Logic Programming and Non-monotonic Reasoning, 1993

Complexity Issues in Nonmonotonic Logic and Logic Programming (Abstract).

V. Wiktor Marek

Proceedings of the Computational Logic and Proof Theory, Third Kurt Gödel Colloquium, 1993

Mechanical Proof Systems for Logic II, Consensus Programs and Their Procedding (Extended Abstract).

Helena Rasiowa, V. Wiktor Marek

Proceedings of the Methodologies for Intelligent Systems, 7th International Symposium, 1993

Nonmonotonic logic - context-dependent reasoning.

Victor W. Marek, Miroslaw Truszczynski

Artificial intelligence, Springer, ISBN: 0-387-56448-9, 1993

1992

The Relationship Between Stable, Supported, Default and Autoepistemic Semantics for General Logic Programs.

V. Wiktor Marek, V. S. Subrahmanian

Theor. Comput. Sci., 1992

The Pure Logic of Necessitation.

Melvin Fitting, V. Wiktor Marek, Miroslaw Truszczynski

J. Log. Comput., 1992

More on modal aspects of default logic.

V. Wiktor Marek, Miroslaw Truszczynski

Fundam. Informaticae, 1992

How Complicated is the Set of Stable Models of a Recursive Logic Program?

V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel

Ann. Pure Appl. Log., 1992

A Theory of Nonmonotonic Rule Systems II.

V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel

Ann. Math. Artif. Intell., 1992

Rule Systems and Well-Orderings.

V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel

Proceedings of the Informal Proceedings of the Workshop Structural Complexity and Recursion-theoretic methods in Logic-Programming, 1992

1991

Autoepistemic Logic.

V. Wiktor Marek, Miroslaw Truszczynski

J. ACM, 1991

Normal Form Results for Default Logic.

V. Wiktor Marek, Miroslaw Truszczynski

Proceedings of the Nonmonotonic and Inductive Logic, 1991

Computing Intersection of Autoepistemic Expansions.

V. Wiktor Marek, Miroslaw Truszczynski

Proceedings of the Logic Programming and Non-monotonic Reasoning, 1991

1990

Modal Logic for Default Reasoning.

V. Wiktor Marek, Miroslaw Truszczynski

Ann. Math. Artif. Intell., 1990

A Theory of Nonmonotonic Rule Systems I.

V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel

Ann. Math. Artif. Intell., 1990

Ranges of Strong Modal Nonmonotonic Logics.

V. Wiktor Marek, Grigori Schwarz, Miroslaw Truszczynski

Proceedings of the Nonmonotonic and Inductive Logic, 1990

A Theory of Nonmonotonic Rule Systems

V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel

Proceedings of the Fifth Annual Symposium on Logic in Computer Science (LICS '90), 1990

1989

Stable Semantics for Logic Programs and Default Theories.

V. Wiktor Marek, Miroslaw Truszczynski

Proceedings of the Logic Programming, 1989

Relating Autoepistemic and Default Logics.

V. Wiktor Marek, Miroslaw Truszczynski

Proceedings of the 1st International Conference on Principles of Knowledge Representation and Reasoning (KR'89). Toronto, 1989

The Relationship Between Logic Program Semantics and Non-Monotonic Reasoning.

V. Wiktor Marek, V. S. Subrahmanian

Proceedings of the Logic Programming, 1989

On the Classification and Existence of Structures in Default Logic.

Aidong Zhang, V. Wiktor Marek

Proceedings of the EPIA 89, 1989

1988

A Natural Semantics for Modal Logic Over Databases.

V. Wiktor Marek

Theor. Comput. Sci., 1988

Book review: The Art of Prolog Advanced Programming Techniques by L. Sterling and E. Shapiro (The MIT Press).

V. Wiktor Marek

SIGART Newsl., 1988

1987

Book review: Combinatorics, Set Systems, Hypergraphs, Families of Vectors and Combinatorial Probability by B. Bollobas (Cambridge University Press).

V. Wiktor Marek

SIGART Newsl., 1987

Investigating Logical Properties of the Rule-Based Expert Systems Using Combinatorial and Geometrical Techniques I.

Jerzy W. Jaromczyk, V. Wiktor Marek

Proceedings of the Methodologies for Intelligent Systems, 1987

1986

Approximating Sets with Equivalence Relations.

V. Wiktor Marek, Helena Rasiowa

Theor. Comput. Sci., 1986

Executing Temporal Logic Programs by Ben Moszkowski.

V. Wiktor Marek

SIGART Newsl., 1986

Completeness and Consistency in Knowledge Base Systems.

V. Wiktor Marek

Proceedings of the Expert Database Systems, 1986

1984

A Natural Semantics for Modal Logic over Databases and Model-Theoretic Forcing.

V. Wiktor Marek

Proceedings of the Non-Monotonic Reasoning Workshop, 1984

1982

On Some σ-Algebras Containing the Projective Sets I.

Carlos A. Di Prisco, V. Wiktor Marek

Math. Log. Q., 1982

1979

Information systems: on queries involving cardinalities.

Witold Lipski Jr., V. Wiktor Marek

Inf. Syst., 1979

1976

Information Storage and Retrieval Systems: Mathematical Foundations.

V. Wiktor Marek, Zdzislaw Pawlak

Theor. Comput. Sci., 1976

1975

No minimal transitive model of Z^-.

V. Wiktor Marek, M. Srebrny

Math. Log. Q., 1975

1974

File Organization, An Application of Graph Theory.

Witold Lipski Jr., V. Wiktor Marek

Proceedings of the Automata, Languages and Programming, 2nd Colloquium, University of Saarbrücken, Germany, July 29, 1974

1973

Observations Concerning Elementary Extensions of omega-Models. II.

Victor W. Marek

J. Symb. Log., 1973

On Transitive Models for Fragments of Set Theory.

V. Wiktor Marek, M. Srebrny

Bull. Acad. Pol. des Sci. Ser. Sci. Math. Astron. Phys., 1973