| Publication | Date of Publication | Type |
|---|
| Digital Simulation of Complex Traffic Problems in Communications Systems | 2019-06-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4619828 | 2019-02-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4906892 | 2013-02-28 | Paper |
| To Vladimir Lifschitz on His 65th Birthday | 2012-07-23 | Paper |
| Homage to Michael Gelfond on His 65 th Birthday | 2011-05-19 | Paper |
| In Memoriam: RAYMOND REITER June 12, 1939 – September 16, 2002 | 2004-03-01 | Paper |
| A logic-based approach to data integration | 2004-03-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4707748 | 2003-06-11 | Paper |
| Optimization of Boolean Expressions-Historical Developments | 2002-11-25 | Paper |
| Eulogy: Walter W. Jacobs, 1914-1982 | 2002-11-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2734929 | 2001-08-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4934653 | 2000-04-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4940935 | 2000-02-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4400806 | 1998-12-14 | Paper |
| Logic knowledge bases with two default rules | 1998-10-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4379675 | 1998-07-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4391449 | 1998-06-03 | Paper |
| Model generation and state generation for disjunctive logic programs | 1997-09-04 | Paper |
| On stratified disjunctive programs | 1997-06-04 | Paper |
| Generalized disjunctive well-founded semantics for logic programs. | 1997-05-13 | Paper |
| Disjunctive \(LP+\) integrity constraints = stable model semantics. | 1997-05-12 | Paper |
| Bottom-up computation of perfect models for disjunctive theories | 1997-04-16 | Paper |
| Model theoretic approach to view updates in deductive databases | 1997-01-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4891885 | 1996-11-20 | Paper |
| Theory and algorithms for disjunctive deductive databases | 1995-11-05 | Paper |
| Ordered model trees: A normal form for disjunctive deductive databases | 1995-02-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4296303 | 1994-06-19 | Paper |
| View updates in stratified disjunctive databases | 1994-04-12 | Paper |
| An overview of nonmonotonic reasoning and logic programming | 1994-03-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4016556 | 1993-01-16 | Paper |
| Semantics of Horn and disjunctive logic programs | 1992-06-26 | Paper |
| A fixpoint semantics for disjunctive logic programs | 1990-01-01 | Paper |
| Weak generalized closed world assumption | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3493314 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3477931 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3820058 | 1988-01-01 | Paper |
| Completeness results for circumscription | 1986-01-01 | Paper |
| Inferences for numerical dependencies | 1985-01-01 | Paper |
| Computing protected circumscription | 1985-01-01 | Paper |
| Normalization and axiomatization for numerical dependencies | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3340205 | 1984-01-01 | Paper |
| On recursive axioms in deductive databases | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3692901 | 1983-01-01 | Paper |
| An extension to linear resolution with selection function | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3939270 | 1982-01-01 | Paper |
| On optimizing the evaluation of a set of expressions | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3914961 | 1980-01-01 | Paper |
| Binary relations, matrices and inference developments | 1978-01-01 | Paper |
| A note on answer extraction in resolution-based systems | 1977-01-01 | Paper |
| Resolution, Refinements, and Search Strategies: A Comparative Study | 1976-01-01 | Paper |
| \(\Pi\)-representation: A clause representation for parallel search | 1975-01-01 | Paper |
| State-space problem-reduction, and theorem proving—some relationships | 1975-01-01 | Paper |
| The Earley algorithm as a problem representation | 1974-01-01 | Paper |
| MRPPS?An interactive refutation proof procedure system for question-answering | 1974-01-01 | Paper |
| Representations of the language recognition problem for a theorem prover | 1974-01-01 | Paper |
| The \(Q^*\) algorithm - a search strategy for a deductive question-answering system | 1973-01-01 | Paper |
| Storage Requirements for Information Handling Centers | 1970-01-01 | Paper |
| An Analysis of Some Graph Theoretical Cluster Techniques | 1970-01-01 | Paper |
| Extremal Interpolatory Problems in the Unit Disc | 1960-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3248137 | 1958-01-01 | Paper |
