Victor W. Marek

Q: What Schools Are Affiliated With Victor W. Marek

Victor W. Marek is affiliated with the following schools: University of Kentucky, University of California, San Diego, University of Warsaw

Victor W. Marek's AcademicInfluence.com Rankings

Victor W. Marek

Mathematics

#1318

World Rank

#2202

Historical Rank

Measure Theory

#2651

World Rank

#3171

Historical Rank

mathematics Degrees

Victor W. Marek

Computer Science

#2640

World Rank

#2760

Historical Rank

Programming

#94

World Rank

#98

Historical Rank

Artificial Intelligence

#5066

World Rank

#5131

Historical Rank

computer-science Degrees

Download Badge

Mathematics
Computer Science

Victor W. Marek's Degrees

PhD Mathematics University of Warsaw

Why Is Victor W. Marek Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Victor Witold Marek, formerly Wiktor Witold Marek known as Witek Marek is a Polish mathematician and computer scientist working in the fields of theoretical computer science and mathematical logic. Biography Victor Witold Marek studied mathematics at the Faculty of Mathematics and Physics of the University of Warsaw. Supervised by Andrzej Mostowski, he received both a magister degree in mathematics in 1964 and a doctoral degree in mathematics in 1968. He completed habilitation in mathematics in 1972.

(See a Problem?)

Victor W. Marek's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Stable models and an alternative logic programming paradigm (1998) (829)
Autoepistemic logic (1991) (480)
The Logic Programming Paradigm: A 25-Year Perspective (2011) (430)
Nonmonotonic logic - context-dependent reasoning (1997) (383)
Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer (2016) (190)
Nonmonotonic Logic (1993) (151)
Relating Autoepistemic and Default Logics (1989) (127)
Default Reasoning System DeReS (1996) (120)
Uniform semantic treatment of default and autoepistemic logics (2000) (112)
Stable Semantics for Logic Programs and Default Theories (1989) (99)
Reducing Disjunctive to Non-Disjunctive Semantics by Shift-Operations (1996) (97)
Ultimate approximation and its application in nonmonotonic knowledge representation systems (2004) (91)
Modal nonmonotonic logics: ranges, characterization, computation (1991) (90)
Information Storage and Retrieval Systems: Mathematical Foundations (1976) (88)
Revision Programming (1998) (87)
The Relationship Between Stable, Supported, Default and Autoepistemic Semantics for General Logic Programs (1992) (84)
The Logic Programming Paradigm (1999) (82)
Satisfiability and Computing van der Waerden Numbers (2003) (76)
The Stable Models of a Predicate Logic Program (1994) (69)
Computing with Default Logic (1999) (68)
Experimenting with Nonmonotonic Reasoning (1995) (68)
Approximations, stable operators, well-founded fixpoints and applications in nonmonotonic reasoning (2000) (59)
Book review: The Art of Prolog Advanced Programming Techniques by L. Sterling and E. Shapiro (The MIT Press) (1988) (59)
The Relationship Between Logic Program Semantics and Non-Monotonic Reasoning (1989) (58)
Transactions on Rough Sets VII, Commemorating the Life and Work of Zdzislaw Pawlak, Part II (2007) (56)
Computing Intersection of Autoepistemic Expansions (1991) (53)
Contributions to the Theory of Rough Sets (1999) (53)
A theory of nonmonotonic rule systems I (1990) (52)
Logic programming revisited (2001) (50)
Logic Programs with Abstract Constraint Atoms (2004) (47)
Revision Programming, Database Updates and Integrity Constraints (1995) (44)
Set Constraints in Logic Programming (2004) (43)
Revision Specifications by Means of Programs (1994) (43)
How Complicated is the Set of Stable Models of a Recursive Logic Program? (1992) (41)
Book review: Combinatorics, Set Systems, Hypergraphs, Families of Vectors and Combinatorial Probability by B. Bollobas (Cambridge University Press) (1987) (40)
Logic programs with monotone abstract constraint atoms* (2006) (40)
Book review: Formalizing Common Sense: Papers by John McCarthy edited by Vladimir Lifschitz (Ablex, 1990) (1993) (39)
On the expressibility of stable logic programming (2001) (38)
Computing stable models in parallel (2001) (32)
Reflexive autoepistemic logic and logic programming (1993) (32)
Scalable hybrid stream and hadoop network analysis system (2014) (28)
Myths about rough set theory (1998) (25)
The Pure Logic of Necessitation (1992) (24)
Logic Programs, Well-Orderings, and Forward Chaining (1999) (24)
Ultimate Approximations in Nonmonotonic Knowledge Representation Systems (2002) (24)
Introduction to Mathematics of Satisfiability (2009) (23)
A Context for Belief Revision: Forward Chaining - Normal Nonmonotonic Rule Systems (1994) (23)
On the Classification and Existence of Structures in Default Logic (1990) (23)
Fixpoint 3-Valued Semantics for Autoepistemic Logic (1998) (23)
Representation theory for default logic (1997) (22)
Satisfiability-based Set Membership Filters (2014) (22)
On logic programs with cardinality constraints (2002) (19)
Solving Very Hard Problems: Cube-and-Conquer, a Hybrid SAT Solving Method (2017) (19)
Revision Speciications by Means of Programs (1994) (18)
Logic Programs With Monotone Cardinality Atoms (2003) (18)
The expressiveness of locally stratified programs (1995) (17)
On the Foundations of Answer Set Programming (2001) (17)
Reiter's Default Logic Is a Logic of Autoepistemic Reasoning And a Good One, Too (2011) (16)
Effect of Hyaluronidase on Albumin Diffusion in Lung Interstitium (1999) (14)
Normal Form Results for Default Logic (1991) (14)
Causal Models of Disjunctive Logic Programs (1994) (14)
Cresco: A distributed agent-based edge computing framework (2016) (14)
Approximating sets with equivalence relations (1986) (14)
Modal logic for default reasoning (1990) (13)
A Formal Model of Family Medicine (1996) (13)
Applications of JAVA programming language to database management (1998) (13)
Foundations of Mathematics in the Twentieth Century (2001) (13)
Modal nonmonotonic logics (1993) (13)
Nonmonotonic reasoning : essays celebrating its 30th anniversary (2011) (12)
Constraint Lingo: towards high‐level constraint programming (2004) (11)
Revision Programming = Logic Programming + Integrity Constraints (1998) (11)
More on modal aspects of default logic (1992) (11)
Application of Expert Systems Technology in Water Quality Modeling (1989) (11)
Infinitary Default Logic for Specification of Nonmonotonic Reasoning (1996) (10)
On Logical Constraints in Logic Programming (1995) (9)
Logic programming with infinite sets (2005) (9)
File Organization, An Application of Graph Theory (1974) (9)
Simulating patients with Parallel Health State Networks (1998) (9)
Completeness and Consistency in Knowledge Base Systems (1986) (8)
Annotated revision programs (1999) (8)
Set based logic programming (2008) (8)
Constraint Lingo: towards high-level constraint programming (2004) (8)
On the complexity of abduction (1996) (7)
Default logic and specification of nonmonotonic reasoning (2001) (7)
Nonmonotonic rule systems with recursive sets of restraints (1997) (7)
A theory of nonmonotonic rule systems II (2005) (7)
Data Transformations for Patient Simulations (1995) (7)
Revision programming: a knowledge representation formalism (2001) (7)
Constraint Lingo: A Program for Solving Logic Puzzles and Other Tabular Constraint Problems (2002) (7)
Tabular Constraint-Satisfaction Problems and Answer Set Programming (2001) (7)
Logic programming with costs (2006) (6)
Professor Zdzisław Pawlak (1926-2006): Founder of the Polish School of Artificial Intelligence (2013) (6)
Reflective Autoepistemic Logic and Logic Programming (1993) (6)
Information systems: on queries involving cardinalities (1979) (6)
Basic Forward Chaining Construction for Logic Programs (1997) (6)
Origins of Answer-Set Programming - Some Background And Two Personal Accounts (2011) (6)
Designing a Knowledge Base to Support Family Practice Certification Examinations (1993) (5)
Complexity of Recursive Normal Default Logic (1997) (5)
An Edge-Focused Model for Distributed Streaming Data Applications (2018) (5)
Using Logic Programs to Reason about Infinite Sets (2004) (5)
Mechanical proof systems for logic II, consensus programs and their processing (1993) (5)
Spatial Logic Programming (2006) (5)
Answer set programming with default logic (2004) (4)
Ranges of Strong Modal Nonmonotonic Logics (1990) (4)
All about Proofs, Proofs for All, 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 (2015) (4)
Compactness Properties for Stable Semantics of Logic Programs (2007) (4)
Automata and Answer Set Programming (2009) (4)
Characterizing Pawlak's Approximation Operators (2007) (4)
Collating time-series resource data for system-wide job profiling (2016) (4)
Constellation: A secure self-optimizing framework for genomic processing (2016) (4)
Pairwise comparisons matrix decomposition into approximation and orthogonal component using Lie theory (2021) (3)
Complexity of normal default logic and related modes of nonmonotonic reasoning (1995) (3)
Query Optimization in the Databases Distributed by Means of Product Equivalence Relations (1988) (3)
Creating Evolution Scenarios for Hybrid Systems (1996) (3)
Rough Sets and Approximation Schemes (2007) (3)
On the Continuity of Gelfond-Lifschitz Operator and Other Applications of Proof-Theory in ASP (2008) (3)
On the use of group theory to generalize elements of pairwise comparisons matrix: A cautionary note (2019) (3)
Rule Systems and Well-Orderings (1992) (3)
Observations concerning elementary extensions of ω-models. II (1973) (3)
Zdzisław Pawlak, Databases and Rough Sets (2013) (2)
Rough Sets and Knowledge Technology ( RSKT 2010 ) (2012) (2)
Automatic Generation of English-language Steps in Puzzle Solving (2004) (2)
Revision programming = logic programming + constraints (2006) (2)
On Some σ-Algebras Containing the Projective Sets I (1982) (2)
Preface: The logic programming paradigm: a 25-year perspective 1999 (1999) (2)
Guarded resolution for Answer Set Programming (2009) (2)
Effectively Reasoning about Infinite Sets in Answer Set Programming (2011) (2)
Rough Sets and Matroids (2014) (2)
Edge-enabled Distributed Network Measurement (2018) (2)
Introduction to propositional logic (2009) (2)
The complexity of recursive constraint satisfaction problems (2009) (2)
Proceedings of the 1994 International Symposium on Logic programming (1994) (2)
Generating Cellular Puzzles with Logic Programs (2006) (2)
Intelligent Computation of Presentation Documents (1997) (1)
No minimal transitive model of Z- (1975) (1)
Working with Zdzisław Pawlak - personal reminiscences (2016) (1)
Innnitary Default Logic for Speciication of Nonmonotonic Reasoning A (1996) (1)
Algorithmic properties of autarkies (2005) (1)
Complexity of some forms of nonmonotonic reasoning (1993) (1)
Complexity of computing with extended propositional logic programs (1995) (1)
Toward Intelligent Representation of Database Content (1996) (1)
On Transitive Models for Fragments of Set Theory (1973) (1)
Logic Programming and Effectively Closed Sets (2020) (1)
An Application of Proof-Theory in answer Set Programming (2009) (1)
Approximation Schemes in Logic and Artificial Intelligence (2008) (1)
Logic Programming with Innite Sets (2005) (1)
Review: Philippe Besnard, An Introduction to Default Logic (1998) (1)
Complete sets of functors (2009) (0)
A View of Revival of Mathematical Logic in Warsaw, 1945–1975 (2018) (0)
The Craig lemma (2009) (0)
Embedding SAT into integer programming and into matrix algebra (2009) (0)
In nitary Default Logic for Speci cation ofNonmonotonic (1996) (0)
Relations among nonmonotonic formalisms (1993) (0)
A Natural Semantics for Modal Logic Over Databases (1988) (0)
Executing Temporal Logic Programs by Ben Moszkowski (1986) (0)
Besnard Philippe. An introduction to default logic. Symbolic computation, artificial intelligence series. Springer-Verlag, Berlin etc. 1989, xi + 208 pp. (1998) (0)
Nonmonotonic Reasoning: Logical Foundations of Commonsense By Gerhard Brewka (Cambridge University Press, 1991) (1992) (0)
Coding runs of Turing machines, NP-completeness and related topics (2009) (0)
Answer Set Programming, by Vladimir Lifschitz, Springer NatureSwitzerland AG, ISBN 978-3-030-24657-0 (2020) (0)
Logical Constraints and Logic Programming (2006) (0)
Answer set programming, an extension of Horn logic (2009) (0)
An application of proof-theory in ASP (2007) (0)
Investigating Logical Properties of the Rule-Based Expert Systems Using Combinatorial and Geometrical Techniques I (1987) (0)
A General Logic-Based Authorization Model (2011) (0)
Algorithms for Maintaining (2006) (0)
Sets, lattices, and Boolean algebras (2009) (0)
Disjunctive Programs with Set Constraints (2012) (0)
Testing satisfiability, finding satisfying assignment (2009) (0)
Nonmonotonic Reasoning | Computational Perspective Lecture Notes for Esslli-97 (1997) (0)
Rough Sets - What Are They About? (1998) (0)
Index Sets for Finite Normal Predicate Logic Programs with Function Symbols (2013) (0)
First-Order Default Logic (2006) (0)
Clausal logic and resolution (2009) (0)
Explanatory Nonmonotonic Reasoning by Alexander Bochman, World Scientific, Hardback: ISBN 981-256-101-3, xiv + 408 pages (2007) (0)
Non-Classical Logics in Computer Science (Dagstuhl Seminar 9338) (2021) (0)
Mechanical Proof Systems for Logic II, Consensus Programs and Their Procedding (Extended Abstract) (1993) (0)
Algorithms for Maintaining Authorization (2007) (0)
Expert advisor for the QUAL2E water-quality model (1987) (0)
Normal forms of formulas (2009) (0)
Theory and Practice of Logic Programming (2015) (0)
General default theories (1993) (0)
San Diego Convention Center, San Diego, CA January 8–9, 2008 (2008) (0)
Computational knowledge representation with SAT ‚Äì handling constraint satisfaction (2009) (0)
Toward Automating the Discovery of Decreasing Measures (2005) (0)
Towards a Theory of Interestingness (2006) (0)
Normal Form Theorem for Logic Programs with Cardinality Constraints (2005) (0)
Computational knowledge representation with SAT ‚Äì getting started (2009) (0)
Complexity Issues in Nonmonotonic Logic and Logic Programming (Abstract) (1993) (0)
Normal default theories (1993) (0)
Algorithms for Maintaining Authorization Bases (1995) (0)
Nonmonotonic logic of pure necessitation and autoepistemic logics (1993) (0)
Rudiments of logic and set theory (1993) (0)
Topics in modal nonmonotonic logic (1993) (0)
Acknowledgement to Referees (2017) (0)
Aberystwyth University Rough feature selection for intelligent classifiers (2006) (0)
Introduction (1966) (0)
On the complexity of index sets for finite predicate logic programs which allow function symbols (2020) (0)
Polynomial cases of SAT (2009) (0)
Approximating Answer Sets of Unitary Lifschitz-Woo Programs (2005) (0)
Using group theory in pairwise comparisons: a brief critique (2019) (0)
Logic in Poland after 1945 (until 1975) (2015) (0)
Quo Vadis Answer Set Programming? (2008) (0)
Investigations of Logic of Introspection and Related Modes of Reasoning with Applications (1992) (0)
Extensions of Answer Set Programming (2011) (0)

This paper list is powered by the following services:

Other Resources About Victor W. Marek

en.wikipedia.org

What Schools Are Affiliated With Victor W. Marek?

Victor W. Marek is affiliated with the following schools:

Victor W. Marek's Academic­Influence.com Rankings

Victor W. Marek's Degrees

Why Is Victor W. Marek Influential?

Victor W. Marek's Published Works

Published Works

Other Resources About Victor W. Marek

What Schools Are Affiliated With Victor W. Marek?

Victor W. Marek's AcademicInfluence.com Rankings