Semi−Automatic Revision of Formalized Knowledge

Semi−Automatic Revision of Formalized Knowledge

Bibliographic Details
Main Author:	Nikitina, N
Format:	Conference item
Published:	IOS Press 2010

Similar Items

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

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

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

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

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

Interactive Ontology Revision
by: Nikitina, N, et al.
Published: (2012)

Wheat and Chaff – Practically Feasible Interactive Ontology Revision
by: Nikitina, N, et al.
Published: (2011)

Wheat and Chaff - Practically Feasible Interactive Ontology Revision.
by: Nikitina, N, et al.
Published: (2011)

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

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

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

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

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

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

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

A Formal Specification of an Automatic Train Protection System
by: Simpson, A
Published: (1994)

Semi-Automatic Features Extraction Of Cervical Cells
by: Mohanadas, Veerayen
Published: (2005)

Development of Semi Automatic H-Ometer Equipment
by: Salsidu, Mohd Sal
Published: (2002)

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

Semi-automatic non-linear model selection,
by: Castle, J, et al.
Published: (2014)

Semi-automatic non-linear model selection
by: Castle, J, et al.
Published: (2013)

Complexity of Propositional Knowledge Base Revision
by: Eiter, T, et al.
Published: (1992)

Revision of DL−Lite Knowledge Bases
by: Wang, Z, et al.
Published: (2009)

Semi-automatic wrapper generation for web information extraction
by: Liu, Zehua
Published: (2010)

Design and development of semi automatic canting tool (Electrical)
by: Amir Asri, Mohd Al Kharid
Published: (2012)

Semi-automatic segmentation using MR images II
by: Lung, Wen Zheng.
Published: (2009)

Semi-automatic segmentation using MR images I.
by: Seah, Chiao Luan.
Published: (2009)

Hitting the sweetspot: Economic rewriting of knowledge bases
by: Nikitina, N, et al.
Published: (2012)

Hitting the Sweetspot: Economic Rewriting of Knowledge Bases
by: Nikitina, N, et al.
Published: (2012)

Revising General Knowledge Bases in Description Logics
by: Wang, Z, et al.
Published: (2010)

Modification and validation of the Revised Diabetes Knowledge Scale.
by: Collins, G, et al.
Published: (2011)

Sleep medicine catalogue of knowledge and skills - Revision
by: Penzel, T, et al.
Published: (2021)

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

Development of low cost semi-automatic parallel parking system
by: Farrita, Nur Erniwati, et al.
Published: (2013)

Development of semi-automatic solar gate system for electromechanical part
by: Mohd Hisyammudin, Muda
Published: (2008)

Development of semi-automatic solar gate system (Mechanical Part)
by: Shashi Kumar, S A Karagaratnan
Published: (2008)

The Story workbench: An extensible semi-automatic text annotation tool
by: Finlayson, Mark Alan
Published: (2022)

MAM: A Semi-automatic Debugging Tool for Distrubuted Programs
by: Kolodney, Lawrence Kenneth
Published: (2023)

Pipeline for semi-automatic segmentation of confluent endothelial cell membranes
by: Ibarra, Sabrina Elizabeth.
Published: (2020)

Semi Automatic Detector of Plasmodium Falciparum on Microscope Image Based
by: Wahab, Iis Hamsir Ayub, et al.
Published: (2013)