Font Size: a A A
Keyword [first-order logic]
Result: 1 - 20 | Page: 1 of 2
1. The Quantitative Study In First-Order Logic System
2. Study On Uncertainty Reasoning In Lattice-Valued First-Order Logic Lvfl Based On Lattice Implication Algebra
3. Research On Some Problems Of Statistical Relational Learning
4. The Research On The Extension Rule Based Theorem Proving
5. The Study Of Approximate Reasoning In Lattice-Valued Logic Based On Lattice Implication Algebra
6. Consistency Checking Of Graphic Models
7. Research On Some Automated Reasoning Methods For Logic
8. Specific Areas Of The Formalization Of The Modeling Language And Its Model Consistency Validation Studies
9. Research Of Ontology Theory And Engineering Method For The Semantic Web
10. Research On Verification Technology For Non-Repudiation And Fairness Of Cryptographic Protocols
11. Research And Application On Relational Reinforcement Learning
12. The Declarative Semantics Of Logic Programming Language G(?)del
13. Research On Attack Sequence Reconstruction Technology For Security Protocols
14. Kernelization For First-order Model-checking Problems
15. Research On Entity Resolution Based On Markov Logic Networks And Implementation Of System
16. A Frame Of Multi-objects Decision Making Base On Logic
17. Research On Privacy Protection Technology For Mobile E-commerce Based On Policy
18. Study Of First-order Logic Model Search Problem
19. Research For Information Matching Technology Based On The Standards Of Audit Data
20. The Geometric Proof System Based On Mobile Internet Research And Implementation
  <<First  <Prev  Next>  Last>>  Jump to