Logic Programming - Globe Thesis

Font Size: a A A

Keyword [Logic Programming] Result: 1 - 20 \| Page: 1 of 3
1.	Constraint Solving And Formal Verification With MSVL
2.	Research On Approaches To Opinion Target Extraction In Opinion Mining
3.	Genetic Inductive Logic Programming Research
4.	Research On Techniques Of VLSI RT-Level Automatic Functional Vectors Generation
5.	Research On Knowledge Service For The Semantic Web
6.	A Study Of Compatibility And Loop Formulas Of Normal Logic Programs
7.	Formal Semantics Of Framed Temporal Logic Programming Language MSVL
8.	Object-oriented MSVL And Its Application To Verification Of Composite Web Services
9.	Research On The Approaches To Combining Ontologies And Rules In The Semantic Web
10.	Application Of Inductive Logic Programming To Knowledge Discovery In Databases(KDD)
11.	Research On Semantic Web Mining
12.	Study On Text Preprocessing And Automatic Rule Learning Technology For Information Extraction
13.	Inductive Logic Programming For Data Mining
14.	Framed Temporal Logic Programming Interpreter And Model Checker
15.	Research And Applications On The Algebra Semantics Models Of DFL Programming Language
16.	The Declarative Semantics Of Logic Programming Language G(?)del
17.	The Formalized Procedural Semantic Of Logic Programming Language G(?)del
18.	The Research Of Multi-relational Classification Algorithm Based On ILP
19.	The Study On Multi-Relational Data Mining
20.	The Design And Research Of Policy Analysis System Based On Logic Programming
<<First <Prev Next> Last>> Jump to