Your search for 36718 returns 1553 document(s) |
Artificial Intelligence; Reasoning about Temporal Relations: The Tractable Subalgebras of Allen's Interval Algebra |
Author: A. Krokhin, [et all] | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Reasoning About Static and Dynamic Properties in Alloy: A Purely Relational Approach, page 478-526 |
Author: M. F. Frias, [et all] | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Design of an intelligent customer relationship system in tourism industry in Iran using evidential reasoning approach, HAL. 169-182 |
Author: S. Rezalian Fardael and M.A.S Monfared; | Call Number: SEM-291 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Expected answer type construction using analogical reasoning in a question answering task, Hal. 283-289 |
Author: Hapnes Toba, Mirna Ardiani; Ruli Manurung; | Call Number: SEM-301 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Weak composition for qualitative spatial and temporal reasoning, (LNCS-Lecture Notes in Computer Science 3709) Hal 534-548 |
Author: Jochen Renz; Gerard Ligozat; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Open world reasoning in datalog, ((LNCS-Lecture Notes in Computer Science 3668) Hal 427-428 |
Author: Gergely Lukacsy; Zsolt Nagy; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Reasoning about inference in an object-based design method ((LNCS-Lecture Notes in Computer Science 670) Hal. 1-18 |
Author: C.B. Jones; | Call Number: 004. Woo f | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Timesets : a new method for temporal reasoning about programs,(LNCS-Lecture Notes in Computer Science 131) Hal. 177-199 |
Author: Leslie Lamport 1; | Call Number: 004 Lec | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
A Formalism for reasoning about fair termination, (LNCS-Lecture Notes in Computer Science 131) Hal. 119-138 |
Author: William P. de Roever; | Call Number: 004 Lec | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Sistem Pakar Mendiagnosa Penyakit Pada Manusia dengan Penalaran Berbaisis Aturan (RUle-Based) Reasoning) |
Author: khairul ummi , Rika Rosnelly; | Call Number: SEM-356 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|