Search results
From MaRDI portal
- Dynamic Epistemic Logic and Knowledge Puzzles 2009-03-06 Paper A Temporal Logic of Normative Systems 2009-02-05 Paper Dynamic epistemic logic 2008-11-07 Paper...10 bytes (19 words) - 11:12, 11 December 2023
- Computational Logic in Multi-Agent Systems 2005-11-23 Paper Computational Logic in Multi-Agent Systems 2005-11-23 Paper Computational Logic in Multi-Agent...10 bytes (18 words) - 00:52, 9 December 2023
- description logic programs in the semantic web 2015-09-17 Paper FDNC 2015-09-17 Paper Embedding nonground logic programs into autoepistemic logic for knowledge-base...10 bytes (15 words) - 11:36, 8 December 2023
- Elementary belief revision operators 2023-02-24 Paper On strengthening the logic of iterated belief revision: proper ordinal interval operators 2020-08-06...10 bytes (13 words) - 02:55, 7 October 2023
- Publication Date of Publication Type The logic of coherence 2023-03-31 Paper A general framework for probabilistic measures...10 bytes (13 words) - 01:55, 25 September 2023
- large-neighbourhood search for optimisation in answer-set programming 2025-01-17 Paper Contrastive explanations for answer-set programs 2024-05-29 Paper Stable-ordered models...10 bytes (13 words) - 09:11, 25 September 2023
- Publication Date of Publication Type NaCL: noise-robust cross-domain contrastive learning for unsupervised domain adaptation 2023-08-22 Paper Beyond confusion...10 bytes (13 words) - 13:24, 28 January 2024
- Publication Date of Publication Type Generating contrastive explanations for inductive logic programming based on a near miss approach 2022-08-10...10 bytes (13 words) - 11:12, 24 September 2023
- 2023-10-02 Paper A Logic-Based Explanation Generation Framework for Classical and Hybrid Planning Problems 2022-05-16 Paper Contrastive Explanations of Plans...10 bytes (13 words) - 02:29, 28 December 2023
- planning 2023-10-23 Paper Using state abstractions to compute personalized contrastive explanations for AI agent behavior 2021-12-13 Paper Applicability conditions...10 bytes (13 words) - 12:46, 7 October 2023
- Publication Date of Publication Type Generating contrastive explanations for inductive logic programming based on a near miss approach 2022-08-10...10 bytes (13 words) - 13:27, 28 January 2024
- for the multi-point dynamic aggregation problem 2024-11-12 Paper Deep contrastive principal component analysis adaptive to nonlinear data 2024-09-12 Paper...10 bytes (15 words) - 22:58, 10 December 2023
- Publication Date of Publication Type Generating contrastive explanations for inductive logic programming based on a near miss approach 2022-08-10...10 bytes (13 words) - 13:27, 28 January 2024
- tumors in imbalanced ultrasound images 2021-05-03 Paper A novel neutrosophic logic SVM (N-SVM) and its application to image categorization 2014-01-21 Paper...10 bytes (15 words) - 09:26, 6 October 2023
- answering procedure for fuzzy logic programming 2012-12-20 Paper On the existence and unicity of stable models in normal residuated logic programs 2012-05-15 Paper...10 bytes (15 words) - 08:32, 6 October 2023
- time transformations 2020-09-29 Paper C. I. Lewis on Intensional Predicate Logic: A Letter Dated May 11, 1960 2013-04-18 Paper https://portal.mardi4nfdi.de/entity/Q4452540...10 bytes (15 words) - 13:05, 6 October 2023
- Quantile Regression 2024-11-13 Paper Tree-Guided Rare Feature Selection and Logic Aggregation with Electronic Health Records Data 2024-11-01 Paper Efficient...10 bytes (13 words) - 22:45, 9 December 2023
- Processes 1987-01-01 Paper Modular Feedback Logic for Discrete Event Systems 1987-01-01 Paper Modular Feedback Logic for Discrete Event Systems 1987-01-01 Paper...10 bytes (16 words) - 09:11, 13 December 2023
- Probabilistic Forecasts by Weighted Coherent Adjustment 2018-10-24 Paper Modal logic for preference based on reasons 2018-10-18 Paper Probabilistic Coherence...10 bytes (15 words) - 16:55, 7 December 2023
- Paper Another paraconsistent algebraic semantics for Lukasiewicz-Pavelka logic 2015-06-24 Paper Strictly stable families of aggregation operators 2014-04-14...10 bytes (14 words) - 15:03, 10 December 2023
