| Publication | Date of Publication | Type |
|---|
| On logical constraints in logic programming | 2022-08-30 | Paper |
| Pairwise comparisons matrix decomposition into approximation and orthogonal component using Lie theory | 2021-12-13 | Paper |
| Logic Programming and Effectively Closed Sets | 2021-06-15 | Paper |
| Pairwise Comparisons Matrix Decomposition into Approximation and Orthogonal Component Using Lie Theory | 2021-01-13 | Paper |
| On the complexity of index sets for finite predicate logic programs which allow function symbols | 2020-04-29 | Paper |
| Infinitary default logic for specification of nonmonotonic reasoning | 2019-10-08 | Paper |
| A View of Revival of Mathematical Logic in Warsaw, 1945–1975 | 2019-01-21 | Paper |
| Index Sets for Finite Normal Predicate Logic Programs with Function Symbols | 2017-07-21 | Paper |
| Logic programming revisited | 2017-06-13 | Paper |
| Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer | 2016-09-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3464628 | 2016-01-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3194805 | 2015-10-20 | Paper |
| Zdzisław Pawlak, Databases and Rough Sets | 2015-04-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5498680 | 2015-02-10 | Paper |
| Rough Sets and Matroids | 2014-03-25 | Paper |
| Andrzej Mostowski, 1913--1975 | 2014-01-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4906886 | 2013-02-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4906890 | 2013-02-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4906891 | 2013-02-28 | Paper |
| Disjunctive Programs with Set Constraints | 2012-07-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2894723 | 2012-06-30 | Paper |
| The complexity of recursive constraint satisfaction problems | 2011-08-26 | Paper |
| Guarded resolution for Answer Set Programming | 2011-08-17 | Paper |
| Effectively Reasoning about Infinite Sets in Answer Set Programming | 2011-05-19 | Paper |
| Introduction to Mathematics of Satisfiability | 2009-10-12 | Paper |
| Theory and Applications of Satisfiability Testing | 2009-07-24 | Paper |
| Set based logic programming | 2009-07-13 | Paper |
| Automata and Answer Set Programming | 2009-02-24 | Paper |
| Approximation Schemes in Logic and Artificial Intelligence | 2009-01-27 | Paper |
| Quo Vadis Answer Set Programming? | 2009-01-22 | Paper |
| On the Continuity of Gelfond-Lifschitz Operator and Other Applications of Proof-Theory in ASP | 2009-01-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3509160 | 2008-07-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3509184 | 2008-07-01 | Paper |
| Logic programs with monotone abstract constraint atoms | 2008-03-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5445168 | 2008-03-03 | Paper |
| Compactness Properties for Stable Semantics of Logic Programs | 2008-01-04 | Paper |
| Logic Programming and Nonmonotonic Reasoning | 2007-11-07 | Paper |
| Logic Programming and Nonmonotonic Reasoning | 2007-11-07 | Paper |
| Characterizing Pawlak’s Approximation Operators | 2007-09-03 | Paper |
| Toward automating the discovery of decreasing measures | 2007-01-30 | Paper |
| Logic Programming and Nonmonotonic Reasoning | 2006-06-23 | Paper |
| Logic programming with infinite sets | 2006-01-23 | Paper |
| Satisfiability and computing van der Waerden numbers | 2004-10-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4820816 | 2004-10-01 | Paper |
| On the expressibility of stable logic programming | 2004-08-19 | Paper |
| Ultimate approximation and its application in nonmonotonic knowledge representation systems | 2004-08-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4708945 | 2003-06-20 | Paper |
| Default logic and specification of nonmonotonic reasoning | 2003-04-07 | Paper |
| On the Expressibility of Stable Logic Programming | 2003-03-18 | Paper |
| Uniform semantic treatment of default and autoepistemic logics | 2003-01-22 | Paper |
| Computing with default logic | 2002-07-24 | Paper |
| Annotated revision programs | 2002-07-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4537433 | 2002-06-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2734934 | 2002-06-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4702577 | 2002-02-17 | Paper |
| Foundations of Mathematics in the Twentieth Century | 2002-01-22 | Paper |
| Nonmonotonic rule systems with recursive sets of restraints | 2000-06-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4955328 | 2000-05-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4934646 | 2000-03-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4379673 | 2000-03-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4939660 | 2000-02-06 | Paper |
| Logic programs, well-orderings, and forward chaining | 1999-06-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4237079 | 1999-03-29 | Paper |
| Revision programming | 1998-06-30 | Paper |
| Representation theory for default logic | 1998-01-21 | Paper |
| A theory of nonmonotonic rule systems I | 1997-12-14 | Paper |
| Modal logic for default reasoning | 1997-06-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4332416 | 1997-06-03 | Paper |
| A theory of nonmonotonic rule systems. II | 1997-05-13 | Paper |
| The expressiveness of locally stratified programs | 1997-02-03 | Paper |
| Complexity of computing with extended propositional logic programs | 1996-12-03 | Paper |
| The Stable Models of a Predicate Logic Program | 1995-02-06 | Paper |
| A context for belief revision: forward chaining-normal nonmonotonic rule systems | 1994-11-03 | Paper |
| Autoepistemic logic | 1994-08-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4282589 | 1994-04-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4282555 | 1994-03-17 | Paper |
| Modal nonmonotonic logics | 1994-01-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4273952 | 1993-12-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4202924 | 1993-09-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4028813 | 1993-03-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4022225 | 1993-01-17 | Paper |
| The relationship between stable, supported, default and autoepistemic semantics for general logic programs | 1993-01-16 | Paper |
| The Pure Logic of Necessitation | 1993-01-16 | Paper |
| How complicated is the set of stable models of a recursive logic program? | 1992-09-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3998125 | 1992-09-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4713941 | 1992-06-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3486549 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3826524 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3826525 | 1989-01-01 | Paper |
| A natural semantics for modal logic over databases | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3773875 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3795305 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3788010 | 1987-01-01 | Paper |
| Approximating sets with equivalence relations | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3812251 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4726243 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3686065 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3692902 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3707433 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3728894 | 1985-01-01 | Paper |
| A Filter on $\lbrack \lambda \rbrack^$ | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3336746 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4749245 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3329456 | 1983-01-01 | Paper |
| On Some σ‐Algebras Containing the Projective Sets I | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3657986 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3691632 | 1982-01-01 | Paper |
| On the number of models of the Kelley-Morse theory of classes | 1980-01-01 | Paper |
| Information systems: On queries involving cardinalities | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3206941 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3893888 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4156775 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4163536 | 1978-01-01 | Paper |
| ω-models of second order arithmetic and admissible sets | 1978-01-01 | Paper |
| Some comments on the paper by Artigue, Isambert, Perrin and Zalc | 1978-01-01 | Paper |
| Bibliography of Andrzej Mostowski's works | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3050426 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3206922 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3858258 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4136629 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4142723 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4189269 | 1977-01-01 | Paper |
| Information storage and retrieval systems: Mathematical foundations | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4082287 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4105784 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4107918 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4120119 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4133635 | 1976-01-01 | Paper |
| No minimal transitive model of Z− | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4076813 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4077477 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4077479 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4091888 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4106197 | 1975-01-01 | Paper |
| Gaps in the contructable universe | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4777287 | 1974-01-01 | Paper |
| Stable sets, a characterization of $β_2$-models of full second order arithmetic and some related facts | 1974-01-01 | Paper |
| Second order arithmetic and related topics | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4060386 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4089809 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4089810 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4111090 | 1974-01-01 | Paper |
| Observations concerning elementary extensions of ω-models. II | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5181691 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5183525 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5668479 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5672898 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5675718 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5676215 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5677483 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4091483 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4091484 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4091485 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4775842 | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5650393 | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5655358 | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5594596 | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5600857 | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5538941 | 1967-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5519151 | 1966-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5519153 | 1966-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5525362 | 1966-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5537412 | 1966-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5557921 | 1964-01-01 | Paper |
