Search results
From MaRDI portal
- Heap-Construction Program 2012-10-31 Paper Evaluation of queries under closed-world assumption. II: The hierarchical case 2001-09-24 Paper https://portal.mardi4nfdi...10 bytes (18 words) - 14:57, 24 September 2023
- of Publication Type Saturation, nonmonotonic reasoning and the closed-world assumption 1985-01-01 Paper...10 bytes (16 words) - 01:38, 23 September 2023
- de/entity/Q3818294 1988-01-01 Paper Saturation, nonmonotonic reasoning and the closed-world assumption 1985-01-01 Paper...10 bytes (16 words) - 11:26, 6 October 2023
- Paper An algorithm for determining database consistency under the closed world assumption 1996-02-26 Paper Formalizing incomplete knowledge in incomplete...10 bytes (17 words) - 16:22, 10 December 2023
- 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...10 bytes (17 words) - 10:28, 24 September 2023
- Paper https://portal.mardi4nfdi.de/entity/Q4708648 2003-06-18 Paper Closed world assumption for disjunctive reasoning 2002-04-03 Paper An extension to GCWA...10 bytes (16 words) - 13:44, 7 October 2023
- and disjunctive logic programs 1992-06-26 Paper Weak generalized closed world assumption 1989-01-01 Paper https://portal.mardi4nfdi.de/entity/Q3493314 1989-01-01...10 bytes (17 words) - 10:28, 24 September 2023
- failure: a comparison of Clark's completed data base and Reiter's closed world assumption 1984-01-01 Paper Calvin C. Elgot (1922-1980) 1983-01-01 Paper Variants...10 bytes (19 words) - 00:10, 9 December 2023
- checking temporal integrity constraints 1996-06-10 Paper Generalized closed world assumption is \(\Pi ^ 0_ 2\)-complete 1990-01-01 Paper...10 bytes (16 words) - 04:09, 25 September 2023
- Paper https://portal.mardi4nfdi.de/entity/Q4539613 2002-07-10 Paper Closed world assumption for disjunctive reasoning 2002-04-03 Paper An extension to GCWA...10 bytes (16 words) - 13:44, 7 October 2023
- https://portal.mardi4nfdi.de/entity/Q5688898 1997-03-19 Paper Adding closed world assumptions to well-founded semantics 1994-11-29 Paper Non-monotonic reasoning...10 bytes (18 words) - 14:54, 24 September 2023
- Paper https://portal.mardi4nfdi.de/entity/Q4012234 1992-09-27 Paper Closed world assumptions having precedence in predicates 1990-01-01 Paper https://portal...10 bytes (16 words) - 17:49, 6 October 2023
- 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...10 bytes (17 words) - 03:04, 23 September 2023
- programming system for nonmonotonic reasoning 1995-08-27 Paper Adding closed world assumptions to well-founded semantics 1994-11-29 Paper Non-monotonic reasoning...10 bytes (19 words) - 14:35, 12 December 2023
- and PROLOG 1992-06-25 Paper Annotations on the consistency of the closed world assumption 1992-06-25 Paper https://portal.mardi4nfdi.de/entity/Q4729762 1989-01-01...10 bytes (17 words) - 22:49, 24 September 2023
- Paper The Paraconsistent Logics PJ 1992-06-26 Paper Generalized closed world assumption is \(\Pi ^ 0_ 2\)-complete 1990-01-01 Paper Protected completions...10 bytes (18 words) - 17:12, 24 September 2023
- programming system for nonmonotonic reasoning 1995-08-27 Paper Adding closed world assumptions to well-founded semantics 1994-11-29 Paper Non-monotonic reasoning...10 bytes (18 words) - 20:59, 11 December 2023
- occasion 2016-05-23 Paper On the integrated maximum likelihood estimators for a closed population capture–recapture model with unequal capture probabilities 2016-01-04...10 bytes (18 words) - 16:13, 10 December 2023
- mardi4nfdi.de/entity/Q4708929 2003-06-20 Paper Knowledge Compilation for Closed World Reasoning and Circumscription 2003-05-14 Paper Conditional independence...10 bytes (16 words) - 04:57, 9 December 2023
- public keys 2019-01-23 Paper From zoos to safaris -- from closed-world enforcement to open-world assessment of privacy 2018-10-17 Paper Quantifying information...10 bytes (17 words) - 11:15, 24 September 2023
