CRIB: A method for integrity constraint checking on knowledge bases
Fuente:
Redalyc
Saved in:
| Main Author: | Jaime Ramírez |
|---|---|
| Format: | Artículo científico |
| Language: | en |
| Published: |
Instituto Politécnico Nacional
2005
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Consistencia en la indización de documentos entre indizadores noveles
by: Isidoro Gil Leiva
Published: (2002)
by: Isidoro Gil Leiva
Published: (2002)
Replication Package for "UnCertaGator: Propagation of Uncertainty Information in Development Processes Using Consistency Automation"
by: Hagel, Nathan, et al.
Published: (2026)
by: Hagel, Nathan, et al.
Published: (2026)
Black-Box Testing Technique for Information Visualization. Sequencing Constraints with Low-Level Interactions
by: Martín L. Larrea
Published: (2017)
by: Martín L. Larrea
Published: (2017)
A framework for consistences in association relations between classes in UML
by: Javier Dario Fernández-Ledesma
Published: (2014)
by: Javier Dario Fernández-Ledesma
Published: (2014)
Kant's dynamic metaphysics: kant's theory of judgment and the nature of the theoretical knowledge of consistency in empirical reasoning
by: Lucas Ribeiro Vollet
Published: (2023)
by: Lucas Ribeiro Vollet
Published: (2023)
BETWEEN MOTIVATION AND DISCIPLINE: THE REAL REASONS PEOPLE STRUGGLE TO STAY FIT
by: ISOGON, ERVIN L.
Published: (2025)
by: ISOGON, ERVIN L.
Published: (2025)
Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design – FMCAD 2023
Published: (2023)
Published: (2023)
CBCSS, An Innovation In University Education: A Study From The Perspective Of College Teachers Of Mahatma Gandhi University In Kerala
by: Kevin Thomas Chacko
Published: (2016)
by: Kevin Thomas Chacko
Published: (2016)
Behavioral variability and consistency: Experimental bases for a psychological theory of personality
by: José Santacreu Mas
Published: (2013)
by: José Santacreu Mas
Published: (2013)
An update on combinatorial method for aggregation of expert judgments in AHP
by: Sergii Kadenko
Published: (2021)
by: Sergii Kadenko
Published: (2021)
Consistency game: a didactic strategy for software engineering
by: Carlos Mario Zapata Jaramillo
Published: (2008)
by: Carlos Mario Zapata Jaramillo
Published: (2008)
TOWARD INTEGRATION OF KNOWLEDGE BASED SYSTEMS AND KNOWLEDGE DISCOVERY SYSTEMS
by: C. Rancan
Published: (2007)
by: C. Rancan
Published: (2007)
The use of multiple evidence base methods to enrich climate change research and knowledge in the Arctic.
by: Heatta, Máret J, et al.
Published: (2025)
by: Heatta, Máret J, et al.
Published: (2025)
AI based SystemVerilog TB generation
by: Bhavin Shah
Published: (2017)
by: Bhavin Shah
Published: (2017)
Investigating fault injection techniques in hardware‐based deep neural networks and mutation‐based fault localization
by: Yves Le Traon, et al.
Published: (2024)
by: Yves Le Traon, et al.
Published: (2024)
MUPPAAL: Efficient Elimination and Reduction of Useless Mutants in Real‐Time Model‐Based Systems
by: Jaime Cuartas, et al.
Published: (2024)
by: Jaime Cuartas, et al.
Published: (2024)
MetaSem: metamorphic testing based on semantic information of autonomous driving scenes
by: Zhen Yang, et al.
Published: (2024)
by: Zhen Yang, et al.
Published: (2024)
Delta4Ms: Improving mutation‐based fault localization by eliminating mutant bias
by: Hengyuan Liu, et al.
Published: (2024)
by: Hengyuan Liu, et al.
Published: (2024)
SafeNet: Towards mitigating replaceable unsafe Rust code via a recommendation‐based approach
by: Yan Dong, et al.
Published: (2024)
by: Yan Dong, et al.
Published: (2024)
ROLE OF ENTERPRISE ARCHITECTURE IN HEALTHCARE ORGANIZATIONS AND KNOWLEDGE-BASED MEDICAL DIAGNOSIS SYSTEM
by: Muhammad Sajid
Published: (2016)
by: Muhammad Sajid
Published: (2016)
A Systematic Exploration of Mutation‐Based Fault Localization Formulae
by: Bo Wang, et al.
Published: (2024)
by: Bo Wang, et al.
Published: (2024)
Enhancing Mutation Testing Efficiency: A Comparative Study of Machine Learning Models for Equivalent Mutant Identification
by: Terrence Pugh, et al.
Published: (2025)
by: Terrence Pugh, et al.
Published: (2025)
GρπF: Graphical ρπ Framework
by: Cailler, Julie, et al.
Published: (2026)
by: Cailler, Julie, et al.
Published: (2026)
HGA: Heuristic Black‐Box Test Case Generation for NLP Intelligent Software
by: Mingxuan Xiao, et al.
Published: (2026)
by: Mingxuan Xiao, et al.
Published: (2026)
Issue Information
Published: (2024)
Published: (2024)
DNN Testing, Regression Testing and Software Reliability Prediction
by: Yves Le Traon, et al.
Published: (2024)
by: Yves Le Traon, et al.
Published: (2024)
Boosting Multimode Ruling in DHR Architecture With Metamorphic Relations
by: Ruosi Li, et al.
Published: (2024)
by: Ruosi Li, et al.
Published: (2024)
PSC‐SBFL: Combining PSC With SBFL to Improve Software Fault Localization
by: Zhonghao Guo, et al.
Published: (2025)
by: Zhonghao Guo, et al.
Published: (2025)
Configuration Testing of an Artificial Pancreas System Using a Digital Twin: An Evaluative Case Study
by: Richard Somers, et al.
Published: (2025)
by: Richard Somers, et al.
Published: (2025)
Search‐Based MC/DC Test Data Generation With OCL Constraints
by: Hassan Sartaj, et al.
Published: (2024)
by: Hassan Sartaj, et al.
Published: (2024)
Tempus: An Evolutionary Mutation Testing System on Event‐Based Systems With Profile‐Based Individual Generation
by: Lorena Gutiérrez‐Madroñal, et al.
Published: (2025)
by: Lorena Gutiérrez‐Madroñal, et al.
Published: (2025)
Issue Information
Published: (2024)
Published: (2024)
Fault tolerance and metamorphic relation prediction
by: Yves Le Traon, et al.
Published: (2024)
by: Yves Le Traon, et al.
Published: (2024)
MG+: Towards Efficient Context Inconsistency Detection by Minimized Link Generation
by: Chuyang Chen, et al.
Published: (2024)
by: Chuyang Chen, et al.
Published: (2024)
Issue Information
Published: (2024)
Published: (2024)
Issue Information
Published: (2024)
Published: (2024)
Mutation‐Guided Metamorphic Testing of Optimality in AI Planning
by: Quentin Mazouni, et al.
Published: (2024)
by: Quentin Mazouni, et al.
Published: (2024)
Scenario‐Driven Metamorphic Testing for Autonomous Driving Simulators
by: Yifan Zhang, et al.
Published: (2024)
by: Yifan Zhang, et al.
Published: (2024)
An Approach of Structure‐Enhanced Code‐Centric Graph Learning for Just‐in‐Time Software Vulnerability Detection
by: Phu Pham, et al.
Published: (2026)
by: Phu Pham, et al.
Published: (2026)
Issue Information
Published: (2026)
Published: (2026)
Similar Items
-
Consistencia en la indización de documentos entre indizadores noveles
by: Isidoro Gil Leiva
Published: (2002) -
Replication Package for "UnCertaGator: Propagation of Uncertainty Information in Development Processes Using Consistency Automation"
by: Hagel, Nathan, et al.
Published: (2026) -
Black-Box Testing Technique for Information Visualization. Sequencing Constraints with Low-Level Interactions
by: Martín L. Larrea
Published: (2017) -
A framework for consistences in association relations between classes in UML
by: Javier Dario Fernández-Ledesma
Published: (2014) -
Kant's dynamic metaphysics: kant's theory of judgment and the nature of the theoretical knowledge of consistency in empirical reasoning
by: Lucas Ribeiro Vollet
Published: (2023)