| Your search for 38316 returns 2749 document(s) |
| Inductive learning secara incremental pada answer set programs untuk pembuatan peta permainan |
|
Author: Julio Christian Young; | Call Number: T-1233 (Softcopy T-941) Source Code T-312, Mak 40 | Edition: 2019 | Type: Tesis
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Incremental Inductive Learning of Answer Set Programs for Maps Generation Problems (483-488) |
|
Author: Julio Christian Young
Ari Saptawijaya; | Call Number: SEM-371 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Preference Reasoning, (LNCS-Lecture Notes in Computer Science 3668) Hal 5-8 |
|
Author: Francesca Rossi; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Modelling systems in CLP, ((LNCS-Lecture Notes in Computer Science 3668) Hal 412-413 |
|
Author: Joxan Jaffar; Andrew E. Santosa; Razvan Voicu; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Coordination of many agents, (LNCS-Lecture Notes in Computer Science 3668) Hal 98-112 |
|
Author: Joxan Jaffar; Roland H.C.Yap; Kenny Q. Zhu; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A type system for CHR,( (LNCS-Lecture Notes in Computer Science 3668) Hal 402-403 |
|
Author: Emmanuel Coquery; Francois Fages; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Towards a unified business: integration technology anchors, HAL. 1374-1385 |
|
Author: Beena Kumari; Nirmatya Chakraborty; | Call Number: SEM-291B | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Compositional and inductive semantic definitions in fixpoint, equational, constraint, closure-condition, rule-based and game-theoretic form, (LNCS-Lecture Notes in Computer Science 939) Hal 293-308 |
|
Author: Patrick Cousot; Radhia Cousot; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Bringing Answer Set Programming to the Next Level: a Real Case on Modeling Course Timetabling. Hal 471-476 |
|
Author: Irvi Firqotul Aini, Ari Saptawijaya, Siti Aminah; | Call Number: SEM-372 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Concurrent methodologies for global optimization, (LNCS-Lecture Notes in Computer Science 3668) Hal 441-443 |
|
Author: Luca Bortolussi; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result