Search results
From MaRDI portal
- Publication Type Algebraic Logic and Knowledge Bases 2021-12-10 Paper Logically automorphically equivalent knowledge bases models 2021-10-20 Paper Syntax versus...10 bytes (17 words) - 16:37, 10 December 2023
- next generation knowledge bases 2012-04-11 Paper DL-LINK: A CONCEPTUAL CLUSTERING ALGORITHM FOR INDEXING DESCRIPTION LOGICS KNOWLEDGE BASES 2011-07-14 Paper...10 bytes (17 words) - 20:04, 11 December 2023
- 2022-08-22 Paper Algebraic Logic and Knowledge Bases 2021-12-10 Paper Logically automorphically equivalent knowledge bases models 2021-10-20 Paper Geometric...10 bytes (18 words) - 16:37, 10 December 2023
- revising propositional rule-based knowledge bases 2008-05-07 Paper A programmable approach to revising knowledge bases 2007-02-20 Paper Algorithms for Computing...10 bytes (16 words) - 01:56, 13 December 2023
- answering DL-lite knowledge bases from hidden datasets 2021-06-25 Paper Assertional Removed Sets Merging of DL-Lite Knowledge Bases 2020-07-20 Paper Elect:...10 bytes (16 words) - 07:43, 9 December 2023
- of some special propositional knowledge bases 2003-12-09 Paper A programmable approach to maintenance of a finite knowledge base 2003-08-13 Paper...10 bytes (16 words) - 01:56, 13 December 2023
- Paper Measuring the blame of each formula for inconsistent prioritized knowledge bases 2012-06-20 Paper A framework for managing uncertain inputs: an axiomization...10 bytes (16 words) - 08:16, 9 December 2023
- conditional knowledge bases 2020-02-20 Paper Computation of closures of nonmonotonic inference relations induced by conditional knowledge bases 2020-02-20...10 bytes (16 words) - 12:21, 28 January 2024
- conditional knowledge bases respecting entailments and renamings 2020-10-26 Paper On the antecedent normal form of conditional knowledge bases 2020-02-20...10 bytes (16 words) - 18:05, 6 October 2023
- Normative Systems Represented as Hybrid Knowledge Bases 2011-09-16 Paper Splitting and updating hybrid knowledge bases 2011-08-16 Paper Back and Forth between...10 bytes (16 words) - 10:58, 24 September 2023
- answering DL-lite knowledge bases from hidden datasets 2021-06-25 Paper Assertional Removed Sets Merging of DL-Lite Knowledge Bases 2020-07-20 Paper $$\exists...10 bytes (16 words) - 18:05, 6 October 2023
- next generation knowledge bases 2012-04-11 Paper DL-LINK: A CONCEPTUAL CLUSTERING ALGORITHM FOR INDEXING DESCRIPTION LOGICS KNOWLEDGE BASES 2011-07-14 Paper...10 bytes (17 words) - 12:04, 7 October 2023
- Distributed Knowledge Bases using concurrent programming: Knowledge Hills 1999-04-26 Paper The RAM-Real-Time Problem in the case of Large Knowledge Bases 1994-08-02...10 bytes (18 words) - 01:46, 28 December 2023
- over Inconsistent DL-Lite Knowledge Bases 2019-03-18 Paper Inconsistency-Tolerant Querying of Description Logic Knowledge Bases 2017-03-30 Paper...10 bytes (16 words) - 17:31, 6 October 2023
- mardi4nfdi.de/entity/Q5747464 2014-02-17 Paper Symmetries of knowledge bases 2012-12-28 Paper Knowledge bases and automorphic equivalence of multi-models versus...10 bytes (16 words) - 13:49, 24 September 2023
- 2021-11-02 Paper Properties of skeptical c-inference for conditional knowledge bases and its realization as a constraint satisfaction problem 2018-09-21...10 bytes (16 words) - 09:32, 7 October 2023
- Horn Knowledge Bases 2016-05-26 Paper An Improved Depth-First Control Strategy for Query-Subquery Nets in Evaluating Queries to Horn Knowledge Bases 2015-10-14...10 bytes (18 words) - 17:29, 6 October 2023
- Normative Systems Represented as Hybrid Knowledge Bases 2011-09-16 Paper Splitting and updating hybrid knowledge bases 2011-08-16 Paper Back and Forth between...10 bytes (16 words) - 10:58, 24 September 2023
- Paper A goal-directed implementation of query answering for hybrid MKNF knowledge bases 2014-04-17 Paper External Transaction Logic with Automatic Compensations...10 bytes (18 words) - 10:53, 6 October 2023
- Reasoning about evolving nonmonotonic knowledge bases 2017-07-12 Paper Reasoning about Evolving Nonmonotonic Knowledge Bases 2011-05-06 Paper Using methods of...10 bytes (16 words) - 03:31, 7 October 2023