Search Result

Save to File

Your search for 52302 returns 5 document(s)

On Negation in HiLog (206-215)

Author: Kenneth A. Ross; | Call Number: SEM-350 | Type: Indeks Artikel prosiding/Sem

Find Similar |  Add To Favorites |  Detail in New Window

Hypothetical Datalog Negation and Recursion (286-300)

Author: Anthony J. Bonner; | Call Number: SEM-379 | Type: Indeks Artikel prosiding/Sem

Find Similar |  Add To Favorites |  Detail in New Window

On the complexity of negation-limited boolean networks,hal 38-47

Author: Keisuke Tanaka; | Call Number: SEM-202 | Type: Indeks Artikel prosiding/Sem

Find Similar |  Add To Favorites |  Detail in New Window

A Procedural Semantic for Well Founded Negation in Logic Programs (22-33)

Author: Kenneth A. Ross; | Call Number: SEM-379 | Type: Indeks Artikel prosiding/Sem

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