Semi−Automatic Revision of Formalized Knowledge

Semi−Automatic Revision of Formalized Knowledge

Бібліографічні деталі
Автор:	Nikitina, N
Формат:	Conference item
Опубліковано:	IOS Press 2010

Схожі ресурси

Reasoning-Supported Interactive Revision of Knowledge Bases.
за авторством: Nikitina, N, та інші
Опубліковано: (2011)

Reasoning−Supported Interactive Revision of Knowledge Bases
за авторством: Nikitina, N, та інші
Опубліковано: (2011)

Reasoning−Supported Interactive Revision of Knowledge Bases
за авторством: Nikitina, N, та інші
Опубліковано: (2011)

Reasoning−Supported Interactive Revision of Knowledge Bases
за авторством: Nikitina, N, та інші
Опубліковано: (2011)

Reasoning−Supported Interactive Revision of Knowledge Bases
за авторством: Nikitina, N, та інші
Опубліковано: (2011)

Interactive Ontology Revision
за авторством: Nikitina, N, та інші
Опубліковано: (2012)

Wheat and Chaff – Practically Feasible Interactive Ontology Revision
за авторством: Nikitina, N, та інші
Опубліковано: (2011)

Wheat and Chaff - Practically Feasible Interactive Ontology Revision.
за авторством: Nikitina, N, та інші
Опубліковано: (2011)

Automatic and semi-automatic gearboxes for heavy comercial vehicles
за авторством: Institution of Mechanical Engineers (Great Britain)
Опубліковано: (1978)

Wrapster : semi-automatic wrapper generation for semi-structured websites
за авторством: Zaccak, Gabriel (Gabriel Gabra)
Опубліковано: (2008)

Semi-automatic parallel parking system.
за авторством: Farrita, Nur Erniwati, та інші

Semi-automatic medical image segmentation
за авторством: O'Donnell, Lauren (Lauren Jean), 1976-
Опубліковано: (2014)

Semi−automatic epicardial border tracking
за авторством: Casero−Cañas, R, та інші
Опубліковано: (2005)

Formal Verification of SystemC by Automatic Hardware/Software Partitioning
за авторством: Kroening, D, та інші
Опубліковано: (2005)

A Framework to Simulate UML Models: Moving from a Semi−Formal to a Formal Environment
за авторством: Cavarra, A, та інші
Опубліковано: (2004)

A Formal Specification of an Automatic Train Protection System
за авторством: Simpson, A
Опубліковано: (1994)

Real-time systems : formal specification and automatic verification /
за авторством: 273586, та інші
Опубліковано: (2008)

Semi-Automatic Features Extraction Of Cervical Cells
за авторством: Mohanadas, Veerayen
Опубліковано: (2005)

Development of Semi Automatic H-Ometer Equipment
за авторством: Salsidu, Mohd Sal
Опубліковано: (2002)

Invariants of Automatic Presentations and Semi−Synchronous Transductions
за авторством: Barany, V
Опубліковано: (2006)

Semi-automatic non-linear model selection,
за авторством: Castle, J, та інші
Опубліковано: (2014)

Semi-automatic non-linear model selection
за авторством: Castle, J, та інші
Опубліковано: (2013)

Complexity of Propositional Knowledge Base Revision
за авторством: Eiter, T, та інші
Опубліковано: (1992)

Revision of DL−Lite Knowledge Bases
за авторством: Wang, Z, та інші
Опубліковано: (2009)

Semi-automatic wrapper generation for web information extraction
за авторством: Liu, Zehua
Опубліковано: (2010)

Design and development of semi automatic canting tool (Electrical)
за авторством: Amir Asri, Mohd Al Kharid
Опубліковано: (2012)

Semi-automatic segmentation using MR images II
за авторством: Lung, Wen Zheng.
Опубліковано: (2009)

Semi-automatic segmentation using MR images I.
за авторством: Seah, Chiao Luan.
Опубліковано: (2009)

Hitting the sweetspot: Economic rewriting of knowledge bases
за авторством: Nikitina, N, та інші
Опубліковано: (2012)

Hitting the Sweetspot: Economic Rewriting of Knowledge Bases
за авторством: Nikitina, N, та інші
Опубліковано: (2012)

Revising General Knowledge Bases in Description Logics
за авторством: Wang, Z, та інші
Опубліковано: (2010)

Modification and validation of the Revised Diabetes Knowledge Scale.
за авторством: Collins, G, та інші
Опубліковано: (2011)

Sleep medicine catalogue of knowledge and skills - Revision
за авторством: Penzel, T, та інші
Опубліковано: (2021)

The Application of Formal Methods to the Development of an ATP (Automatic Train Protection) System
за авторством: Simpson, A
Опубліковано: (1995)

Development of low cost semi-automatic parallel parking system
за авторством: Farrita, Nur Erniwati, та інші
Опубліковано: (2013)

Development of semi-automatic solar gate system for electromechanical part
за авторством: Mohd Hisyammudin, Muda
Опубліковано: (2008)

Development of semi-automatic solar gate system (Mechanical Part)
за авторством: Shashi Kumar, S A Karagaratnan
Опубліковано: (2008)

The Story workbench: An extensible semi-automatic text annotation tool
за авторством: Finlayson, Mark Alan
Опубліковано: (2022)

MAM: A Semi-automatic Debugging Tool for Distrubuted Programs
за авторством: Kolodney, Lawrence Kenneth
Опубліковано: (2023)

Pipeline for semi-automatic segmentation of confluent endothelial cell membranes
за авторством: Ibarra, Sabrina Elizabeth.
Опубліковано: (2020)