Publication | Date of Publication | Type |
---|
Postulate satisfaction for inconsistency measures in monotonic logics and databases | 2023-10-30 | Paper |
Measuring inconsistency in generalized propositional logic extended with nonunary operators | 2023-10-24 | Paper |
Semantic inconsistency measures using 3-valued logics | 2023-07-11 | Paper |
On measuring inconsistency in definite and indefinite databases with denial constraints | 2023-06-27 | Paper |
Measuring inconsistency in some logics with tense operators | 2022-10-10 | Paper |
https://portal.mardi4nfdi.de/entity/Q5869698 | 2022-09-28 | Paper |
General information spaces: measuring inconsistency, rationality postulates, and complexity | 2022-02-14 | Paper |
Measuring inconsistency in some branching time logics | 2021-10-15 | Paper |
Dimensional Inconsistency Measures and Postulates in Spatio-Temporal Databases | 2021-10-05 | Paper |
Measuring inconsistency in some logics with modal operators | 2021-08-19 | Paper |
https://portal.mardi4nfdi.de/entity/Q4999290 | 2021-07-06 | Paper |
Measuring inconsistency in a general information space | 2020-10-26 | Paper |
Measuring inconsistency in generalized propositional logic | 2020-09-10 | Paper |
Relative inconsistency measures | 2020-02-26 | Paper |
Classifying Inconsistency Measures Using Graphs | 2020-01-03 | Paper |
https://portal.mardi4nfdi.de/entity/Q5226730 | 2019-08-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5226740 | 2019-08-01 | Paper |
Collision and breakup of fractal particle agglomerates in a shear flow | 2019-01-21 | Paper |
Probabilistic spatio-temporal knowledge bases: capacity constraints, count queries, and consistency checking | 2018-09-21 | Paper |
A matrix contraction process | 2018-04-06 | Paper |
Analysing inconsistent information using distance-based measures | 2017-11-16 | Paper |
On repairing and querying inconsistent probabilistic spatio-temporal databases | 2017-10-04 | Paper |
Count queries in probabilistic spatio-temporal knowledge bases with capacity constraints | 2017-09-05 | Paper |
Advection-diffusion equation with absorbing boundary | 2017-03-03 | Paper |
Knowledge Representation in Probabilistic Spatio-Temporal Knowledge Bases | 2016-04-19 | Paper |
Using Shapley Inconsistency Values for Distributed Information Systems with Uncertainty | 2015-11-10 | Paper |
Manipulating games by sharing information | 2014-06-19 | Paper |
Distance-Based Measures of Inconsistency | 2013-08-05 | Paper |
Probabilistic logics for objects located in space and time | 2013-06-27 | Paper |
An Approach to Human-Level Commonsense Reasoning | 2013-04-02 | Paper |
https://portal.mardi4nfdi.de/entity/Q3012524 | 2011-07-06 | Paper |
Measuring Consistency Gain and Information Loss in Stepwise Inconsistency Resolution | 2011-06-29 | Paper |
Postulates for revising BDI structures | 2011-02-25 | Paper |
An AGM-style belief revision mechanism for probabilistic spatio-temporal logics | 2010-03-16 | Paper |
Active logic semantics for a single agent in a static world | 2009-07-17 | Paper |
Analysing inconsistent first-order knowledgebases | 2009-07-17 | Paper |
Aggregate operators in probabilistic databases | 2008-12-21 | Paper |
A logic-based model of intention formation and action for multi-agent subcontracting | 2007-10-23 | Paper |
Diffusion velocity for a three-dimensional vorticity field | 2006-09-12 | Paper |
PRL: a probabilistic relational language | 2006-05-29 | Paper |
https://portal.mardi4nfdi.de/entity/Q3046912 | 2004-08-12 | Paper |
A logic-based approach to data integration | 2004-03-01 | Paper |
Applications of paraconsistency in data and knowledge bases | 2001-02-22 | Paper |
Vorticity transport on a Lagrangian tetrahedral mesh | 2000-07-09 | Paper |
Inviscid interaction of vortex rings: approach to singularity? | 1999-10-21 | Paper |
A Lagrangian vorticity collocation method for viscous, axisymmetric flows with and without swirl | 1999-03-17 | Paper |
https://portal.mardi4nfdi.de/entity/Q4400806 | 1998-12-14 | Paper |
A method for determining the velocity induced by highly anisotropic vorticity blobs | 1997-06-29 | Paper |
Computation of incipient separation via solution of the vorticity equation on a lagrangian mesh | 1997-04-08 | Paper |
Model theoretic approach to view updates in deductive databases | 1997-01-27 | Paper |
Penetration of a blade into a vortex core: vorticity response and unsteady blade forces | 1996-09-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4852889 | 1995-10-25 | Paper |
Evolution and breakup of vortex rings in straining and shearing flows | 1995-10-05 | Paper |
View updates in stratified disjunctive databases | 1994-04-12 | Paper |
Extended database logic: Complex objects and deduction | 1990-01-01 | Paper |
Inferences for numerical dependencies | 1985-01-01 | Paper |
Normalization and axiomatization for numerical dependencies | 1985-01-01 | Paper |
On optimizing the evaluation of a set of expressions | 1982-01-01 | Paper |
On the family of generalized dependency constraints | 1982-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3908486 | 1980-01-01 | Paper |
Partial values in a tabular database model | 1979-01-01 | Paper |
Classifications for inconsistent theories | 1978-01-01 | Paper |
Null values in a relational data base | 1977-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4198723 | 1977-01-01 | Paper |
Corrigendum to my paper: Recognizable algebras of formulas | 1975-01-01 | Paper |
Inconsistent and Incomplete Logics | 1975-01-01 | Paper |
Corrections to: Automorphisms definable by formulas | 1974-01-01 | Paper |
Incomplete models | 1974-01-01 | Paper |
A Non-Truth-Functional 3-Valued Logic | 1974-01-01 | Paper |
Automorphisms definable by formulas | 1973-01-01 | Paper |
Recognizable algebras of formulas | 1972-01-01 | Paper |