Search Result
Save to File
Your search for
38310
returns
4249
document(s)
OWL: a description logic based ontology language (extended abstract), (LNCS-Lecture Notes in Computer Science 3668) Hal 1-4
Author: Ian Horrocks; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
OWL: a description logic based ontology language (extended abstract), (LNCS-Lecture Notes in Computer Science 3709) Hal 5-8
Author: Ian Horrocks; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
OWLizr: Knowledge Representation System for Bahasa Indonesia Based on Web Ontology Language Description Logic (OWL DL) (293-298)
Author: Fariz Darari adila Alfa Krisnadhi Ruli Manurung; | Call Number: SEM-297 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
HYPROLOG: A new logic programming language with assumptions and abduction, (LNCS-Lecture Notes in Computer Science 3668) Hal 159-173
Author: Henning Christiansen; Veronica Dahl; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
OWLIZR: Sistem representasi pengetahuan teks bahasa indonesia berbasis web ontology language description logic (OWL DL)
Author: Fariz Darari; | Call Number: SK-0834 (Softcopy SK-316) Source code SK-278 | Type: Skripsi
Find Similar
|
Add To Favorites
|
Detail in New Window
IMPACT: innovative models for prolog with advanced control and tabling ( Extended Abstract ), ((LNCS-Lecture Notes in Computer Science 3668) Hal 416-417
Author: Ricardo Rocha; Ricardo Lopes; Fernando Silva; Vitor Santos Costa; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
Deductive logic and Description language/ Frank R. Harrison III
Author: Harrison, Frank R.; | Call Number: 511.3 Har d | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Nonmonotonic logic programs for the semantic web, (LNCS-Lecture Notes in Computer Science 3668) Hal 446-447
Author: Roman Schindlauer; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
The need for ancestor resolution when answering queries in horn clause logic, ((LNCS-Lecture Notes in Computer Science 3668) Hal 410-411
Author: Oliver Ray; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
Denotational semantics using horn concurrent transaction logic, ((LNCS-Lecture Notes in Computer Science 3668) Hal 431-432
Author: Marcus Vinicius Santos; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
Prev 1
2
3
4
5
6
7
8
9
10
Next