Cover Image

CRIB: A method for integrity constraint checking on knowledge bases

Fuente: Redalyc

Saved in:

Bibliographic Details
Main Author:	Jaime Ramírez
Format:	Artículo científico
Language:	en
Published:	Instituto Politécnico Nacional 2005
Subjects:	Computación System Consistency Verification Knowledge Based
Online Access:	Acceder al recurso
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)

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)

BETWEEN MOTIVATION AND DISCIPLINE: THE REAL REASONS PEOPLE STRUGGLE TO STAY FIT
by: ISOGON, ERVIN L.
Published: (2025)

Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design – FMCAD 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)

Behavioral variability and consistency: Experimental bases for a psychological theory of personality
by: José Santacreu Mas
Published: (2013)

An update on combinatorial method for aggregation of expert judgments in AHP
by: Sergii Kadenko
Published: (2021)

Consistency game: a didactic strategy for software engineering
by: Carlos Mario Zapata Jaramillo
Published: (2008)

TOWARD INTEGRATION OF KNOWLEDGE BASED SYSTEMS AND KNOWLEDGE DISCOVERY SYSTEMS
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)

AI based SystemVerilog TB generation
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)

MUPPAAL: Efficient Elimination and Reduction of Useless Mutants in Real‐Time Model‐Based Systems
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)

Delta4Ms: Improving mutation‐based fault localization by eliminating mutant bias
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)

ROLE OF ENTERPRISE ARCHITECTURE IN HEALTHCARE ORGANIZATIONS AND KNOWLEDGE-BASED MEDICAL DIAGNOSIS SYSTEM
by: Muhammad Sajid
Published: (2016)

A Systematic Exploration of Mutation‐Based Fault Localization Formulae
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)

GρπF: Graphical ρπ Framework
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)

Issue Information
Published: (2024)

DNN Testing, Regression Testing and Software Reliability Prediction
by: Yves Le Traon, et al.
Published: (2024)

Boosting Multimode Ruling in DHR Architecture With Metamorphic Relations
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)

Configuration Testing of an Artificial Pancreas System Using a Digital Twin: An Evaluative Case Study
by: Richard Somers, et al.
Published: (2025)

Search‐Based MC/DC Test Data Generation With OCL Constraints
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)

Issue Information
Published: (2024)

Fault tolerance and metamorphic relation prediction
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)

Issue Information
Published: (2024)

Issue Information
Published: (2024)

Mutation‐Guided Metamorphic Testing of Optimality in AI Planning
by: Quentin Mazouni, et al.
Published: (2024)

Scenario‐Driven Metamorphic Testing for Autonomous Driving Simulators
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)

Issue Information
Published: (2026)