| Publication | Date of Publication | Type |
|---|
Postulate satisfaction for inconsistency measures in monotonic logics and databases
Journal of Applied Non-Classical Logics | 2023-10-30 | Paper |
Measuring inconsistency in generalized propositional logic extended with nonunary operators
Logica Universalis | 2023-10-24 | Paper |
Semantic inconsistency measures using 3-valued logics
International Journal of Approximate Reasoning | 2023-07-11 | Paper |
On measuring inconsistency in definite and indefinite databases with denial constraints
Artificial Intelligence | 2023-06-27 | Paper |
Measuring inconsistency in some logics with tense operators
Notre Dame Journal of Formal Logic | 2022-10-10 | Paper |
| Measuring inconsistency in finitary first-order logic | 2022-09-28 | Paper |
General information spaces: measuring inconsistency, rationality postulates, and complexity
Annals of Mathematics and Artificial Intelligence | 2022-02-14 | Paper |
Measuring inconsistency in some branching time logics
Journal of Applied Non-Classical Logics | 2021-10-15 | Paper |
Dimensional inconsistency measures and postulates in spatio-temporal databases
Journal of Artificial Intelligence Research | 2021-10-05 | Paper |
Measuring inconsistency in some logics with modal operators
Studia Logica | 2021-08-19 | Paper |
| scientific article; zbMATH DE number 7368442 (Why is no real title available?) | 2021-07-06 | Paper |
| Measuring inconsistency in a general information space | 2020-10-26 | Paper |
Measuring inconsistency in generalized propositional logic
Logica Universalis | 2020-09-10 | Paper |
Relative inconsistency measures
Artificial Intelligence | 2020-02-26 | Paper |
Classifying Inconsistency Measures Using Graphs
Journal of Artificial Intelligence Research | 2020-01-03 | Paper |
| On measuring inconsistency in spatio-temporal databases | 2019-08-01 | Paper |
| scientific article; zbMATH DE number 7088147 (Why is no real title available?) | 2019-08-01 | Paper |
Collision and breakup of fractal particle agglomerates in a shear flow
Journal of Fluid Mechanics | 2019-01-21 | Paper |
Probabilistic spatio-temporal knowledge bases: capacity constraints, count queries, and consistency checking
International Journal of Approximate Reasoning | 2018-09-21 | Paper |
A matrix contraction process
Journal of Physics A: Mathematical and Theoretical | 2018-04-06 | Paper |
Analysing inconsistent information using distance-based measures
International Journal of Approximate Reasoning | 2017-11-16 | Paper |
On repairing and querying inconsistent probabilistic spatio-temporal databases
International Journal of Approximate Reasoning | 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
Journal of Statistical Physics | 2017-03-03 | Paper |
Knowledge representation in probabilistic spatio-temporal knowledge bases
The Journal of Artificial Intelligence Research (JAIR) | 2016-04-19 | Paper |
Using Shapley inconsistency values for distributed information systems with uncertainty
Lecture Notes in Computer Science | 2015-11-10 | Paper |
Manipulating games by sharing information
Studia Logica | 2014-06-19 | Paper |
Distance-based measures of inconsistency
Lecture Notes in Computer Science | 2013-08-05 | Paper |
Probabilistic logics for objects located in space and time
Journal Of Logic And Computation | 2013-06-27 | Paper |
An approach to human-level commonsense reasoning
Paraconsistency: Logic and Applications | 2013-04-02 | Paper |
| Formal approaches to teamwork | 2011-07-06 | Paper |
Measuring Consistency Gain and Information Loss in Stepwise Inconsistency Resolution
Lecture Notes in Computer Science | 2011-06-29 | Paper |
Postulates for revising BDI structures
Synthese | 2011-02-25 | Paper |
An AGM-style belief revision mechanism for probabilistic spatio-temporal logics
Artificial Intelligence | 2010-03-16 | Paper |
Analysing inconsistent first-order knowledgebases
Artificial Intelligence | 2009-07-17 | Paper |
Active logic semantics for a single agent in a static world
Artificial Intelligence | 2009-07-17 | Paper |
Aggregate operators in probabilistic databases
Journal of the ACM | 2008-12-21 | Paper |
A logic-based model of intention formation and action for multi-agent subcontracting
Artificial Intelligence | 2007-10-23 | Paper |
Diffusion velocity for a three-dimensional vorticity field
Theoretical and Computational Fluid Dynamics | 2006-09-12 | Paper |
PRL: a probabilistic relational language
Machine Learning | 2006-05-29 | Paper |
| scientific article; zbMATH DE number 2089480 (Why is no real title available?) | 2004-08-12 | Paper |
A logic-based approach to data integration
Theory and Practice of Logic Programming | 2004-03-01 | Paper |
Logical approach to capability-based rewriting in a mediator for web sources
Journal of Intelligent Information Systems | 2002-01-22 | Paper |
Applications of paraconsistency in data and knowledge bases
Synthese | 2001-02-22 | Paper |
Vorticity transport on a Lagrangian tetrahedral mesh
Journal of Computational Physics | 2000-07-09 | Paper |
Inviscid interaction of vortex rings: approach to singularity?
ESAIM: Proceedings | 1999-10-21 | Paper |
A Lagrangian vorticity collocation method for viscous, axisymmetric flows with and without swirl
Journal of Computational Physics | 1999-03-17 | Paper |
| scientific article; zbMATH DE number 1182734 (Why is no real title available?) | 1998-12-14 | Paper |
A method for determining the velocity induced by highly anisotropic vorticity blobs
Journal of Computational Physics | 1997-06-29 | Paper |
Computation of incipient separation via solution of the vorticity equation on a lagrangian mesh
ESAIM: Proceedings | 1997-04-08 | Paper |
Model theoretic approach to view updates in deductive databases
Journal of Automated Reasoning | 1997-01-27 | Paper |
Penetration of a blade into a vortex core: vorticity response and unsteady blade forces
Journal of Fluid Mechanics | 1996-09-01 | Paper |
| scientific article; zbMATH DE number 809138 (Why is no real title available?) | 1995-10-25 | Paper |
Evolution and breakup of vortex rings in straining and shearing flows
Journal of Fluid Mechanics | 1995-10-05 | Paper |
View updates in stratified disjunctive databases
Journal of Automated Reasoning | 1994-04-12 | Paper |
Extended database logic: Complex objects and deduction
Information Sciences | 1990-01-01 | Paper |
Inferences for numerical dependencies
Theoretical Computer Science | 1985-01-01 | Paper |
Normalization and axiomatization for numerical dependencies
Information and Control | 1985-01-01 | Paper |
On the family of generalized dependency constraints
Journal of the ACM | 1982-01-01 | Paper |
On optimizing the evaluation of a set of expressions
International Journal of Computer & Information Sciences | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3718572 (Why is no real title available?) | 1980-01-01 | Paper |
Partial values in a tabular database model
Information Processing Letters | 1979-01-01 | Paper |
Classifications for inconsistent theories
Notre Dame Journal of Formal Logic | 1978-01-01 | Paper |
Null values in a relational data base
Information Processing Letters | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3637814 (Why is no real title available?) | 1977-01-01 | Paper |
| Inconsistent and Incomplete Logics | 1975-01-01 | Paper |
Corrigendum to my paper: Recognizable algebras of formulas
Notre Dame Journal of Formal Logic | 1975-01-01 | Paper |
Corrections to: Automorphisms definable by formulas
Pacific Journal of Mathematics | 1974-01-01 | Paper |
Incomplete models
Notre Dame Journal of Formal Logic | 1974-01-01 | Paper |
| A Non-Truth-Functional 3-Valued Logic | 1974-01-01 | Paper |
Automorphisms definable by formulas
Pacific Journal of Mathematics | 1973-01-01 | Paper |
Recognizable algebras of formulas
Notre Dame Journal of Formal Logic | 1972-01-01 | Paper |
