Semi−Automatic Revision of Formalized Knowledge

Semi−Automatic Revision of Formalized Knowledge

Manylion Llyfryddiaeth
Prif Awdur:	Nikitina, N
Fformat:	Conference item
Cyhoeddwyd:	IOS Press 2010

Eitemau Tebyg

Reasoning-Supported Interactive Revision of Knowledge Bases.
gan: Nikitina, N, et al.
Cyhoeddwyd: (2011)

Reasoning−Supported Interactive Revision of Knowledge Bases
gan: Nikitina, N, et al.
Cyhoeddwyd: (2011)

Reasoning−Supported Interactive Revision of Knowledge Bases
gan: Nikitina, N, et al.
Cyhoeddwyd: (2011)

Reasoning−Supported Interactive Revision of Knowledge Bases
gan: Nikitina, N, et al.
Cyhoeddwyd: (2011)

Reasoning−Supported Interactive Revision of Knowledge Bases
gan: Nikitina, N, et al.
Cyhoeddwyd: (2011)

Semi-Automated Formalization and Representation of the Engineering Knowledge Extracted From Spreadsheet Data
gan: Aleksandr Yu. Yurin, et al.
Cyhoeddwyd: (2021-01-01)

Combining Semi-Formal and Formal Methods for the Development of Distributed Reconfigurable Control Systems
gan: Raja Oueslati, et al.
Cyhoeddwyd: (2018-01-01)

Farmer knowledge as formal knowledge:
gan: Erin Nelson, et al.
Cyhoeddwyd: (2023-08-01)

Semi-Formal Rules As a Factor in the Dynamics of the Efficiency of Formal Rules of Financial Monitoring
gan: Volosnikova Nataliia M., et al.
Cyhoeddwyd: (2023-01-01)

Formal Verification of SystemC by Automatic Hardware/Software Partitioning
gan: Kroening, D, et al.
Cyhoeddwyd: (2005)

Automatic and semi-automatic gearboxes for heavy comercial vehicles
gan: Institution of Mechanical Engineers (Great Britain)
Cyhoeddwyd: (1978)

A Semi-Automatic Ontology Development Framework for Knowledge Transformation of Construction Safety Requirements
gan: Zhijiang Wu, et al.
Cyhoeddwyd: (2025-02-01)

A Formal Specification of an Automatic Train Protection System
gan: Simpson, A
Cyhoeddwyd: (1994)

Real-time systems : formal specification and automatic verification /
gan: 273586, et al.
Cyhoeddwyd: (2008)

The synthesis of structural diagrams of automatic devices on formal neurons
gan: Natalia L. Malinina
Cyhoeddwyd: (2023-12-01)

Formalizing Fado: A Contribution to Automatic Song-Making
gan: Tiago Gonzaga Videira, et al.
Cyhoeddwyd: (2017-03-01)

Wrapster : semi-automatic wrapper generation for semi-structured websites
gan: Zaccak, Gabriel (Gabriel Gabra)
Cyhoeddwyd: (2008)

A Framework to Simulate UML Models: Moving from a Semi−Formal to a Formal Environment
gan: Cavarra, A, et al.
Cyhoeddwyd: (2004)

Automatic and semi-automatic program evaluation specifics in IT maturity exam
gan: Bronius Skūpas
Cyhoeddwyd: (2010-12-01)

Interactive Ontology Revision
gan: Nikitina, N, et al.
Cyhoeddwyd: (2012)

Educación expandida en clave formal y no formal: una revisión de la literatura académica
gan: Alejandro Uribe Zapata
Cyhoeddwyd: (2019-09-01)

Semi-formal address in Slovenian in the light of older written sources
gan: Alenka Jelovšek
Cyhoeddwyd: (2015-07-01)

Semi-automatic medical image segmentation
gan: O'Donnell, Lauren (Lauren Jean), 1976-
Cyhoeddwyd: (2014)

Semi−automatic epicardial border tracking
gan: Casero−Cañas, R, et al.
Cyhoeddwyd: (2005)

Semi-automatic parallel parking system.
gan: Farrita, Nur Erniwati, et al.

Semi-Automatic Determination of Rockfall Trajectories
gan: Axel Volkwein, et al.
Cyhoeddwyd: (2014-09-01)

pinktoe: Semi-automatic Traversal of Trees
gan: Guy Nason
Cyhoeddwyd: (2005-01-01)

Neuromantic - from semi manual to semi automatic reconstruction of neuron morphology
gan: Darren eMyatt, et al.
Cyhoeddwyd: (2012-03-01)

Semi-Automatic Dataset Annotation Applied to Automatic Violent Message Detection
gan: Beatriz Botella-Gil, et al.
Cyhoeddwyd: (2024-01-01)

El El surf en la educación formal: revisión sistemática (Surfing in formal education: systematic review)
gan: Mikel Pérez-Gutiérrez, et al.
Cyhoeddwyd: (2021-07-01)

Formal Ontologies and Uncertainty. In Geographical Knowledge
gan: Matteo Caglioni, et al.
Cyhoeddwyd: (2014-05-01)

Formalizing Knowledge Creation in Inventive Project Groups. The Malleability of Formal Work Methods
gan: Arne Prahl
Cyhoeddwyd: (2003-08-01)

The evaluation of a semi-automatic authoring tool for knowledge extraction in the AC&amp;NL Tutor
gan: Ani Grubišić, et al.
Cyhoeddwyd: (2023-08-01)

About Formal Normal Form of the Semi-Hyperbolic Maps Germs on the Plane
gan: P. A. Shaikhullina
Cyhoeddwyd: (2021-12-01)

SME´s semi-formality rate in Costa Rica: a clusters approach
gan: Lizette Brenes Bonilla, et al.
Cyhoeddwyd: (2016-02-01)

Semi-empirical many-body formalism of optical absorption in nanosystems and molecules
gan: Antoine Honet, et al.
Cyhoeddwyd: (2021-07-01)

The Application of Formal Methods to the Development of an ATP (Automatic Train Protection) System
gan: Simpson, A
Cyhoeddwyd: (1995)

Automatic construction and verification algorithm for smart contracts based on formal verification
gan: Rui Xie, et al.
Cyhoeddwyd: (2024-11-01)

Formal Specification Based Automatic Test Generation for Embedded Network Systems
gan: Eun Hye Choi, et al.
Cyhoeddwyd: (2014-01-01)

Invariants of Automatic Presentations and Semi−Synchronous Transductions
gan: Barany, V
Cyhoeddwyd: (2006)