Search results
From MaRDI portal
- reasoning in intelligent systems 1994-11-03 Paper Truth maintenance systems and their application for verifying expert system knowledge bases 1992-09-27...10 bytes (18 words) - 10:58, 12 December 2023
- dynamic modular logic languages 1997-02-27 Paper An assumption-based truth maintenance system dealing with non-ground justifications 1996-06-09 Paper Composing...10 bytes (16 words) - 15:06, 9 December 2023
- Publication Date of Publication Type Propositional truth maintenance systems: Classification and complexity analysis 1997-01-27 Paper https://portal.mardi4nfdi...10 bytes (16 words) - 23:43, 24 September 2023
- de/entity/Q3975143 1992-06-26 Paper A rational reconstruction of nonmonotonic truth maintenance systems 1990-01-01 Paper https://portal.mardi4nfdi.de/entity/Q3489479 1989-01-01...10 bytes (16 words) - 00:03, 25 September 2023
- dynamic modular logic languages 1997-02-27 Paper An assumption-based truth maintenance system dealing with non-ground justifications 1996-06-09 Paper Composing...10 bytes (16 words) - 09:44, 25 September 2023
- generalized Camassa-Holm equation 2020-04-15 Paper Group maintenance scheduling for two-component systems with failure interaction 2020-04-06 Paper Almost periodic...10 bytes (17 words) - 02:58, 11 December 2023
- Scheduling jobs under increasing linear machine maintenance time 2010-10-08 Paper A Kind of Center of Gravity Fuzzy System 2010-10-02 Paper On the definition of...10 bytes (17 words) - 16:29, 11 December 2023
- Online tracking of mobile users 1998-01-28 Paper The maintenance of common data in a distributed system 1998-01-22 Paper Local management of a global resource...10 bytes (17 words) - 05:40, 9 December 2023
- tools for digital archive and metadata maintenance 2011-05-04 Paper Decay estimation in nonlinear hyperbolic system of conservation laws 2011-03-08 Paper...10 bytes (17 words) - 21:58, 9 December 2023
- of Graph Polynomials Definable in Second Order Logic 2016-09-09 Paper Maintenance of Queries Under Database Changes: A Unified Logic Based Approach 2016-05-19...10 bytes (18 words) - 02:15, 10 December 2023
- Publication Date of Publication Type A Framework for Truth Maintenance in Multi-Agent Systems 2011-04-07 Paper...10 bytes (16 words) - 22:04, 27 December 2023
- Publication Date of Publication Type A Framework for Truth Maintenance in Multi-Agent Systems 2011-04-07 Paper...10 bytes (16 words) - 22:04, 27 December 2023
- tropical plane curves 2021-10-18 Paper A Framework for Truth Maintenance in Multi-Agent Systems 2011-04-07 Paper...10 bytes (16 words) - 23:16, 24 September 2023
- 2005-03-21 Paper Failure profiles of coherent systems 2005-01-11 Paper Imperfect repair models with preventive maintenance 2004-09-27 Paper On the Comparison of...10 bytes (17 words) - 16:52, 6 December 2023
- problem 2017-10-06 Paper Monotonicity as a tool for differentiating between truth and optimality in the aggregation of rankings 2017-09-15 Paper On the Construction...10 bytes (19 words) - 00:58, 9 December 2023
- for feature-based design and manufacture 1993-05-16 Paper Using a truth-maintenance system to assist product-model construction for design and process planning...10 bytes (15 words) - 10:20, 24 September 2023
- Incremental Cycle Detection, Topological Ordering, and Strong Component Maintenance 2014-09-09 Paper https://portal.mardi4nfdi.de/entity/Q5417725 2014-05-22...10 bytes (19 words) - 21:52, 9 December 2023
- approach for the study of chaotic linear infinite-dimensional systems. 2014-11-25 Paper System identification in the presence of outliers and random noises:...10 bytes (15 words) - 12:42, 7 October 2023
- QoS-aware clusters 2012-03-07 Paper Designing an effective P2P system for a VoD system to exploit the multicast communication 2012-03-07 Paper On the semimartingale...10 bytes (16 words) - 08:10, 7 October 2023
- overlay/rigid substrate system 2013-09-13 Paper A new method for Fourier series expansions: applications in rotor-seal systems 2013-09-13 Paper Suppression...10 bytes (16 words) - 12:14, 7 October 2023
