Semi−Automatic Revision of Formalized Knowledge

Semi−Automatic Revision of Formalized Knowledge

Chi tiết về thư mục
Tác giả chính:	Nikitina, N
Định dạng:	Conference item
Được phát hành:	IOS Press 2010

Những quyển sách tương tự

Reasoning-Supported Interactive Revision of Knowledge Bases.
Bằng: Nikitina, N, et al.
Được phát hành: (2011)

Reasoning−Supported Interactive Revision of Knowledge Bases
Bằng: Nikitina, N, et al.
Được phát hành: (2011)

Reasoning−Supported Interactive Revision of Knowledge Bases
Bằng: Nikitina, N, et al.
Được phát hành: (2011)

Reasoning−Supported Interactive Revision of Knowledge Bases
Bằng: Nikitina, N, et al.
Được phát hành: (2011)

Reasoning−Supported Interactive Revision of Knowledge Bases
Bằng: Nikitina, N, et al.
Được phát hành: (2011)

Interactive Ontology Revision
Bằng: Nikitina, N, et al.
Được phát hành: (2012)

Wheat and Chaff – Practically Feasible Interactive Ontology Revision
Bằng: Nikitina, N, et al.
Được phát hành: (2011)

Wheat and Chaff - Practically Feasible Interactive Ontology Revision.
Bằng: Nikitina, N, et al.
Được phát hành: (2011)

Automatic and semi-automatic gearboxes for heavy comercial vehicles
Bằng: Institution of Mechanical Engineers (Great Britain)
Được phát hành: (1978)

Wrapster : semi-automatic wrapper generation for semi-structured websites
Bằng: Zaccak, Gabriel (Gabriel Gabra)
Được phát hành: (2008)

Semi-automatic parallel parking system.
Bằng: Farrita, Nur Erniwati, et al.

Semi-automatic medical image segmentation
Bằng: O'Donnell, Lauren (Lauren Jean), 1976-
Được phát hành: (2014)

Semi−automatic epicardial border tracking
Bằng: Casero−Cañas, R, et al.
Được phát hành: (2005)

Formal Verification of SystemC by Automatic Hardware/Software Partitioning
Bằng: Kroening, D, et al.
Được phát hành: (2005)

A Framework to Simulate UML Models: Moving from a Semi−Formal to a Formal Environment
Bằng: Cavarra, A, et al.
Được phát hành: (2004)

A Formal Specification of an Automatic Train Protection System
Bằng: Simpson, A
Được phát hành: (1994)

Real-time systems : formal specification and automatic verification /
Bằng: 273586, et al.
Được phát hành: (2008)

Semi-Automatic Features Extraction Of Cervical Cells
Bằng: Mohanadas, Veerayen
Được phát hành: (2005)

Development of Semi Automatic H-Ometer Equipment
Bằng: Salsidu, Mohd Sal
Được phát hành: (2002)

Invariants of Automatic Presentations and Semi−Synchronous Transductions
Bằng: Barany, V
Được phát hành: (2006)

Design of semi-automatic satay skewing machine/
Bằng: 274484 Khaw, Soy Ou
Được phát hành: (1983)

Semi-automatic non-linear model selection,
Bằng: Castle, J, et al.
Được phát hành: (2014)

Semi-automatic non-linear model selection
Bằng: Castle, J, et al.
Được phát hành: (2013)

Complexity of Propositional Knowledge Base Revision
Bằng: Eiter, T, et al.
Được phát hành: (1992)

Revision of DL−Lite Knowledge Bases
Bằng: Wang, Z, et al.
Được phát hành: (2009)

Hitting the sweetspot: Economic rewriting of knowledge bases
Bằng: Nikitina, N, et al.
Được phát hành: (2012)

Hitting the Sweetspot: Economic Rewriting of Knowledge Bases
Bằng: Nikitina, N, et al.
Được phát hành: (2012)

Semi-automatic wrapper generation for web information extraction
Bằng: Liu, Zehua
Được phát hành: (2010)

Design and development of semi automatic canting tool (Electrical)
Bằng: Amir Asri, Mohd Al Kharid
Được phát hành: (2012)

Semi-automatic segmentation using MR images II
Bằng: Lung, Wen Zheng.
Được phát hành: (2009)

Semi-automatic segmentation using MR images I.
Bằng: Seah, Chiao Luan.
Được phát hành: (2009)

Revising General Knowledge Bases in Description Logics
Bằng: Wang, Z, et al.
Được phát hành: (2010)

Modification and validation of the Revised Diabetes Knowledge Scale.
Bằng: Collins, G, et al.
Được phát hành: (2011)

Sleep medicine catalogue of knowledge and skills - Revision
Bằng: Penzel, T, et al.
Được phát hành: (2021)

The Application of Formal Methods to the Development of an ATP (Automatic Train Protection) System
Bằng: Simpson, A
Được phát hành: (1995)

Development of low cost semi-automatic parallel parking system
Bằng: Farrita, Nur Erniwati, et al.
Được phát hành: (2013)

Development of semi-automatic solar gate system for electromechanical part
Bằng: Mohd Hisyammudin, Muda
Được phát hành: (2008)

Development of semi-automatic solar gate system (Mechanical Part)
Bằng: Shashi Kumar, S A Karagaratnan
Được phát hành: (2008)

The Story workbench: An extensible semi-automatic text annotation tool
Bằng: Finlayson, Mark Alan
Được phát hành: (2022)

MAM: A Semi-automatic Debugging Tool for Distrubuted Programs
Bằng: Kolodney, Lawrence Kenneth
Được phát hành: (2023)