1
Published 2005
Table of Contents: ... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ... Similarity Search -- On the Containment Problem for Queries in Conjunctive Form with Negation -- Towards a...
View full text
Electronic eBook
3
Published 2015
Table of Contents: ... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...
View full text
Electronic eBook
4
Published 2007
Table of Contents: ... Logical Rule Generations Based on the Genetic Programming and Its Applications to Data Mining...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ... Logical Systems -- The Description Logic for Relational Databases -- Non-Functional Requirements...
View full text
Electronic eBook
6
Published 2008
Table of Contents: ... -- Mining Natural Language Programming Directives with Class-Oriented Bayesian Networks -- Boosting over...
View full text
Electronic eBook