Semi−Automatic Revision of Formalized Knowledge

Semi−Automatic Revision of Formalized Knowledge

Detalhes bibliográficos
Autor principal:	Nikitina, N
Formato:	Conference item
Publicado em:	IOS Press 2010

Registos relacionados

Reasoning-Supported Interactive Revision of Knowledge Bases.
Por: Nikitina, N, et al.
Publicado em: (2011)

Reasoning−Supported Interactive Revision of Knowledge Bases
Por: Nikitina, N, et al.
Publicado em: (2011)

Reasoning−Supported Interactive Revision of Knowledge Bases
Por: Nikitina, N, et al.
Publicado em: (2011)

Reasoning−Supported Interactive Revision of Knowledge Bases
Por: Nikitina, N, et al.
Publicado em: (2011)

Reasoning−Supported Interactive Revision of Knowledge Bases
Por: Nikitina, N, et al.
Publicado em: (2011)

Interactive Ontology Revision
Por: Nikitina, N, et al.
Publicado em: (2012)

Wheat and Chaff – Practically Feasible Interactive Ontology Revision
Por: Nikitina, N, et al.
Publicado em: (2011)

Wheat and Chaff - Practically Feasible Interactive Ontology Revision.
Por: Nikitina, N, et al.
Publicado em: (2011)

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

Wrapster : semi-automatic wrapper generation for semi-structured websites
Por: Zaccak, Gabriel (Gabriel Gabra)
Publicado em: (2008)

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

Semi-automatic medical image segmentation
Por: O'Donnell, Lauren (Lauren Jean), 1976-
Publicado em: (2014)

Semi−automatic epicardial border tracking
Por: Casero−Cañas, R, et al.
Publicado em: (2005)

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

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

A Formal Specification of an Automatic Train Protection System
Por: Simpson, A
Publicado em: (1994)

Real-time systems : formal specification and automatic verification /
Por: 273586, et al.
Publicado em: (2008)

Semi-Automatic Features Extraction Of Cervical Cells
Por: Mohanadas, Veerayen
Publicado em: (2005)

Development of Semi Automatic H-Ometer Equipment
Por: Salsidu, Mohd Sal
Publicado em: (2002)

Invariants of Automatic Presentations and Semi−Synchronous Transductions
Por: Barany, V
Publicado em: (2006)

Design of semi-automatic satay skewing machine/
Por: 274484 Khaw, Soy Ou
Publicado em: (1983)

Semi-automatic non-linear model selection,
Por: Castle, J, et al.
Publicado em: (2014)

Semi-automatic non-linear model selection
Por: Castle, J, et al.
Publicado em: (2013)

Complexity of Propositional Knowledge Base Revision
Por: Eiter, T, et al.
Publicado em: (1992)

Revision of DL−Lite Knowledge Bases
Por: Wang, Z, et al.
Publicado em: (2009)

Semi-automatic wrapper generation for web information extraction
Por: Liu, Zehua
Publicado em: (2010)

Hitting the sweetspot: Economic rewriting of knowledge bases
Por: Nikitina, N, et al.
Publicado em: (2012)

Hitting the Sweetspot: Economic Rewriting of Knowledge Bases
Por: Nikitina, N, et al.
Publicado em: (2012)

Design and development of semi automatic canting tool (Electrical)
Por: Amir Asri, Mohd Al Kharid
Publicado em: (2012)

Semi-automatic segmentation using MR images II
Por: Lung, Wen Zheng.
Publicado em: (2009)

Semi-automatic segmentation using MR images I.
Por: Seah, Chiao Luan.
Publicado em: (2009)

Revising General Knowledge Bases in Description Logics
Por: Wang, Z, et al.
Publicado em: (2010)

Modification and validation of the Revised Diabetes Knowledge Scale.
Por: Collins, G, et al.
Publicado em: (2011)

Sleep medicine catalogue of knowledge and skills - Revision
Por: Penzel, T, et al.
Publicado em: (2021)

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

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

Development of semi-automatic solar gate system for electromechanical part
Por: Mohd Hisyammudin, Muda
Publicado em: (2008)

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

The Story workbench: An extensible semi-automatic text annotation tool
Por: Finlayson, Mark Alan
Publicado em: (2022)

MAM: A Semi-automatic Debugging Tool for Distrubuted Programs
Por: Kolodney, Lawrence Kenneth
Publicado em: (2023)