Search results
From MaRDI portal
- pseudo-contractions 2019-02-20 Paper AGM-like paraconsistent belief change 2019-01-08 Paper Minimal change: relevance and recovery revisited 2015-08-27 Paper Contracting...10 bytes (18 words) - 02:57, 12 December 2023
- the algebra of regular sets 2012-12-28 Paper The Distributed Ontology Language (DOL): Ontology Integration and Interoperability Applied to Mathematical Formalization...10 bytes (17 words) - 06:37, 13 December 2023
- of belief change 2018-04-12 Paper https://portal.mardi4nfdi.de/entity/Q3624076 2009-04-28 Paper A Cooperative Approach for Composite Ontology Mapping 2008-03-06...10 bytes (20 words) - 19:22, 13 December 2023
- and the direction of time 2018-10-31 Paper Adversus singularitates: the ontology of space-time singularities 2018-08-07 Paper Gravitational energy and radiation...10 bytes (18 words) - 23:21, 10 December 2023
- Paper Introducing Role Defeasibility in Description Logics 2016-11-30 Paper Ontology Learning from Interpretations in Lightweight Description Logics 2016-10-19...10 bytes (16 words) - 02:55, 13 December 2023
- base revision through Argument Theory Change 2012-08-01 Paper Prioritized and non-prioritized multiple change on belief bases 2012-05-23 Paper On Influence...10 bytes (18 words) - 12:17, 6 October 2023
- Paper Generalized change and the meaning of rationality postulates 2003-05-06 Paper Approximate belief revision 2002-09-18 Paper Local change 2002-06-24 Paper...10 bytes (17 words) - 02:05, 7 October 2023
- contexts through credibility accrual 2022-04-14 Paper Multi-source multiple change on belief bases 2019-12-30 Paper Belief base contraction by belief accrual...10 bytes (20 words) - 18:04, 24 September 2023
- Publication Date of Publication Type Context Dependency Management in Ontology Engineering: A Formal Approach 2007-11-29 Paper https://portal.mardi4nfdi...10 bytes (18 words) - 23:03, 24 September 2023
- Paper Optimal Nonparametric Multivariate Change Point Detection and Localization 2022-05-30 Paper Localising change points in piecewise polynomials of general...10 bytes (16 words) - 06:14, 7 October 2023
- extrapolation (or how to reason about observations and unpredicted change) 2011-06-17 Paper Change in Abstract Argumentation Frameworks: Adding an Argument 2010-05-31...10 bytes (22 words) - 05:34, 7 October 2023
- annotation in critical applications 2021-11-02 Paper Belief revision, minimal change and relaxation: A general framework based on satisfaction systems, and applications...10 bytes (16 words) - 19:34, 24 September 2023
- Publication Date of Publication Type Branching Time Axiomatized With the Use of Change Operators 2024-02-20 Paper A Leibnizian Logic of Possible Laws 2023-07-03...10 bytes (16 words) - 10:25, 25 September 2023
- Paper RETRACTED ARTICLE: Uncertainty modeling based on Bayesian network in ontology mapping 2007-06-08 Paper Existence and multiplicity of solutions to \(2m\)th-order...10 bytes (16 words) - 09:40, 9 December 2023
- Publication Type The SMGloM Project and System: Towards a Terminology and Ontology for Mathematics 2016-09-28 Paper Interoperability in the OpenDreamKit Project:...10 bytes (17 words) - 13:55, 24 September 2023
- Paper Process mining with token carried data 2018-05-22 Paper Modeling ontology evolution with SetPi 2015-09-25 Paper Reengineering websites into stateful...10 bytes (16 words) - 10:01, 6 October 2023
- pluralism and heterogeneous structuring in ontology design 2013-01-25 Paper The Distributed Ontology Language (DOL): Ontology Integration and Interoperability Applied...10 bytes (16 words) - 12:42, 7 October 2023
- Managing Change in Graph-Structured Data Using Description Logics 2018-03-22 Paper https://portal.mardi4nfdi.de/entity/Q5276195 2017-07-14 Paper Ontology-Mediated...10 bytes (16 words) - 10:29, 6 October 2023
- de/entity/Q5100772 2022-09-01 Paper The mathematical descriptions of truth and change 2022-07-05 Paper On Hilbert's Sixth Problem 2021-09-14 Paper https://portal...10 bytes (23 words) - 15:18, 11 December 2023
- Fragments of First-Order Logic 2019-02-12 Paper Syntax-Preserving Belief Change Operators for Logic Programs 2018-08-10 Paper A distance-based framework...10 bytes (16 words) - 13:44, 7 October 2023
