Copertina

CRIB: A method for integrity constraint checking on knowledge bases

Fuente: Redalyc

Salvato in:

Dettagli Bibliografici
Autore principale:	Jaime Ramírez
Natura:	Artículo científico
Lingua:	en
Pubblicazione:	Instituto Politécnico Nacional 2005
Soggetti:	Computación System Consistency Verification Knowledge Based
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Consistencia en la indización de documentos entre indizadores noveles
di: Isidoro Gil Leiva
Pubblicazione: (2002)

Black-Box Testing Technique for Information Visualization. Sequencing Constraints with Low-Level Interactions
di: Martín L. Larrea
Pubblicazione: (2017)

Replication Package for "UnCertaGator: Propagation of Uncertainty Information in Development Processes Using Consistency Automation"
di: Hagel, Nathan, et al.
Pubblicazione: (2026)

A framework for consistences in association relations between classes in UML
di: Javier Dario Fernández-Ledesma
Pubblicazione: (2014)

Kant's dynamic metaphysics: kant's theory of judgment and the nature of the theoretical knowledge of consistency in empirical reasoning
di: Lucas Ribeiro Vollet
Pubblicazione: (2023)

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

Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design – FMCAD 2023
Pubblicazione: (2023)

CBCSS, An Innovation In University Education: A Study From The Perspective Of College Teachers Of Mahatma Gandhi University In Kerala
di: Kevin Thomas Chacko
Pubblicazione: (2016)

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

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

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

TOWARD INTEGRATION OF KNOWLEDGE BASED SYSTEMS AND KNOWLEDGE DISCOVERY SYSTEMS
di: C. Rancan
Pubblicazione: (2007)

The use of multiple evidence base methods to enrich climate change research and knowledge in the Arctic.
di: Heatta, Máret J, et al.
Pubblicazione: (2025)

AI based SystemVerilog TB generation
di: Bhavin Shah
Pubblicazione: (2017)

Investigating fault injection techniques in hardware‐based deep neural networks and mutation‐based fault localization
di: Yves Le Traon, et al.
Pubblicazione: (2024)

MUPPAAL: Efficient Elimination and Reduction of Useless Mutants in Real‐Time Model‐Based Systems
di: Jaime Cuartas, et al.
Pubblicazione: (2024)

MetaSem: metamorphic testing based on semantic information of autonomous driving scenes
di: Zhen Yang, et al.
Pubblicazione: (2024)

Delta4Ms: Improving mutation‐based fault localization by eliminating mutant bias
di: Hengyuan Liu, et al.
Pubblicazione: (2024)

SafeNet: Towards mitigating replaceable unsafe Rust code via a recommendation‐based approach
di: Yan Dong, et al.
Pubblicazione: (2024)

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

A Systematic Exploration of Mutation‐Based Fault Localization Formulae
di: Bo Wang, et al.
Pubblicazione: (2024)

Enhancing Mutation Testing Efficiency: A Comparative Study of Machine Learning Models for Equivalent Mutant Identification
di: Terrence Pugh, et al.
Pubblicazione: (2025)

GρπF: Graphical ρπ Framework
di: Cailler, Julie, et al.
Pubblicazione: (2026)

Dimensional Consistency of the MyominAung Photon-Sea Theory
di: Aung, Myomin
Pubblicazione: (2026)

HGA: Heuristic Black‐Box Test Case Generation for NLP Intelligent Software
di: Mingxuan Xiao, et al.
Pubblicazione: (2026)

Issue Information
Pubblicazione: (2024)

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

Boosting Multimode Ruling in DHR Architecture With Metamorphic Relations
di: Ruosi Li, et al.
Pubblicazione: (2024)

PSC‐SBFL: Combining PSC With SBFL to Improve Software Fault Localization
di: Zhonghao Guo, et al.
Pubblicazione: (2025)

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

Search‐Based MC/DC Test Data Generation With OCL Constraints
di: Hassan Sartaj, et al.
Pubblicazione: (2024)

Tempus: An Evolutionary Mutation Testing System on Event‐Based Systems With Profile‐Based Individual Generation
di: Lorena Gutiérrez‐Madroñal, et al.
Pubblicazione: (2025)

Issue Information
Pubblicazione: (2024)

Fault tolerance and metamorphic relation prediction
di: Yves Le Traon, et al.
Pubblicazione: (2024)

MG+: Towards Efficient Context Inconsistency Detection by Minimized Link Generation
di: Chuyang Chen, et al.
Pubblicazione: (2024)

Issue Information
Pubblicazione: (2024)

Issue Information
Pubblicazione: (2024)

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

Scenario‐Driven Metamorphic Testing for Autonomous Driving Simulators
di: Yifan Zhang, et al.
Pubblicazione: (2024)

An Approach of Structure‐Enhanced Code‐Centric Graph Learning for Just‐in‐Time Software Vulnerability Detection
di: Phu Pham, et al.
Pubblicazione: (2026)