Marek, Wiktor
Overview
Works:  160 works in 442 publications in 3 languages and 4,569 library holdings 

Genres:  Conference papers and proceedings Bibliographies Biographies 
Roles:  Author, Editor, Contributor, Other, htt, Thesis advisor, Artist 
Classifications:  QA76.63, 511.3 
Publication Timeline
.
Most widely held works about
Wiktor Marek
 Logic in AI : a special issue dedicated to Victor W. Marek on the occasion of his 65th birthday( Book )
Most widely held works by
Wiktor Marek
Andrzej Mostowski and foundational studies by
Andrzej Ehrenfeucht(
)
15 editions published between 2008 and 2013 in English and held by 1,497 WorldCat member libraries worldwide
Andrzej Mostowski was one of the leading 20th century logicians. His legacy is examined in this volume of papers devoted both to his extraordinary scientific heritage and to the memory of him as a great researcher, teacher, organizer of science and human. Professor Mostowski pioneered and mastered many areas of mathematical logic. His contributions spanned set theory, recursion theory, and model theory  the backbone of foundations of mathematics. He is best known of the KleeneMostowski and DavisMostowsi hierarchies of properties of integers reflecting the complexity of their definitions, and of the very elegant concept of a generalized quantifier which inspired and keeps stimulating a stream of deep work on fundamental issues of logics, deduction and rasoning both in mathematics and in computer science, and also of the contributions and excellent lectures on undecidability, unprovability, consistency and independence of various statements in set theory and arithmetic following Gödel, Tarski and Cohen. he overall content of the volume is designed to cover the current main streams in the field. For many years after WWII, especially in the late sixties, till his untimely death in 1975, Warsaw  where he led the centre of foundational studies  was a placewhere many leading logicians visited, studied, and started their career. Their memories form an important part of this volume, attempting to bring back the extraordinary achievements and personality of Mostowski
15 editions published between 2008 and 2013 in English and held by 1,497 WorldCat member libraries worldwide
Andrzej Mostowski was one of the leading 20th century logicians. His legacy is examined in this volume of papers devoted both to his extraordinary scientific heritage and to the memory of him as a great researcher, teacher, organizer of science and human. Professor Mostowski pioneered and mastered many areas of mathematical logic. His contributions spanned set theory, recursion theory, and model theory  the backbone of foundations of mathematics. He is best known of the KleeneMostowski and DavisMostowsi hierarchies of properties of integers reflecting the complexity of their definitions, and of the very elegant concept of a generalized quantifier which inspired and keeps stimulating a stream of deep work on fundamental issues of logics, deduction and rasoning both in mathematics and in computer science, and also of the contributions and excellent lectures on undecidability, unprovability, consistency and independence of various statements in set theory and arithmetic following Gödel, Tarski and Cohen. he overall content of the volume is designed to cover the current main streams in the field. For many years after WWII, especially in the late sixties, till his untimely death in 1975, Warsaw  where he led the centre of foundational studies  was a placewhere many leading logicians visited, studied, and started their career. Their memories form an important part of this volume, attempting to bring back the extraordinary achievements and personality of Mostowski
Set theory and hierarchy theory : a memorial tribute to Andrzej Mostowski : Bierotowice, Poland, 1975 : [proceedings] by
Conference on Set Theory and Hierarchy Theory(
Book
)
20 editions published in 1976 in 3 languages and held by 531 WorldCat member libraries worldwide
20 editions published in 1976 in 3 languages and held by 531 WorldCat member libraries worldwide
Elements of logic and foundations of mathematics in problems by
Wiktor Marek(
Book
)
45 editions published between 1972 and 2012 in 3 languages and held by 370 WorldCat member libraries worldwide
45 editions published between 1972 and 2012 in 3 languages and held by 370 WorldCat member libraries worldwide
Nonmonotonic logic : contextdependent reasoning by
Wiktor Marek(
Book
)
14 editions published between 1993 and 2010 in English and German and held by 334 WorldCat member libraries worldwide
This monograph provides a thorough analysis of two important formalisms for nonmonotonic reasoning: default logic and modal nonmonotonic logics. It is also shown how they are related to each other and how they provide the formal foundations for logic programming. The discussion is rigorous, and all main results are formally proved. Many of the results are deep and surprising, some of them previously unpublished. The book has three parts, on default logic, modal nonmonotonic logics, and connections and complexity issues, respectively. The study of general default logic is followed by a discussion of normal default logic and its connections to the closed world assumption, and also a presentation of related aspects of logic programming. The general theory of the family of modal nonmonotonic logics introduced by McDermott and Doyle is followed by studies of autoepistemic logic, the logic of reflexive knowledge, and the logic of pure necessitation, and also a short discussion of algorithms for computing knowledge and belief sets. The third part explores connections between default logic and modal nonmonotonic logics and contains results on the complexity of nonmonotonic reasoning. The ideas are presented with an elegance and unity of perspective that set a new standard of scholarship for books in this area, and the work indicates that the field has reached a very high level of maturity and sophistication. The book is intended as a reference on default logic, nonmonotonic logics, and related computational issues, and is addressed to researchers, programmers, and graduate students in the Artificial Intelligence community
14 editions published between 1993 and 2010 in English and German and held by 334 WorldCat member libraries worldwide
This monograph provides a thorough analysis of two important formalisms for nonmonotonic reasoning: default logic and modal nonmonotonic logics. It is also shown how they are related to each other and how they provide the formal foundations for logic programming. The discussion is rigorous, and all main results are formally proved. Many of the results are deep and surprising, some of them previously unpublished. The book has three parts, on default logic, modal nonmonotonic logics, and connections and complexity issues, respectively. The study of general default logic is followed by a discussion of normal default logic and its connections to the closed world assumption, and also a presentation of related aspects of logic programming. The general theory of the family of modal nonmonotonic logics introduced by McDermott and Doyle is followed by studies of autoepistemic logic, the logic of reflexive knowledge, and the logic of pure necessitation, and also a short discussion of algorithms for computing knowledge and belief sets. The third part explores connections between default logic and modal nonmonotonic logics and contains results on the complexity of nonmonotonic reasoning. The ideas are presented with an elegance and unity of perspective that set a new standard of scholarship for books in this area, and the work indicates that the field has reached a very high level of maturity and sophistication. The book is intended as a reference on default logic, nonmonotonic logics, and related computational issues, and is addressed to researchers, programmers, and graduate students in the Artificial Intelligence community
Introduction to mathematics of satisfiability by
Wiktor Marek(
Book
)
21 editions published in 2009 in English and held by 301 WorldCat member libraries worldwide
This book focuses on the satisfiability of theories consisting of propositional logic formulas. It first deals with logic fundamentals, including the syntax of propositional logic, complete sets of functors, normal forms, the Craig lemma, and compactness. The book then examines clauses, their proof theory and semantics, and basic complexity issues of propositional logic. The final chapters on knowledge representation cover finite runs of Turing machines and encodings into SAT. The author also shows how constraint satisfaction systems can be worked out
21 editions published in 2009 in English and held by 301 WorldCat member libraries worldwide
This book focuses on the satisfiability of theories consisting of propositional logic formulas. It first deals with logic fundamentals, including the syntax of propositional logic, complete sets of functors, normal forms, the Craig lemma, and compactness. The book then examines clauses, their proof theory and semantics, and basic complexity issues of propositional logic. The final chapters on knowledge representation cover finite runs of Turing machines and encodings into SAT. The author also shows how constraint satisfaction systems can be worked out
Logic programming and nonmonotonic reasoning : third international conference, LPNMR '95, Lexington, KY, USA, June 2428,
1995 : proceedings by
Mirosław Truszczyński(
Book
)
11 editions published in 1995 in English and German and held by 272 WorldCat member libraries worldwide
This volume contains the revised refereed papers accepted for presentation at the Third International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR '95, held in Lexington, KY, USA in June 1995 under the sponsorship of the Association for Logic Programming. The LPNMR conferences bring together researchers from logic programming and the logical foundations of artificial intelligence in order to facilitate cooperation and crossfertilization of ideas. The 28 full papers presented define the state of the art in this interdisciplinary area of research, which has recently attracted much interest
11 editions published in 1995 in English and German and held by 272 WorldCat member libraries worldwide
This volume contains the revised refereed papers accepted for presentation at the Third International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR '95, held in Lexington, KY, USA in June 1995 under the sponsorship of the Association for Logic Programming. The LPNMR conferences bring together researchers from logic programming and the logical foundations of artificial intelligence in order to facilitate cooperation and crossfertilization of ideas. The 28 full papers presented define the state of the art in this interdisciplinary area of research, which has recently attracted much interest
Logic programming and nonmonotonic reasoning : proceedings of the first international workshop by
Luís Moniz Pereira(
Book
)
14 editions published between 1991 and 1993 in English and held by 231 WorldCat member libraries worldwide
This is the second in a series of workshops that are bringing together researchers from the theoretical end of both the logic programming and artificial intelligence communities to discuss their mutual interests. This workshop emphasizes the relationship between logic programming and nonmonotonic reasoning.Luis' Moniz Pereira is Professor in the Department of Computer Science at the Universidade Nova Lisboa, Portugal. Anil Nerode is Professor and Director of the Mathematical Sciences Institute at Cornell University.Topics include: Stable Semantics. Autoepistemic Logic. Abduction. Implementation Issues. Wellfounded Semantics. Truth Maintenance. Probabilistic Theories. Applications. Default Logic. Diagnosis. Complexity and Theory. Handling Inconsistency
14 editions published between 1991 and 1993 in English and held by 231 WorldCat member libraries worldwide
This is the second in a series of workshops that are bringing together researchers from the theoretical end of both the logic programming and artificial intelligence communities to discuss their mutual interests. This workshop emphasizes the relationship between logic programming and nonmonotonic reasoning.Luis' Moniz Pereira is Professor in the Department of Computer Science at the Universidade Nova Lisboa, Portugal. Anil Nerode is Professor and Director of the Mathematical Sciences Institute at Cornell University.Topics include: Stable Semantics. Autoepistemic Logic. Abduction. Implementation Issues. Wellfounded Semantics. Truth Maintenance. Probabilistic Theories. Applications. Default Logic. Diagnosis. Complexity and Theory. Handling Inconsistency
Logic Programming and Nonmonotonic Reasoning : Third International Conference, LPNMR '95 Lexington, KY, USA, June 2628, 1995
Proceedings by LPNMR '95(
)
1 edition published in 1995 in English and held by 113 WorldCat member libraries worldwide
This volume contains the revised refereed papers accepted for presentation at the Third International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR '95, held in Lexington, KY, USA in June 1995 under the sponsorship of the Association for Logic Programming. The LPNMR conferences bring together researchers from logic programming and the logical foundations of artificial intelligence in order to facilitate cooperation and crossfertilization of ideas. The 28 full papers presented define the state of the art in this interdisciplinary area of research, which has recently attracted much interest
1 edition published in 1995 in English and held by 113 WorldCat member libraries worldwide
This volume contains the revised refereed papers accepted for presentation at the Third International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR '95, held in Lexington, KY, USA in June 1995 under the sponsorship of the Association for Logic Programming. The LPNMR conferences bring together researchers from logic programming and the logical foundations of artificial intelligence in order to facilitate cooperation and crossfertilization of ideas. The 28 full papers presented define the state of the art in this interdisciplinary area of research, which has recently attracted much interest
Transactions on Rough Sets VII Commemorating the Life and Work of Zdzisław Pawlak, Part II by
James F Peters(
)
13 editions published between 2007 and 2008 in English and Undetermined and held by 89 WorldCat member libraries worldwide
Annotation
13 editions published between 2007 and 2008 in English and Undetermined and held by 89 WorldCat member libraries worldwide
Annotation
Set theory and hierarchy theory a memorial tribute to Andrzej Mostowski ; Bierutowice, Poland, 1975 by
Wiktor Marek(
Book
)
22 editions published between 1975 and 2006 in 3 languages and held by 82 WorldCat member libraries worldwide
22 editions published between 1975 and 2006 in 3 languages and held by 82 WorldCat member libraries worldwide
Set Theory and Hierarchy Theory A Memorial Tribute to Andrzej Mostowski : Bierutowice, Poland 1975 by
Wiktor Marek(
)
2 editions published in 1976 in English and held by 71 WorldCat member libraries worldwide
2 editions published in 1976 in English and held by 71 WorldCat member libraries worldwide
On the metamathematics of impredicative set theory by
Wiktor Marek(
Book
)
13 editions published in 1973 in English and Undetermined and held by 70 WorldCat member libraries worldwide
13 editions published in 1973 in English and Undetermined and held by 70 WorldCat member libraries worldwide
Logic programming and nonmonotonic reasoning : third International Conference, LPNMR '95, Lexington, KY, USA, June 2628,
1995 ; proceedings by
Wiktor Marek(
)
3 editions published in 1995 in English and held by 48 WorldCat member libraries worldwide
This volume contains the revised refereed papers accepted for presentation at the Third International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR '95, held in Lexington, KY, USA in June 1995 under the sponsorship of the Association for Logic Programming. The LPNMR conferences bring together researchers from logic programming and the logical foundations of artificial intelligence in order to facilitate cooperation and crossfertilization of ideas. The 28 full papers presented define the state of the art in this interdisciplinary area of research, which has recently attracted much interest
3 editions published in 1995 in English and held by 48 WorldCat member libraries worldwide
This volume contains the revised refereed papers accepted for presentation at the Third International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR '95, held in Lexington, KY, USA in June 1995 under the sponsorship of the Association for Logic Programming. The LPNMR conferences bring together researchers from logic programming and the logical foundations of artificial intelligence in order to facilitate cooperation and crossfertilization of ideas. The 28 full papers presented define the state of the art in this interdisciplinary area of research, which has recently attracted much interest
Spectrum of L by
Wiktor Marek(
Book
)
3 editions published in 1983 in English and held by 43 WorldCat member libraries worldwide
3 editions published in 1983 in English and held by 43 WorldCat member libraries worldwide
Some properties of stationary sets by
C. A Di Prisco(
Book
)
4 editions published in 1983 in English and held by 42 WorldCat member libraries worldwide
4 editions published in 1983 in English and held by 42 WorldCat member libraries worldwide
Handbook of recursive mathematics by
I︠U︡. L Ershov(
)
13 editions published in 1998 in English and held by 41 WorldCat member libraries worldwide
13 editions published in 1998 in English and held by 41 WorldCat member libraries worldwide
Logic programming and nonmonotonic reasoning : third international conference, LPNMR '95, Lexington, KY, USA, June 2426,
1995 : proceedings by
Wiktor Marek(
Book
)
9 editions published in 1995 in English and held by 33 WorldCat member libraries worldwide
Annotation
9 editions published in 1995 in English and held by 33 WorldCat member libraries worldwide
Annotation
Logic Programming and Nonmonotonic Reasoning : Third International Conference, LPNMR '95 Lexington, KY, USA, June 2628, 1995
Proceedings by
Wiktor Marek(
)
1 edition published in 1995 in English and held by 27 WorldCat member libraries worldwide
1 edition published in 1995 in English and held by 27 WorldCat member libraries worldwide
Set based logic programming(
)
1 edition published in 2005 in English and held by 17 WorldCat member libraries worldwide
1 edition published in 2005 in English and held by 17 WorldCat member libraries worldwide
Normal form theorem for logic programs with cardinality constraints(
)
1 edition published in 2005 in English and held by 17 WorldCat member libraries worldwide
1 edition published in 2005 in English and held by 17 WorldCat member libraries worldwide
more
fewer
Audience Level
0 

1  
Kids  General  Special 
Related Identities
 Srebrny, Marian 1947 Author Editor
 Mostowski, Andrzej Honoree
 Ehrenfeucht, Andrzej Author Editor
 Truszczyński, Mirosław Editor
 Nerode, Anil 1932 Other Author Editor
 Zarach, Andrzej 1948 Editor
 Mostowski, Andrzej Honoree Dedicatee
 Onyszkiewicz, Janusz
 Subrahmanian, V. S. Other Editor
 Association for Logic Programming Other
Useful Links
Associated Subjects
Artificial intelligence Computational complexity Computer logic Computer programming Computer science Computer scienceMathematics Computer vision Constructibility (Set theory) Database management Electronic data processing Logic, Symbolic and mathematical Logic design Logicians Logic programming Mathematical analysisFoundations Mathematicians Mathematics Metamathematics Model theory Mostowski, Andrzej Nonmonotonic reasoning Optoelectronics Pawlak, Zdzisław Poland Propositional calculus Reasoning Recursion theory Recursive functions Rough sets Set theory Software engineering
Covers
Alternative Names
Marek, V. 1943
Marek, V. W.
Marek, V. W. 1943
Marek, V. W. (V. Wiktor)
Marek, V. Wiktor.
Marek, V. Wiktor 1943
Marek, Victor 1943
Marek, Victor W.
Marek, Victor W. 1943
Marek, Viktor 1943
Marek, W.
Marek, W. 1943
Marek, Wictor.
Marek, Wiktor
Marek, Wiktor 1943
V. Wiktor Marek
Victor W. Marek mathématicien et informaticien polonais
Victor W. Marek Polish mathematician and computer scientist
Languages