| Publication | Date of Publication | Type |
|---|
| Loop checking and the well-founded semantics | 2022-08-30 | Paper |
| Update by means of inference rules | 2022-08-30 | Paper |
| Two simple characterizations of well-founded semantics | 2022-08-18 | Paper |
| Strong and explicit negation in non-monotonic reasoning and logic programming | 2019-10-08 | Paper |
| Super logic programs | 2017-07-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2844914 | 2013-08-20 | Paper |
| Computation of the semantics of autoepistemic belief theories | 2002-07-24 | Paper |
| LUPS -- A language for updating logic programs | 2002-07-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4537450 | 2002-06-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2753775 | 2001-12-04 | Paper |
| On the equivalence of the static and disjunctive well-founded semantics and its computation | 2001-08-20 | Paper |
| Reasoning with knowledge and belief | 2001-04-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4955336 | 2000-05-25 | Paper |
| Autoepistemic logic of knowledge and beliefs | 1998-06-30 | Paper |
| `Classical' negation in nonmonotonic reasoning and logic programming | 1998-06-02 | Paper |
| Update by means of inference rules | 1997-12-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4332412 | 1997-04-21 | Paper |
| Static semantics for normal and disjunctive logic programs | 1997-01-27 | Paper |
| Well-founded and stationary models of logic programs | 1996-10-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4298363 | 1994-07-26 | Paper |
| Three-valued nonmonotonic formalisms and semantics of logic programs | 1992-06-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3983045 | 1992-06-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3972030 | 1992-06-25 | Paper |
| On the relationship between CWA, minimal model, and minimal herbrand model semantics | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3477997 | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3484349 | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3486858 | 1990-01-01 | Paper |
| On the relationship between circumscription and negation as failure | 1989-01-01 | Paper |
| An algorithm to compute circumscription | 1989-01-01 | Paper |
| On the declarative and procedural semantics of logic programs | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3348437 | 1988-01-01 | Paper |
| Reflexive algebras and sigma algebras | 1986-01-01 | Paper |
| A solution to a problem of E. Michael | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5185672 | 1984-01-01 | Paper |
| There is no compactification theorem for the small inductive dimension | 1982-01-01 | Paper |
| Extending functions from products with a metric factor and absolutes | 1982-01-01 | Paper |
| Perfectly Normal Compact Spaces are Continuous Images of βN \N | 1982-01-01 | Paper |
| On Martin's axiom and perfect spaces | 1981-01-01 | Paper |
| Normality and paracompactness of Pixley-Roy hyperspaces | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3874924 | 1980-01-01 | Paper |
| Normality and paracompactness in finite and countable Cartesian products | 1980-01-01 | Paper |
| Products of perfectly normal spaces | 1980-01-01 | Paper |
| Collectionwise normality and extensions of locally finite coverings | 1980-01-01 | Paper |
| The Existence of Q-Sets is Equivalent to the Existence of Strong Q-Sets | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3897681 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3951224 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3951234 | 1980-01-01 | Paper |
| Separable extensions of first countable spaces | 1980-01-01 | Paper |
| First countable and countable spaces all compactifications of which contain βN | 1979-01-01 | Paper |
| Continuous extenders in normal and collectionwise normal spaces | 1979-01-01 | Paper |
| On the Dimension of Product Spaces and an Example of M. Wage | 1979-01-01 | Paper |
| On the Notion of n-Cardinality | 1978-01-01 | Paper |
| Collectionwise normality and extensions of continuous functions | 1978-01-01 | Paper |
| On locally finite coverings | 1978-01-01 | Paper |
| Collectionwise normality and absolute retracts | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4197703 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4164030 | 1977-01-01 | Paper |
| Some Extensions of the Tietze-Urysohn Theorem | 1977-01-01 | Paper |
| Normality and Martin's axiom | 1976-01-01 | Paper |
| Normality and paracompactness in subsets of product spaces | 1976-01-01 | Paper |
| Collectionwise Hausdorff property in product spaces | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4172620 | 1976-01-01 | Paper |
| A note on collectionwise normality and product spaces | 1975-01-01 | Paper |
| The undecidability of the existence of a non-separable normal Moore space satisfying the countable chain condition | 1974-01-01 | Paper |
| A note on dimension theory of metric spaces | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4776586 | 1974-01-01 | Paper |
| Inverse invariance of metrizability for ordered spaces | 1973-01-01 | Paper |
| On σ-discrete coverings consisting of connected sets | 1973-01-01 | Paper |
| A Lindelöf space X such that $X^2$ is normal but not paracompact | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5631747 | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5636023 | 1972-01-01 | Paper |
| Metrizability of inverse images of metric spaces under open perfect and 0-dimensional mappings | 1972-01-01 | Paper |
