Search results
From MaRDI portal
- knowledge base refinement 2000-02-23 Paper ReTAX: a step in the automation of taxonomic revision 1998-07-23 Paper Automatic Program Improvement: Variable Usage...10 bytes (18 words) - 15:03, 13 December 2023
- and Quantitative Approaches to Reasoning with Uncertainty 2006-06-23 Paper Logic Programming and Nonmonotonic Reasoning 2006-06-23 Paper Probabilistic...10 bytes (16 words) - 21:55, 11 December 2023
- programming and burden of proof in legal reasoning 2014-11-07 Paper Distributed Defeasible Speculative Reasoning in Ambient Environment 2012-09-21 Paper...10 bytes (16 words) - 11:12, 7 October 2023
- into transitive hereditarily finite sets 2015-07-02 Paper Layered map reasoning 2013-05-24 Paper https://portal.mardi4nfdi.de/entity/Q4913613 2013-04-08...10 bytes (19 words) - 16:28, 7 December 2023
- Semantically-guided goal-sensitive reasoning: decision procedures and the Koala prover 2023-06-14 Paper An application of automated equational reasoning to many-valued logic...10 bytes (19 words) - 15:52, 10 December 2023
- conceptual spaces: a data-driven approach to plausible reasoning 2015-12-09 Paper Enriching Taxonomies of Place Types Using Flickr 2014-03-31 Paper IFS-CoCo:...10 bytes (16 words) - 07:02, 7 October 2023
- inductive reasoning 2013-01-04 Paper Datalog and Its Extensions for Semantic Web Databases 2012-11-08 Paper On the Complexity of Ontological Reasoning under...10 bytes (17 words) - 05:40, 9 December 2023
- and extended 2024-01-11 Paper An Optimized KE-Tableau-Based System for Reasoning in the Description Logic $${\mathcal {DL}}_{{\mathbf {D}}}^{4,\!\times...10 bytes (17 words) - 00:41, 11 December 2023
- area method case 2023-06-14 Paper Trust evidence logic 2022-06-15 Paper Reasoning about ignorance and beliefs 2021-10-18 Paper Continuity of Motion in Whitehead’s...10 bytes (16 words) - 01:36, 25 September 2023
- Uncertainty measures for evidential reasoning. I: A review 1993-05-16 Paper Uncertainty measures for evidental reasoning. II: A new measure of total uncertainty...10 bytes (18 words) - 18:19, 9 December 2023
- closeness 2010-03-19 Paper Spatial reasoning in a fuzzy region connection calculus 2009-08-31 Paper Temporal reasoning about fuzzy intervals 2009-07-17 Paper...10 bytes (17 words) - 03:19, 25 September 2023
- Preferences on Multiattribute Domains: The Case of CP-nets 2010-12-14 Paper Reasoning under inconsistency: a forgetting-based approach 2010-09-02 Paper Preference...10 bytes (16 words) - 22:31, 24 September 2023
- de/entity/Q5145815 2021-01-21 Paper Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support 2020-11-16 Paper...10 bytes (23 words) - 21:22, 24 September 2023
- 2023-04-21 Paper Rough sets meet statistics -- a new view on rough set reasoning about numerical data 2022-11-09 Paper Distinguishing Vagueness from Ambiguity...10 bytes (17 words) - 15:34, 6 December 2023
- of linear algebra 2004-11-18 Paper A second-order system for polytime reasoning based on Grädel's theorem. 2003-11-25 Paper A Complete Axiomatization for...10 bytes (19 words) - 17:38, 12 December 2023
- DECISION MAKING 2009-08-10 Paper An Analysis of the Rule Weights and Fuzzy Reasoning Methods for Linguistic Rule Based Classification Systems Applied to Problems...10 bytes (17 words) - 21:47, 8 December 2023
- Pushdown Automata 2016-11-09 Paper A Classical Propositional Logic for Reasoning About Reversible Logic Circuits 2016-09-09 Paper On reversible Turing machines...10 bytes (17 words) - 03:16, 25 September 2023
- September 2004 zbMATH Keywords taxonomic reasoning Mathematics Subject Classification ID 68T30: Knowledge representation 68T37: Reasoning under uncertainty in the...15 bytes (35 words) - 02:19, 8 February 2024
- logic-based reasoning; natural language understanding project for German; order-sorted predicate logic; taxonomic information; taxonomic reasoning Mathematics...15 bytes (284 words) - 06:36, 31 January 2024
- and the local quality of a posteriori error estimators 1999-11-10 Paper Reasoning algebraically about loops 1999-11-09 Paper Two outfalls in an estuary:...10 bytes (15 words) - 13:11, 24 September 2023
