| Your search for 38331 returns 3867 document(s) |
| Parallelizing union-find in constraint handling rules using confluence analysis, (LNCS-Lecture Notes in Computer Science 3668) Hal 113-127 |
|
Author: Thom Fruhwirth; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| An optimised semantic web query language implementation in prolog, (LNCS-Lecture Notes in Computer Science 3668) Hal 128-142 |
|
Author: Jan Wielemaker; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A distributed and probabilistic concurrent constraint programming language, (LNCS-Lecture Notes in Computer Science 3668) Hal 143-158 |
|
Author: Luca Bortolussi; Herbert Wiklicky; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
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
|
| Abduction of linear arithmetic constraints, (LNCS-Lecture Notes in Computer Science 3668) Hal 174-188 |
|
Author: Michael J.Maher; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Towards implementations for advanced equivalence checking in answer-set programming, (LNCS-Lecture Notes in Computer Science 3668) Hal 189-203 |
|
Author: Hans Tompits; Stefan Woltran; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Hybrid probabilistic logic programs with non-monotonic negation, (LNCS-Lecture Notes in Computer Science 3668) Hal 204-220 |
|
Author: Emad Saad; Enrico Pontelli; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Reducing inductive definitions to propositional satisfiability, (LNCS-Lecture Notes in Computer Science 3668) Hal 221-234 |
|
Author: Nikolay Pelov; Eugenia Ternovska; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Dynamic mixed-strategy evaluation of tabled logic programs, (LNCS-Lecture Notes in Computer Science 3668) Hal 250-264 |
|
Author: Ricardo Rocha; Fernando Silva; Vitor Santos Costa; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Nondeterminism analysis of functional logic programs, (LNCS-Lecture Notes in Computer Science 3668) Hal 265-279 |
|
Author: Bernd Brarel; Michael Hanus; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result