WorldCat Identities

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 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 Kleene-Mostowski and Davis-Mostowsi 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

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

Nonmonotonic logic : context-dependent 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
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
Logic programming and nonmonotonic reasoning : third international conference, LPNMR '95, Lexington, KY, USA, June 24-28, 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 cross-fertilization 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 non-monotonic 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 non-monotonic 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. Well-founded 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 26-28, 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 cross-fertilization 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
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

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

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

Logic programming and nonmonotonic reasoning : third International Conference, LPNMR '95, Lexington, KY, USA, June 26-28, 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 cross-fertilization 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

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

Handbook of recursive mathematics by I︠U︡. L Ershov( )

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 24-26, 1995 : proceedings by Wiktor Marek( Book )

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 26-28, 1995 Proceedings by Wiktor Marek( )

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

Normal form theorem for logic programs with cardinality constraints( )

1 edition published in 2005 in English and held by 17 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.44 (from 0.02 for Set based ... to 0.92 for Logic in A ...)

Logic programming and nonmonotonic reasoning : third international conference, LPNMR '95, Lexington, KY, USA, June 24-28, 1995 : proceedings Logic programming and nonmonotonic reasoning : third International Conference, LPNMR '95, Lexington, KY, USA, June 26-28, 1995 ; proceedings Logic programming and nonmonotonic reasoning : third international conference, LPNMR '95, Lexington, KY, USA, June 24-26, 1995 : proceedings
Covers
Set theory and hierarchy theory : a memorial tribute to Andrzej Mostowski : Bierotowice, Poland, 1975 : [proceedings]Elements of logic and foundations of mathematics in problemsNonmonotonic logic : context-dependent reasoningIntroduction to mathematics of satisfiabilityLogic programming and nonmonotonic reasoning : third international conference, LPNMR '95, Lexington, KY, USA, June 24-28, 1995 : proceedingsLogic programming and non-monotonic reasoning : proceedings of the first international workshopTransactions on Rough Sets VII Commemorating the Life and Work of Zdzisław Pawlak, Part IISet theory and hierarchy theory a memorial tribute to Andrzej Mostowski ; Bierutowice, Poland, 1975
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
English (190)

Polish (24)

German (7)