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)

Design of semi-automatic satay skewing machine/
по: 274484 Khaw, Soy Ou
Опубликовано: (1983)

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)

Hitting the sweetspot: Economic rewriting of knowledge bases
по: Nikitina, N, и др.
Опубликовано: (2012)

Hitting the Sweetspot: Economic Rewriting of Knowledge Bases
по: Nikitina, N, и др.
Опубликовано: (2012)

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)

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)